BEHAVIORAL SPECIFICATIONS IN OBJECT-ORIENTED PROGRAMMING

被引：0

作者：

SKUCE, D ^{[1
]}

MILI, A ^{[1
]}

机构：

[1] UNIV OTTAWA,DEPT COMP SCI,OTTAWA,ON K1N 6N5,CANADA

来源：

JOURNAL OF OBJECT-ORIENTED PROGRAMMING | 1995年 / 7卷 / 08期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：41 / 49

页数：9

共 50 条

[1] Object-oriented formal specifications
Periyasamy, K
TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, : 428 - 441
[2] DESIGNING AN OBJECT-ORIENTED PROGRAMMING LANGUAGE WITH BEHAVIORAL SUBTYPING
AMERICA, P
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 489 : 60 - 90
[3] OBJECT-ORIENTED PROGRAMMING WITHOUT AN OBJECT-ORIENTED LANGUAGE
BOOCH, G
SEIDEWITZ, E
START, M
FIRESMITH, D
SIGPLAN NOTICES, 1986, 21 (11): : 508 - 508
[4] OBJECT-ORIENTED PROGRAMMING
BAINES, R
ELECTRONICS & WIRELESS WORLD, 1989, 95 (1638): : 370 - 374
[5] OBJECT-ORIENTED PROGRAMMING
ANDERSON, B
MICROPROCESSORS AND MICROSYSTEMS, 1988, 12 (08) : 433 - 442
[6] Object-Oriented Programming
Barth, G.
Welsch, C.
IT - Information Technology, 1988, 30 (06): : 404 - 421
[7] OBJECT-ORIENTED PROGRAMMING
TELLO, ER
DR DOBBS JOURNAL, 1987, 12 (03): : 126 - &
[8] OBJECT-ORIENTED PROGRAMMING
TELLO, ER
DR DOBBS JOURNAL, 1987, 12 (11): : 130 - &
[9] OBJECT-ORIENTED PROGRAMMING
POUNTAIN, D
BYTE, 1990, 15 (02): : 257 - &
[10] Object-oriented programming
Hirshfield, S
Ege, RK
ACM COMPUTING SURVEYS, 1996, 28 (01) : 253 - 255