Visualizing action contracts in object-oriented modelling

被引：0
作者：
Univ of Brighton, Brighton, United Kingdom [1 ]
机构：
来源：
IEE Proc Software | / 2-3卷 / 70-77期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Object-Oriented Modelling and Control in Buildings
    Zupancic, B.
    Sodja, A.
    18TH WORLD IMACS CONGRESS AND MODSIM09 INTERNATIONAL CONGRESS ON MODELLING AND SIMULATION: INTERFACING MODELLING AND SIMULATION WITH MATHEMATICAL AND COMPUTATIONAL SCIENCES, 2009, : 1760 - 1766
  • [22] Navigation expressions in object-oriented modelling
    Hamie, A
    Howse, J
    Kent, S
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 123 - 137
  • [23] Object-oriented action semantics specifications
    Carvilhe, C
    Musicante, MA
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (08) : 910 - 934
  • [24] CONTRACTS - SPECIFYING BEHAVIORAL COMPOSITIONS IN OBJECT-ORIENTED SYSTEMS
    HELM, R
    HOLLAND, IM
    GANGOPADHYAY, D
    SIGPLAN NOTICES, 1990, 25 (10): : 169 - 180
  • [25] Maude Object-Oriented Action Tool
    Maidl, Andre Murbach
    Carvilhe, Claudio
    Musicante, Martin A.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 205 : 105 - 121
  • [26] Core modelling concepts in Object-oriented Conceptual Modelling
    Snoeck, M
    Dedene, G
    TOOLS 38: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: COMPONENTS FOR MOBILE COMPUTING, 2001, 38 : 170 - 179
  • [27] Special issue on object-oriented modelling and simulation
    Ferretti, Gianni
    Fritzson, Peter
    MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, 2017, 23 (03) : 240 - 242
  • [28] Object-oriented modelling of parallel hardware systems
    Schumacher, G
    Nebel, W
    DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 234 - 241
  • [29] Object-oriented biomedical system modelling - the language
    Hakman, M
    Groth, T
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 1999, 60 (03) : 153 - 181
  • [30] On the key role of compositioning object-oriented modelling
    Steimann, F
    Gössner, J
    Mück, T
    UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 106 - 120
12345