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 条
  • [31] A TYPE MODEL FOR VDM
    MONAHAN, BQ
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 210 - 236
  • [32] Practice-oriented courses in formal methods using VDM++
    Larsen, Peter Gorm
    Fitzgerald, John S.
    Riddle, Steve
    FORMAL ASPECTS OF COMPUTING, 2009, 21 (03) : 245 - 257
  • [33] Formal Specification of Particle Swarm Optimization Using VDM-SL
    Ali, Asad
    Jabeen, Aneela
    Tariq, Sidra
    Ramzan, Muhammad
    2013 INTERNATIONAL CONFERENCE ON OPEN SOURCE SYSTEMS AND TECHNOLOGIES (ICOSST), 2013, : 8 - 12
  • [34] SUPPORT ENVIRONMENTS FOR VDM
    JONES, KD
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 110 - 117
  • [35] SPECIFICATION ASPECTS OF VDM
    ANDREWS, D
    INFORMATION AND SOFTWARE TECHNOLOGY, 1988, 30 (03) : 164 - 176
  • [36] Krupp VDM GmbH
    Ameling, D
    Herda, W
    STAHL UND EISEN, 1997, 117 (02): : 73 - 76
  • [37] USING VDM IN AN OBJECT-ORIENTED DEVELOPMENT METHOD FOR ADA SOFTWARE
    CHEDGEY, C
    KEARNEY, S
    KUGLER, HJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 63 - 76
  • [38] A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM
    Lausdahl, Kenneth
    Larsen, Peter Gorm
    Battle, Nick
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 179 - +
  • [39] Predicting STC Customers' Satisfaction Using Twitter
    Almuqren, Latifah
    Cristea, Alexandra, I
    IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2023, 10 (01): : 204 - 210
  • [40] Compatibility Checking of Heterogeneous Web Service Policies Using VDM plus
    Sheng, Quan Z.
    Yu, Jian
    Maamar, Zakaria
    Jiang, Wei
    Li, Xitong
    2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2, 2009, : 821 - +
12345