CONTRACTS - SPECIFYING BEHAVIORAL COMPOSITIONS IN OBJECT-ORIENTED SYSTEMS

被引：0

作者：

HELM, R

HOLLAND, IM

GANGOPADHYAY, D

机构：

[1] IBM CORP,THOMAS J WATSON RES CTR,YORKTOWN HTS,NY 10598

[2] NORTHEASTERN UNIV,COLL COMP SCI,BOSTON,MA 02115

来源：

SIGPLAN NOTICES | 1990年 / 25卷 / 10期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：169 / 180

页数：12

共 50 条

[21] A temporal behavioral object model for object-oriented databases
Dai, JC
Chen, GD
Liu, CC
Liu, BJ
COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 28 - 31
[22] A MECHANISM FOR SPECIFYING THE STRUCTURE OF LARGE, LAYERED, OBJECT-ORIENTED PROGRAMS
OSSHER, HL
SIGPLAN NOTICES, 1986, 21 (10): : 143 - 152
[23] Object-oriented systems analysis
Fuzzy Sets and Systems, 1992, 46 (03)
[24] OBJECT-ORIENTED SYSTEMS - EDITORIAL
不详
COMPUTING SYSTEMS, 1992, 7 (02): : 67 - 68
[25] CLASSIFICATION IN OBJECT-ORIENTED SYSTEMS
WEGNER, P
SIGPLAN NOTICES, 1986, 21 (10): : 173 - 182
[26] THEORY - OBJECT-ORIENTED SYSTEMS
RAMAMOORTHY, CV
SHEU, PC
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1988, 3 (03): : 9 - 15
[27] PERFORMANCE OF OBJECT CACHING FOR OBJECT-ORIENTED SYSTEMS
CHANG, JM
GEHRINGER, EF
VLSI 93, 1994, 42 : 83 - 91
[28] OBJECT MOVEMENT IN DISTRIBUTED OBJECT-ORIENTED SYSTEMS
LEE, YS
WANG, FJ
CHANG, CH
INFORMATION SCIENCES, 1994, 78 (1-2) : 19 - 47
[29] Behavioral specification and analysis of object-oriented designs
Belkhouche, B
Wu, J
JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1999, 11 (08): : 37 - 46
[30] METAMODELS FOR OBJECT-ORIENTED SYSTEMS - A PROPOSITION OF METAMODELS DESCRIBING OBJECT-ORIENTED SYSTEMS AT CONSECUTIVE LEVELS OF ABSTRACTION
MOSER, S
SOFTWARE-CONCEPTS AND TOOLS, 1995, 16 (02): : 63 - 80