EXPERIENCE USING VDM IN STC

被引：0
|
作者：
CRISPIN, RJ
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 252卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：19 / 32
页数：14
相关论文
共 50 条
  • [1] EXPERIENCE WITH VDM IN NORSK DATA
    SCHMIDT, U
    VOLLER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 49 - 62
  • [2] REASONING ABOUT VDM DEVELOPMENTS USING THE VDM SUPPORT TOOL IN MURAL
    BICARREGUI, JC
    RITCHIE, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 371 - 388
  • [3] USING ABC TO PROTOTYPE VDM SPECIFICATIONS
    KANS, A
    HAYTON, C
    SIGPLAN NOTICES, 1994, 29 (01): : 27 - 36
  • [4] A BUFFERING SYSTEM IMPLEMENTATION USING VDM
    WEBERWULFF, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 428 : 135 - 149
  • [5] TEST CASE SELECTION USING VDM
    SCULLARD, GT
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 178 - 186
  • [6] Towards Verifying VDM Using SPIN
    Lin, Hsin-Hung
    Omori, Yoichi
    Kusakabe, Shigeru
    Araki, Keijiro
    FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015), 2016, 596 : 241 - 256
  • [7] Using KIDS as a tool support for VDM
    Ledru, Y
    PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, : 236 - 245
  • [8] USING VDM TO SPECIFY OSI MANAGED OBJECTS
    SIMON, L
    MARSHALL, LS
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 17 - 31
  • [9] Real time formal specification using VDM(++)
    vanKatwijk, J
    Durr, E
    Goldsack, S
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 17 - 24
  • [10] USING VDM TO SPECIFY MANAGED OBJECT RELATIONSHIPS
    MARSHALL, LS
    SIMON, L
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 10 : 263 - 278
12345