A visual programming environment for Z specifications

被引：0
|
作者：
Lam, SWC [1 ]
Chan, KCC [1 ]
Leung, HKN [1 ]
Chung, LML [1 ]
机构：
[1] Hong Kong Polytech Univ, Dept Comp, Kowloon, Hong Kong
来源：
ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS | 1997年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：511 / 512
页数：2
相关论文
共 50 条
  • [31] Parallel programming with VPE: A case study of an integrated visual programming environment
    Turner, SJ
    Cai, WT
    Tan, HK
    HIGH PERFORMANCE COMPUTING ON THE INFORMATION SUPERHIGHWAY - HPC ASIA '97, PROCEEDINGS, 1997, : 319 - 324
  • [32] Parallel programming with VPE: A case study of an integrated visual programming environment
    Univ of Exeter, Exeter, United Kingdom
    Proc Conf High Perform Comput Inf Superhighway HPC Asia, (319-324):
  • [33] A CONFIGURABLE VISUAL PROGRAMMING ENVIRONMENT - A TOOL FOR DOMAIN-SPECIFIC PROGRAMMING
    KARSAI, G
    COMPUTER, 1995, 28 (03) : 36 - 44
  • [34] STRUCTURING SPECIFICATIONS IN Z
    WOODCOCK, JCP
    SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 51 - 66
  • [35] Slicing Z specifications
    Wu, FJ
    Yi, T
    ACM SIGPLAN NOTICES, 2004, 39 (08) : 39 - 48
  • [36] The Impact of SRA-Programming on Computational Thinking in a Visual Oriented Programming Environment
    Fanchamps, Nardie L. J. A.
    Slangen, Lou
    Specht, Marcus
    Hennissen, Paul
    EDUCATION AND INFORMATION TECHNOLOGIES, 2021, 26 (05) : 6479 - 6498
  • [37] The Impact of SRA-Programming on Computational Thinking in a Visual Oriented Programming Environment
    Nardie L. J. A. Fanchamps
    Lou Slangen
    Marcus Specht
    Paul Hennissen
    Education and Information Technologies, 2021, 26 : 6479 - 6498
  • [38] Pulse Sequence Programming in a Dynamic Visual Environment: SequenceTree
    Magland, Jeremy F.
    Li, Cheng
    Langham, Michael C.
    Wehrli, Felix W.
    MAGNETIC RESONANCE IN MEDICINE, 2016, 75 (01) : 257 - 265
  • [39] Jeeves - A Visual Programming Environment for Mobile Experience Sampling
    Rough, Daniel
    Quigley, Aaron
    PROCEEDINGS 2015 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), 2015, : 121 - 129
  • [40] VISUAL PROGRAMMING INTERFACE FOR AN IMAGE-PROCESSING ENVIRONMENT
    KOELMA, D
    SMEULDERS, A
    PATTERN RECOGNITION LETTERS, 1994, 15 (11) : 1099 - 1109
12345