USING VDM IN AN OBJECT-ORIENTED DEVELOPMENT METHOD FOR ADA SOFTWARE

被引：0

作者：

CHEDGEY, C

KEARNEY, S

KUGLER, HJ

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 252卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：63 / 76

页数：14

共 50 条

[1] USING ADA WITHIN AN OBJECT-ORIENTED SOFTWARE-DEVELOPMENT PARADIGM
NIES, S
BOOCH, G
SIMONIAN, RP
SEIDEWITZ, E
[J]. SIGPLAN NOTICES, 1989, 24 (10): : 492 - 496
[2] Hybrid object-oriented real-time software development with VDM++
vanKatwijk, J
Durr, E
Goldsack, S
[J]. FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 17 - 26
[3] USING VDM WITHIN AN OBJECT-ORIENTED FRAMEWORK
MARSHALL, LS
SIMON, L
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 619 - 628
[4] MANAGING ADA OBJECT-ORIENTED DEVELOPMENT
ANDERSON, JA
SHEFFLER, JD
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 603 : 20 - 34
[5] MODULAR SOFTWARE CONSTRUCTION AND OBJECT-ORIENTED DESIGN USING ADA.
Sincovec, Richard F.
Wiener, Richard S.
[J]. Journal of Pascal, Ada & Modula-2, 1984, 3 (02): : 29 - 34
[6] A FORMAL DESCRIPTION OF OBJECT-ORIENTED PROGRAMMING USING VDM
MINKOWITZ, C
HENDERSON, P
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 237 - 259
[7] OBJECT-ORIENTED ADA-BASED DEVELOPMENT OF HIGHLY REUSABLE CONTROL SOFTWARE
BORIANI, DV
[J]. ISA TRANSACTIONS, 1995, 34 (01) : 39 - 51
[8] PRODUCT DEVELOPMENT USING OBJECT-ORIENTED SOFTWARE TECHNOLOGY
KRAEMER, TF
[J]. HEWLETT-PACKARD JOURNAL, 1989, 40 (04): : 87 - 100
[9] OBJECT-ORIENTED PROGRAMMING IN ADA
PAPPAS, TLF
[J]. COMPUTER, 1992, 25 (07) : 89 - 90
[10] On the object-oriented technique for the development of software
Han, Jianning
[J]. Xi'an Shiyou Xueyuan Xuebao/Journal of Xi'an Petroleum Institute (Natural Science Edition), 1997, 12 (05): : 33 - 35

← 1 2 3 4 5 →