THE VDM-SL EDITOR AND CONSISTENCY CHECKER

被引：0
|
作者：
DAMM, FM [1 ]
BRUUN, H [1 ]
HANSEN, BS [1 ]
机构：
[1] TECH UNIV DENMARK,DEPT COMP SCI,DK-2800 LYNGBY,DENMARK
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 551卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：692 / 693
页数：2
相关论文
共 50 条
  • [1] System refinement in VDM-SL
    Mukherjee, P
    SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 483 - 492
  • [2] Translating specifications in VDM-SL to PVS
    Agerholm, S.
    Lecture Notes in Computer Science, 1996, 1125
  • [3] THE DELFT VDM-SL FRONT-END
    PLAT, N
    PRONK, K
    VERHOEF, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 677 - 680
  • [4] THE FORMAL SEMANTICS OF ISO VDM-SL
    LARSEN, PG
    PAWLOWSKI, W
    COMPUTER STANDARDS & INTERFACES, 1995, 17 (5-6) : 585 - 601
  • [5] TYPE CHECKING BSI VDM-SL
    PLAT, N
    HUIJSMAN, R
    VANKATWIJK, J
    VANOOSTEN, G
    PRONK, K
    TOETENEL, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 428 : 399 - 425
  • [6] AN APPROACH TO THE STATIC SEMANTICS OF VDM-SL
    BRUUN, H
    HANSEN, BS
    DAMM, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 220 - 253
  • [7] AN OVERVIEW OF THE ISO/VDM-SL STANDARD
    PLAT, N
    LARSEN, PG
    SIGPLAN NOTICES, 1992, 27 (08): : 76 - 82
  • [8] Strategies of Modeling from VDM-SL to JML
    Jin, Dan
    Yang, Zongyuan
    ALPIT 2008: SEVENTH INTERNATIONAL CONFERENCE ON ADVANCED LANGUAGE PROCESSING AND WEB INFORMATION TECHNOLOGY, PROCEEDINGS, 2008, : 320 - 323
  • [9] Formalization of Security Properties using VDM-SL
    Tahir, Hafiz Muhammad
    Nadeem, Muhammad
    Shouket, Ayza
    Raza, Zeeshan
    Hussain, Shafique
    Zafar, Nazir Ahmad
    2015 INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGIES (ICICT), 2015,
  • [10] A framework for automated testing from VDM-SL specifications
    Nadeem, A
    Jaffar-Ur-Rehman, M
    INMIC 2004: 8TH INTERNATIONAL MULTITOPIC CONFERENCE, PROCEEDINGS, 2004, : 428 - 433
12345