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 条
  • [31] FORMAL SPECIFICATION AND OBJECT-ORIENTED DESIGN
    BUCHANAN, M
    BRITTON, C
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 19 - 22
  • [32] OASIS - AN OBJECT-ORIENTED SPECIFICATION LANGUAGE
    LOPEZ, OP
    HAYES, F
    BEAR, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 593 : 348 - 363
  • [33] Object-oriented specification of coordinated collaboration
    Engels, G
    Groenewegen, LPJ
    Kappel, G
    ADVANCED IT TOOLS, 1996, : 437 - 449
  • [34] OBJECT-ORIENTED SPECIFICATION AND STEPWISE REFINEMENT
    SAAKE, G
    JUNGCLAUS, R
    EHRICH, HD
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 1 : 99 - 121
  • [35] Specification matching of object-oriented components
    Feiks, F
    Hemer, D
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 182 - 190
  • [36] OBJECT-ORIENTED SPECIFICATION OF USER INTERFACES
    JAAKSI, A
    SOFTWARE-PRACTICE & EXPERIENCE, 1995, 25 (11): : 1203 - 1221
  • [37] Specification and Verification of Object-Oriented Software
    Leino, K. Rustan M.
    ENGINEERING METHODS AND TOOLS FOR SOFTWARE SAFETY AND SECURITY, 2009, 22 : 231 - 266
  • [38] Life-cycle of a dual object-oriented specification model for real-time systems
    Bruno, MA
    Nesi, P
    INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (01) : 35 - 52
  • [39] Object-oriented and constraint programming for time critical applications
    de Boer, FS
    OBJECT-ORIENTED TECHNOLOGY, 1999, 1743 : 255 - 266
  • [40] An executable specification language for specification understanding in object-oriented specification reuse
    Chou, SC
    Chen, JY
    Chung, CG
    INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (06) : 419 - 434
12345