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 条
  • [41] OBJECT-ORIENTED TECHNIQUES FOR SWITCHING SYSTEMS
    DESTOR, C
    SCORTESSE, A
    DEMAN, J
    ELECTRICAL COMMUNICATION, 1990, 64 (04): : 371 - 380
  • [42] Delegation model for object-oriented systems
    Mcheick, Hamid
    Mili, Hafedh
    Dallaire, Eric
    Mcheik, Rakan
    2008 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2008, : 899 - 902
  • [43] OBJECT-ORIENTED DATABASE-SYSTEMS
    SADRI, F
    PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 195 - 196
  • [44] Probabilistic evaluation of object-oriented systems
    Tsantalis, N
    Chatzigeorgiou, A
    Stephanides, G
    Deligiannis, I
    10TH INTERNATIONAL SYMPOSIUM ON SOFTWARE METRICS, PROCEEDINGS, 2004, : 26 - 33
  • [45] Object-oriented reasoning in cognitive systems
    Korniak, J
    ENABLING TECHNOLOGY FOR SIMULATION SCIENCE IV, 2000, 4026 : 291 - 301
  • [46] Object-Oriented design of PLM systems
    Kul'ga K.S.
    Russian Engineering Research, 2009, 29 (12) : 1285 - 1289
  • [47] Object-oriented model of measurement systems
    Yang, Q
    Butler, C
    IMTC/97 - IEEE INSTRUMENTATION & MEASUREMENT TECHNOLOGY CONFERENCE: SENSING, PROCESSING, NETWORKING, PROCEEDINGS VOLS 1 AND 2, 1997, : 690 - 693
  • [48] Product metrics for object-oriented systems
    Purao, S
    Vaishnavi, V
    ACM COMPUTING SURVEYS, 2003, 35 (02) : 191 - 221
  • [49] OBJECT-ORIENTED PROGRAMMING FOR EMBEDDED SYSTEMS
    MACLEAN, S
    SMITH, S
    SIGPLAN NOTICES, 1995, 30 (09): : 3 - 8
  • [50] Editorial: Aliasing in object-oriented systems
    Noble, J
    Lea, D
    SOFTWARE-PRACTICE & EXPERIENCE, 2001, 31 (06): : 505 - 505
12345