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 条
  • [21] Smart Airport Apron Management System Formal Modeling using VDM-SL
    Latif, Saba
    Ferzund, Javed
    2019 13TH INTERNATIONAL CONFERENCE ON MATHEMATICS, ACTUARIAL SCIENCE, COMPUTER SCIENCE AND STATISTICS (MACS-13), 2019,
  • [22] Formal specification and analysis of take-off procedure using VDM-SL
    Zafar, Nazir Ahmad
    COMPLEX ADAPTIVE SYSTEMS MODELING, 2016, 4
  • [23] SPECIFYING MINIMAL REQUIREMENTS CLAUSES FOR PROGRAMMING LANGUAGE STANDARDS USING VDM-SL
    PRONK, C
    COMPUTER STANDARDS & INTERFACES, 1993, 15 (04) : 325 - 336
  • [24] Formal Modeling of Responsive Traffic Signaling System Using Graph Theory and VDM-SL
    Nawaz, Afifa
    Zafar, Nazir Ahmad
    Alkhammash, Eman H.
    SUSTAINABILITY, 2021, 13 (21)
  • [25] Blockchain-Based Formal Model for Food Supply Chain Management System Using VDM-SL
    Hameed, Hira
    Zafar, Nazir Ahmad
    Alkhammash, Eman H.
    Hadjouni, Myriam
    SUSTAINABILITY, 2022, 14 (21)
  • [26] Efficient IoT-Based Formal Model for Vehicle-Life Interaction in VANETs Using VDM-SL
    Iqbal, Sidra
    Zafar, Nazir Ahmad
    Ali, Tariq
    Alkhammash, Eman H.
    ENERGIES, 2022, 15 (03)
  • [27] A Comprehensive Formal Testing of Few Attacks on Mobile Ad-hoc Networks By Using VDM-SL Tool Box
    Draz, Umar
    Ali, Tariq
    Asghar, Khurshid
    Jamel, Asis
    Anum, Annan
    Javed, Sarah
    Yasin, Sana
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2019, 19 (07): : 116 - 126
  • [28] Programming language standards scene, ten years on paper 15: Vienna development method specification language (VDM-SL)
    Parkin, Graeme I.
    Computer Standards and Interfaces, 1994, 16 (5-6): : 527 - 530
  • [29] THE PROGRAMMING LANGUAGE STANDARDS SCENE, 10 YEARS ON .15. VIENNA DEVELOPMENT METHOD SPECIFICATION LANGUAGE (VDM-SL)
    PARKIN, GI
    COMPUTER STANDARDS & INTERFACES, 1994, 16 (5-6) : 527 - 530
  • [30] Visualizing a temporal consistency checker
    Ma, JX
    Knight, B
    Petridis, M
    Mineh, A
    Ninth International Conference on Information Visualisation, Proceedings, 2005, : 686 - 691
12345