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 条
  • [1] Specifying and analysing distributed object-oriented systems
    Frey, M
    Podolsky, A
    INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, : 38 - 51
  • [2] Specifying and analysing distributed object-oriented systems
    Frey, Maximilian
    Podolsky, Markus
    International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings, 1999, : 38 - 51
  • [3] Specifying active database systems in an object-oriented framework
    Campin, J
    Paton, N
    Williams, MH
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1997, 7 (01) : 101 - 123
  • [4] Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems
    Mouelhi, Sebti
    Agrou, Khalid
    Chouali, Samir
    Mountassir, Hassan
    2015 18TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING (CBSE), 2015, : 49 - 58
  • [5] Specifying timing constraints in real-time object-oriented systems
    Vishnuvajjala, RV
    Tsai, WT
    Mojdehbakhsh, R
    Elliott, L
    IEEE HIGH-ASSURANCE SYSTEMS ENGINEERING WORKSHOP, PROCEEDINGS, 1997, : 32 - 39
  • [6] Specifying business rules in object-oriented analysis
    Devos F.
    Steegmans E.
    Software & Systems Modeling, 2005, 4 (3) : 297 - 309
  • [7] Towards specifying constraints for object-oriented frameworks
    Hou, DQ
    Hoover, HJ
    INFORMATION SYSTEMS FRONTIERS, 2002, 4 (04) : 393 - 407
  • [8] Towards Specifying Constraints for Object-Oriented Frameworks
    Daqing Hou
    H. James Hoover
    Information Systems Frontiers, 2002, 4 : 393 - 407
  • [9] Object-oriented resource models: Their role in specifying components of integrated manufacturing systems
    Aguiar, MWC
    Murgatroyd, IS
    Edwards, JM
    COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1996, 9 (01): : 33 - 48
  • [10] OBJECT-ORIENTED SYSTEMS
    COOK, S
    COMPUTER JOURNAL, 1989, 32 (04): : 289 - 289
12345