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 条
  • [21] Fujaba-Based Tool Development for eHome Systems
    Norbisrath, Ulrich
    Salumaa, Priit
    Schultchen, Erhard
    Kraft, Bodo
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (01) : 89 - 99
  • [22] Refinement in statechart testing
    Bogdanov, K
    Holcombe, M
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2004, 14 (03): : 189 - 211
  • [23] 不同Statechart语义比较
    刘震
    李聪怡
    长沙交通学院学报, 2005, (02) : 75 - 78
  • [24] Runtime verification of statechart implementations
    Pintér, G
    Majzik, I
    ARCHITECTING DEPENDABLE SYSTEMS III, 2005, 3549 : 148 - 172
  • [25] Verifying the Correctness of UML Statechart Outpatient Clinic Based on Common Modeling Language and SMV
    Samat, Pathiah Abdul
    Azwarrudin, Muhammad Amsyar
    Ali, Norhayati Mohd
    Admodisastro, Novia
    INTERNATIONAL JOURNAL OF INTEGRATED ENGINEERING, 2021, 13 (05): : 137 - 145
  • [26] STATECHART MODELING AND WEB-BASED SIMULATION OF HYBRID DYNAMIC SYSTEMS FOR E-AUTOMATION
    Lee, Jin-Shyan
    Zhou, Meng-Chu
    Hsu, Pau-Lo
    JOURNAL OF INDUSTRIAL AND PRODUCTION ENGINEERING, 2005, 22 (01) : 19 - 27
  • [27] Fujaba case studies for GraBaTs 2008: Lessons learned
    Geiger L.
    Zündorf A.
    International Journal on Software Tools for Technology Transfer, 2010, 12 (3-4) : 287 - 304
  • [28] Testing and simulating production control systems using the Fujaba environment
    Niere, J
    Zündorf, A
    APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS, 2000, 1779 : 449 - 456
  • [29] Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study
    Guo, Chunhui
    Fu, Zhicheng
    Ren, Shangping
    Jiang, Yu
    Rahmaniheris, Maryam
    Sha, Lui
    2017 IEEE 30TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), 2017, : 117 - 122
  • [30] Incremental design of statechart specifications
    Scholz, P
    SCIENCE OF COMPUTER PROGRAMMING, 2001, 40 (01) : 119 - 145
12345