user

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 条
  • [1] Adding real-time filters to object-oriented specification of time critical systems
    Periyasamy, K
    Alagar, VS
    2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 28 - 39
  • [2] An object-oriented model for the specification of manufacturing systems
    Wong, STW
    Mak, KL
    Lau, HYK
    COMPUTERS & INDUSTRIAL ENGINEERING, 1999, 36 (03) : 655 - 671
  • [3] OBJECT-ORIENTED APPROACH TO THE SPECIFICATION OF MANUFACTURING SYSTEMS
    JOANNIS, R
    KRIEGER, M
    COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1992, 5 (02): : 133 - 145
  • [4] Object-oriented specification of automated manufacturing systems
    Mak, KL
    Lau, HYK
    Wong, STW
    ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1999, 15 (04) : 297 - 312
  • [5] Object-oriented requirements specification for imaging systems
    Laplante, PA
    Neill, CJ
    Russell, DW
    LOW-LIGHT-LEVEL AND REAL-TIME IMAGING SYSTEMS, COMPONENTS, AND APPLICATIONS, 2003, 4796 : 189 - 199
  • [6] Object-oriented model for the specification of manufacturing systems
    Wong, S.T.W.
    Mak, K.L.
    Lau, H.Y.K.
    Computers and Industrial Engineering, 1999, 36 (03): : 655 - 671
  • [7] Object-oriented specification and open distributed systems
    Johnsen, EB
    Owe, O
    FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 137 - 164
  • [8] Specification, validation, and verification of time-critical systems
    Shieh, SP
    Chen, JN
    COMPUTER COMMUNICATIONS, 1998, 21 (05) : 460 - 469
  • [9] LOGICAL-FOUNDATIONS FOR REPRESENTING OBJECT-ORIENTED SYSTEMS
    SOWA, JF
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1993, 5 (2-3) : 237 - 261
  • [10] Object-oriented specification and design of embedded hard real-time systems
    Nebel, W
    Oppenheimer, F
    Schumacher, G
    Kabous, L
    Radetzki, M
    Putzke-Röming, W
    SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 285 - 296
12345