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 条

[31] New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD
Szuba, Janusz
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (01) : 141 - 156
[32] OBJECT-ORIENTED OPERATING-SYSTEMS
KOPTOV, GV
PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (06) : 255 - 262
[33] AN OBJECT-ORIENTED ARCHITECTURE FOR DISTRIBUTED SYSTEMS
SOLEY, RM
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 6 : 1 - 10
[34] A FRAMEWORK FOR VISUALIZING OBJECT-ORIENTED SYSTEMS
HAARSLEV, V
MOLLER, R
SIGPLAN NOTICES, 1990, 25 (10): : 237 - 244
[35] Integrity in object-oriented database systems
Slack, James M.
Unger, Elizabeth A.
Computers and Security, 1993, 12 (04): : 389 - 404
[36] OBJECT-ORIENTED MANUFACTURING SYSTEMS - EDITORIAL
ROGERS, P
INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 1994, 7 (01) : 1 - 2
[37] Metaclasses in other object-oriented systems
不详
METACLASSES AND THEIR APPLICATION, 1995, 943 : 172 - 177
[38] Security for distributed object-oriented systems
McDonell, D
Sames, D
Tally, G
Lyda, R
DISCEX'01: DARPA INFORMATION SURVIVABILITY CONFERENCE & EXPOSITION II, VOL I, PROCEEDINGS, 2001, : 264 - 278
[39] ISSUES IN OBJECT-ORIENTED DISTRIBUTED SYSTEMS
KRAKOWIAK, S
DECENTRALIZED AND DISTRIBUTED SYSTEMS, 1993, 39 : 31 - 45
[40] Systems Engineering and the Object-Oriented Paradigm
Masnick, Burt
INCOSE International Symposium, 1994, 4 (01) : 598 - 602

← 1 2 3 4 5 →