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 条
  • [21] GENERATING DATA-FLOW ANALYSIS ALGORITHMS FROM MODAL SPECIFICATIONS
    STEFFEN, B
    SCIENCE OF COMPUTER PROGRAMMING, 1993, 21 (02) : 115 - 139
  • [22] Formal specification of a voice communication system used in air traffic control -: An industrial application of light-weight formal methods using VDM++
    Hörl, J
    Aichernig, BK
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1868 - 1868
  • [23] A framework for inheritance testing from VDM plus plus specifications
    Nadeem, Aamer
    Lyu, Michael R.
    12TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2006, : 81 - +
  • [24] Measuring Function Points from VDM-SL Specifications
    Miyawaki, Tomoko
    Iijima, Junichi
    Ho, Sho
    2008 5TH INTERNATIONAL CONFERENCE ON SERVICE SYSTEMS AND SERVICE MANAGEMENT, VOLS 1 AND 2, 2008, : 76 - 81
  • [25] 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
  • [26] The visualization of dialect data with VDM
    Haimerl, Edgar
    ZEITSCHRIFT FUR ROMANISCHE PHILOLOGIE, 2024, 139 (04): : 991 - 1002
  • [27] EXPERIENCE WITH VDM IN NORSK DATA
    SCHMIDT, U
    VOLLER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 49 - 62
  • [28] THE IFAD VDM-SL TOOLBOX - A PRACTICAL APPROACH TO FORMAL SPECIFICATIONS
    ELMSTROM, R
    LARSEN, PG
    LASSEN, PB
    SIGPLAN NOTICES, 1994, 29 (09): : 77 - 80
  • [29] Executable specifications with data-flow diagrams
    Fuggetta, Alfonso
    Ghezzi, Carlo
    Mandrioli, Dino
    Morzenti, Angelo
    Software - Practice and Experience, 1993, 23 (06) : 629 - 653
  • [30] EXECUTABLE SPECIFICATIONS WITH DATA-FLOW DIAGRAMS
    FUGGETTA, A
    GHEZZI, C
    MANDRIOLI, D
    MORZENTI, A
    SOFTWARE-PRACTICE & EXPERIENCE, 1993, 23 (06): : 629 - 653
12345