DEVELOPING ADA PROGRAMS USING THE VIENNA DEVELOPMENT METHOD (VDM)

被引：11
|
作者：
JACKSON, MI
机构：
来源：
SOFTWARE-PRACTICE & EXPERIENCE | 1985年 / 15卷 / 03期
关键词：
D O I：
10.1002/spe.4380150307
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：305 / 318
页数：14
相关论文
共 50 条
  • [41] Developing logic programs from specifications using stepwise refinement
    Colvin, R
    Groves, L
    Hayed, IJ
    Hemer, D
    Nickson, R
    Strooper, P
    PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC: A DECADE OF RESEARCH ADVANCES IN LOGIC-BASED PROGRAM DEVELOPMENT, 2004, 3049 : 66 - 89
  • [42] A practical method of documenting and verifying Ada programs with packages. Program Verification and Verification-Oriented Programming
    Luckham, David C.
    Polak, Wolfgang
    ACM SIGPLAN Notices, 1980, 15 (11): : 113 - 122
  • [43] THE SEMANTICS AND COMPLEXITY OF PARALLEL PROGRAMS FOR VECTOR COMPUTATIONS .1. A CASE-STUDY USING ADA
    BLUM, EK
    BIT, 1988, 28 (03): : 530 - 551
  • [44] TARGET PROGRAMS AS A METHOD OF STATE REGULATION OF DEVELOPMENT OF REGIONS
    Petrova, E. S.
    MORDOVIA UNIVERSITY BULLETIN, 2007, 1 : 197 - 201
  • [45] ON THE DEVELOPMENT OF A METHOD TO SYNTHESIZE PROGRAMS FROM REQUIREMENTS SPECIFICATIONS
    COOKE, DE
    GATES, A
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1991, 1 (01) : 21 - 38
  • [46] TENTATIVE STEPS TOWARD A DEVELOPMENT METHOD FOR INTERFERING PROGRAMS
    JONES, CB
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (04): : 596 - 619
  • [47] Model Youth Programs: A Key Strategy for Developing Community-University Partnerships Using a Community Youth Development Approach
    Anyon, Yolanda
    Fernandez, Maria
    JOURNAL OF YOUTH DEVELOPMENT, 2008, 3 (01): : 103 - 112
  • [48] Reasoning about Programs Using a Scientific Method
    O'Hearn, Peter W.
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 14 - 14
  • [49] Development of virtual objects using NC programs
    Cioana, C.
    Stan, D.
    Cosma, C.
    Tut, V.
    ADVANCED MANUFACTURING ENGINEERING, QUALITY AND PRODUCTION SYSTEMS, 2010, : 133 - 136
  • [50] USING ADA WITHIN AN OBJECT-ORIENTED SOFTWARE-DEVELOPMENT PARADIGM
    NIES, S
    BOOCH, G
    SIMONIAN, RP
    SEIDEWITZ, E
    SIGPLAN NOTICES, 1989, 24 (10): : 492 - 496
12345