Data and control flow analysis of VDM++ specifications

被引：0
|
作者：
Nazmeen, Mubina [1 ]
Rubab, Iram [1 ]
机构：
[1] University Institute of Information Technology, Pir Meher Ali Shah Arid Agriculture University, Rawalpindi, Pakistan
来源：
World Academy of Science, Engineering and Technology | 2010年 / 64卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：442 / 447
相关论文
共 50 条
  • [1] Formal engineering of XACML access control policies in VDM++
    Bryans, Jeremy W.
    Fitzgerald, John S.
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4789 : 37 - 56
  • [2] 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
  • [3] Modeling and validating distributed embedded real-time systems with VDM++
    Verhoef, Marcel
    Larsen, Peter Gorm
    Hooman, Jozef
    FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 147 - 162
  • [4] THE VISUAL PRESENTATION OF VDM SPECIFICATIONS
    DICK, J
    LOUBERSAC, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 670 - 671
  • [5] REASONING ABOUT VDM SPECIFICATIONS
    ELVANGGORANSSON, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 343 - 355
  • [6] UML类模型的VDM++形式化规约
    胡文生
    赵明
    杨剑峰
    贾国荣
    微电子学与计算机, 2012, 29 (06) : 104 - 107
  • [7] USING ABC TO PROTOTYPE VDM SPECIFICATIONS
    KANS, A
    HAYTON, C
    SIGPLAN NOTICES, 1994, 29 (01): : 27 - 36
  • [8] Data flow analysis of system: Specifications in LOTOS
    vanderSchoot, H
    Ural, H
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1997, 7 (01) : 43 - 68
  • [9] FROM VDM SPECIFICATIONS TO FUNCTIONAL PROTOTYPES
    BORBA, P
    MEIRA, S
    JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (03) : 267 - 278
  • [10] TRANSLATING VDM SPECIFICATIONS INTO ABC PROGRAMS
    KANS, A
    HAYTON, C
    INFORMATION AND SOFTWARE TECHNOLOGY, 1994, 36 (12) : 699 - 706
12345