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 条
  • [1] Statechart Modeling with Fujaba
    Geiger, Leif
    Zuendorf, Albert
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (01) : 37 - 49
  • [2] Tool Modeling with Fujaba
    Geiger, Leif
    Zuendorf, Albert
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 148 (01) : 173 - 186
  • [3] Modeling web navigation by statechart
    Leung, KRPH
    Hui, LCK
    Yiu, SM
    Tang, RWM
    24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 41 - 47
  • [4] Modeling workflow process models with statechart
    Yang, D
    Zhang, SS
    ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2003, : 55 - 61
  • [5] Use of Statechart Diagrams for Modeling of Hypertext
    E. A. Gorshkova
    B. A. Novikov
    Programming and Computer Software, 2004, 30 : 47 - 51
  • [6] Use of statechart diagrams for modeling of hypertext
    Gorshkova, EA
    Novikov, BA
    PROGRAMMING AND COMPUTER SOFTWARE, 2004, 30 (01) : 47 - 51
  • [7] Statechart simulator for modeling architectural dynamics
    Egyed, A
    Wile, D
    WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE, PROCEEDINGS, 2001, : 87 - 96
  • [8] Statechart Based Formal Modeling of Workflow Processes
    Schumann, Michael
    Michael, James Bret
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING SOSE 2009, 2009, : 141 - 145
  • [9] B Formal Modeling Based on UML Statechart
    Tao, Li
    Jia, Fengsheng
    Yao, Shuaijun
    2015 FIFTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION AND MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC), 2015, : 1658 - 1663
  • [10] Modeling and Analysis of Traffic Light Controller Using Statechart
    Huang, Yi-Sheng
    Liau, Shuo-Xian
    Jeng, Mu-Der
    2010 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2010), 2010,
12345