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 of Flexible Beams
    Francesco Schiavo
    Luca Viganò
    Gianni Ferretti
    Multibody System Dynamics, 2006, 15 : 263 - 286
  • [22] Constraint diagrams: Visualizing invariants in object-oriented models
    Kent, S
    ACM SIGPLAN NOTICES, 1997, 32 (10) : 327 - 341
  • [23] CONTRACTS - SPECIFYING BEHAVIORAL COMPOSITIONS IN OBJECT-ORIENTED SYSTEMS
    HELM, R
    HOLLAND, IM
    GANGOPADHYAY, D
    SIGPLAN NOTICES, 1990, 25 (10): : 169 - 180
  • [24] Maude Object-Oriented Action Tool
    Maidl, Andre Murbach
    Carvilhe, Claudio
    Musicante, Martin A.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 205 : 105 - 121
  • [25] Object-oriented action semantics specifications
    Carvilhe, C
    Musicante, MA
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (08) : 910 - 934
  • [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] 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
  • [28] Object-oriented biomedical system modelling - the language
    Hakman, M
    Groth, T
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 1999, 60 (03) : 153 - 181
  • [29] Object-oriented methodology for FMS modelling and simulation
    Kellert, P
    Tchernev, N
    Force, C
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 1997, 10 (06) : 405 - 434
  • [30] Special issue on object-oriented modelling and simulation
    Ferretti, G.
    Casella, F.
    MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, 2010, 16 (03) : 161 - 164
12345