Executable object modeling with statecharts

被引：58
|
作者：
Harel, D [1 ]
Gery, E [1 ]
机构：
[1] WEIZMANN INST SCI,IL-76100 REHOVOT,ISRAEL
来源：
PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING | 1996年
关键词：
D O I：
10.1109/ICSE.1996.493420
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：246 / 257
页数：12
相关论文
共 50 条
  • [21] Modeling and testing agent systems based on statecharts
    Seo, HS
    Araragi, T
    Kwon, YR
    APPLYING FORMAL METHODS: TESTING, PERFORMANCE, AND M/E- COMMERCE, PROCEEDINGS, 2004, 3236 : 308 - 321
  • [22] INTRODUCTION TO STATECHARTS MODELING, SIMULATION, TESTING, AND DEPLOYMENT
    Van Mierlo, Simon
    Vangheluwe, Hans
    2019 WINTER SIMULATION CONFERENCE (WSC), 2019, : 1504 - 1518
  • [23] AN EXECUTABLE LANGUAGE FOR MODELING SIMPLE BEHAVIOR
    LEE, S
    SLUIZER, S
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (06) : 527 - 543
  • [24] Formal Executable Theory of Multilevel Modeling
    Balaban, Mira
    Khitron, Igal
    Kifer, Michael
    Maraee, Azzam
    ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2018, 2018, 10816 : 391 - 406
  • [25] Executable Modeling with UML: A vision or a nightmare?
    Rumpe, B
    ISSUES AND TRENDS OF INFORMATION TECHNOLOGY MANAGEMENT IN CONTEMPORARY ORGANIZATIONS, VOLS 1 AND 2, 2002, : 697 - 701
  • [26] Modeling Executable Test Actors Exploratory study done in executable and translatable UML
    Heldal, Rogardt
    Arvidsson, Daniel
    Persson, Fredrik
    2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 784 - 789
  • [27] INTRODUCING OBJECTCHARTS OR HOW TO USE STATECHARTS IN OBJECT-ORIENTED DESIGN
    COLEMAN, D
    HAYES, F
    BEAR, S
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (01) : 9 - 18
  • [28] Modeling gene regulatory network motifs using statecharts
    Fioravanti, Fabio
    Helmer-Citterich, Manuela
    Nardelli, Enrico
    BMC BIOINFORMATICS, 2012, 13
  • [29] Petri nets model of unified modeling language statecharts
    Guo, Feng
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2007, 13 (07): : 1300 - 1307
  • [30] Modeling and Designing of Urban Traffic Control Systems by Statecharts
    Huang, Yi-Sheng
    Liao, Tso-Hsien
    ADVANCED DESIGN TECHNOLOGY, PTS 1-3, 2011, 308-310 : 1582 - +
12345