A FORMAL DESCRIPTION OF OBJECT-ORIENTED PROGRAMMING USING VDM

被引：0

作者：

MINKOWITZ, C ^{[1
]}

HENDERSON, P ^{[1
]}

机构：

[1] STC TECHNOL LTD,NEWCASTLE LYME,STAFFS,ENGLAND

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

下载

页码：237 / 259

页数：23

共 50 条

[1] USING VDM WITHIN AN OBJECT-ORIENTED FRAMEWORK
MARSHALL, LS
SIMON, L
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 619 - 628
[2] 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
[3] MOOV++: modular object-oriented VDM
Charatan, Q
INFORMATION AND SOFTWARE TECHNOLOGY, 2000, 42 (04) : 275 - 280
[4] OBJECT-ORIENTED PROGRAMMING WITHOUT AN OBJECT-ORIENTED LANGUAGE
BOOCH, G
SEIDEWITZ, E
START, M
FIRESMITH, D
SIGPLAN NOTICES, 1986, 21 (11): : 508 - 508
[5] Formal description of object-oriented software measurement and metrics in SEMS
Wang, YX
OOIS 2001: 7TH INTERNATIONAL CONFERENCE ON OBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS, 2001, : 123 - 132
[6] Object-Oriented Programming
Barth, G.
Welsch, C.
IT - Information Technology, 1988, 30 (06): : 404 - 421
[7] OBJECT-ORIENTED PROGRAMMING
ANDERSON, B
MICROPROCESSORS AND MICROSYSTEMS, 1988, 12 (08) : 433 - 442
[8] OBJECT-ORIENTED PROGRAMMING
BAINES, R
ELECTRONICS & WIRELESS WORLD, 1989, 95 (1638): : 370 - 374
[9] OBJECT-ORIENTED PROGRAMMING
TELLO, ER
DR DOBBS JOURNAL, 1987, 12 (03): : 126 - &
[10] OBJECT-ORIENTED PROGRAMMING
TELLO, ER
DR DOBBS JOURNAL, 1987, 12 (11): : 130 - &