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 条

[1] VDM - Vienna development method
Henhapl, W.
Letschert, T.
IT - Information Technology, 1987, 29 (04): : 202 - 210
[2] MODELING SOFTWARE USING VDM (VIENNA DEVELOPMENT METHOD)
ARISTIDE, M
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1990, 9 (04): : 313 - 330
[3] 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
[4] VDM DEVELOPMENT WITH ADA AS THE TARGET LANGUAGE
ONEILL, D
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 116 - 123
[5] EARLY FOUNDATIONS OF FORMAL MODELING AND LANGUAGE SPECIFICATION - VIENNA DEFINITION LANGUAGE (VDL) AND VIENNA DEVELOPMENT METHOD (VDM)
ZEMANEK, H
INFORMATION PROCESSING '94, VOL II: APPLICATIONS AND IMPACTS, 1994, 52 : 251 - 270
[6] INTRODUCING DATA DECOMPOSITION INTO VDM FOR TRACTABLE DEVELOPMENT OF PROGRAMS
LU, J
SIGPLAN NOTICES, 1995, 30 (09): : 41 - 50
[7] 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
[8] 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
[9] OBJECTIVES OF THE BRITISH STANDARDIZATION OF A LANGUAGE TO SUPPORT THE VIENNA DEVELOPMENT METHOD - THE BSI VDM SPECIFICATION LANGUAGE STANDARDIZATION PANEL UNITED-KINGDOM
SEN, D
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 321 - 323
[10] VALIDATION OF CONCURRENT ADA PROGRAMS USING SYMBOLIC EXECUTION
MORASCA, S
PEZZE, M
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 387 : 467 - 486

← 1 2 3 4 5 →