Object-oriented logical specification of time-critical systems

被引：38
|
作者：
Morzenti, Angelo [1 ]
San Pietro, Pierluigi [1 ]
机构：
[1] Politecnico di Milano, Milano, Italy
来源：
ACM Transactions on Software Engineering and Methodology | 1994年 / 3卷 / 01期
关键词：
D O I：
10.1145/174634.174636
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：56 / 98
相关论文
共 50 条
  • [41] Specification of distributed systems with actors using object-oriented Petri nets
    Mikolajczak, B
    Ottlik, A
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3134 - 3140
  • [42] Inheritance of behavior in logical object-oriented programming
    Ngomo, M
    Pecuchet, JP
    DrissiTalbi, A
    CARI'96 - PROCEEDINGS OF THE 3RD AFRICAN CONFERENCE ON RESEARCH IN COMPUTER SCIENCE, 1996, : 842 - 853
  • [43] OBJECT-ORIENTED SYSTEMS
    COOK, S
    COMPUTER JOURNAL, 1989, 32 (04): : 289 - 289
  • [44] A logical foundation for deductive object-oriented databases
    Liu, MC
    Dobbie, G
    Ling, TW
    SEVENTH INTERNATIONAL CONFERENCE ON DATABASE SYSTEMS FOR ADVANCED APPLICATIONS, PROCEEDINGS, 2001, : 116 - 123
  • [45] OBJECT-ORIENTED SYSTEMS
    HAMILTON, S
    COMPUTER, 1995, 28 (03) : 80 - 80
  • [46] OBJECT-ORIENTED SYSTEMS
    HOPKINS, TP
    SOFTWARE ENGINEERING JOURNAL, 1992, 7 (02): : 82 - 83
  • [47] A logical foundation for deductive object-oriented databases
    Liu, MC
    Dobbie, G
    Ling, TW
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 2002, 27 (01): : 117 - 151
  • [48] A requirements specification model for object-oriented methodologies
    Adamo, VP
    ENTELEC '96, TECHNICAL PAPERS: TO EDUCATE AND INFORM, 1996, : 137 - 140
  • [49] Behavioral specification and analysis of object-oriented designs
    Belkhouche, B
    Wu, J
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1999, 11 (08): : 37 - 46
  • [50] Modular specification of encapsulated object-oriented components
    Poetzsch-Heffter, Arnd
    Schaefer, Jan
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 313 - 341
12345