Statechart modeling with Fujaba

被引：0
|
作者：
University of Kassel, Software Engineering Research Group, Wilhelmshöher Allee 73, 34121 Kassel, Germany [1 ]
机构：
来源：
| 1600年 / 37-49卷 / March 30, 2005期
关键词：
Compendex;
D O I：
Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004)
中图分类号：
学科分类号：
摘要：
Computer aided software engineering - Computer graphics - Data storage equipment - Formal logic - Graph theory - Graphical user interfaces - Interfaces (computer) - Java programming language - Mathematical models - Mathematical transformations - Network protocols - Semantics
引用
收藏
相关论文
共 50 条
  • [41] Revisiting statechart synthesis with an algebraic approach
    Ziadi, T
    Hélouët, L
    Jézéquel, JM
    ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 242 - 251
  • [42] Formalization of UML statechart diagrams in the π-calculus
    Lam, VSW
    Padget, J
    2001 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 213 - 223
  • [43] Equivalence checking of two statechart specifications
    Park, MH
    Bang, KS
    Choi, JY
    Kang, I
    11TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2000, : 46 - 51
  • [44] Exploiting the Statechart in interactive learning systems authoring
    Fung, PW
    Kemp, RH
    Kemp, EA
    OZCHI 98 - 1998 AUSTRALASIAN COMPUTER HUMAN INTERACTION CONFERENCE, PROCEEDINGS, 1998, : 340 - 340
  • [45] Polyglot: Systematic Analysis for Multiple Statechart Formalisms
    Balasubramanian, Daniel
    Pasareanu, Corina S.
    Karsai, Gabor
    Lowry, Michael R.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 523 - 529
  • [46] Using basic Statechart to program industrial controllers
    Moura, Raimundo Santos
    Guedes, Luiz Affonso
    COMPUTER STANDARDS & INTERFACES, 2012, 34 (01) : 60 - 67
  • [47] An Integrated Environment for Communicating UML Statechart Diagrams
    Lam, Vitus S. W.
    Padget, Julian
    3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005, 2005,
  • [48] A statechart based HW/SW codesign system
    Bates, ID
    Chester, EG
    Kinniment, DJ
    PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (CODES'99), 1999, : 162 - 166
  • [49] Testable model specification via statechart schema
    CHIOU Peng Lam
    Journal of Harbin Institute of Technology, 2003, (03) : 254 - 258
  • [50] Formal management of object behavior with statechart DNA
    De Leeuw, Benjamin
    Hoogewijs, Albert
    2007 AFRICON, VOLS 1-3, 2007, : 546 - 551
12345