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 条
  • [1] Logic programming to facilitate understanding of Z specifications
    Lewis, J.
    International Journal of Environmental Studies A & B, 47 (01):
  • [2] Adding a visual dimension to formal specifications in Z
    Duriancik, M
    Navrat, P
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 1998, 48 : 47 - 54
  • [3] The use of a logic programming language in the animation of Z specifications
    West, Margaret M.
    Logic Programming, Proceedings, 2007, 4670 : 451 - 452
  • [4] HOL-Z 2.0: A proof environment for Z-specifications
    Brucker, AD
    Rittinger, F
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (02): : 152 - 172
  • [5] Visual Specifications for Web-application Programming Assignments
    Rojit, Vidhu
    Pai, Sindhu R.
    Kaivalya, Shruthi
    Kumar, Viraj
    2016 IEEE 8TH INTERNATIONAL CONFERENCE ON TECHNOLOGY FOR EDUCATION (T4E 2016), 2016, : 50 - 53
  • [6] A Visual Programming Environment for Learning Distributed Programming
    Broll, Brian
    Ledeczi, Akos
    Volgyesi, Peter
    Sallai, Janos
    Maroti, Miklos
    Carrillo, Alexia
    PROCEEDINGS OF THE 2017 ACM SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION (SIGCSE'17), 2017, : 81 - 86
  • [7] Visual programming in a distributed environment
    Capobianco, F
    Mosconi, M
    1998 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1998, : 82 - 83
  • [8] FABRIK - A VISUAL PROGRAMMING ENVIRONMENT
    INGALLS, D
    WALLACE, S
    CHOW, YY
    LUDOLPH, F
    DOYLE, K
    SIGPLAN NOTICES, 1988, 23 (11): : 176 - 190
  • [9] Hybrid Visual Programming Language Environment for Programming Training
    Daskalov, Rumen
    Pashev, George
    Gaftandzhieva, Silvia
    TEM JOURNAL-TECHNOLOGY EDUCATION MANAGEMENT INFORMATICS, 2021, 10 (02): : 981 - 986
  • [10] VISUAL ABSTRACTION IN AN INTERACTIVE PROGRAMMING ENVIRONMENT
    POWELL, ML
    LINTON, MA
    SIGPLAN NOTICES, 1983, 18 (06): : 14 - 21
12345