Removing redundancies and deducing equivalences in UML class diagrams

被引：12
|
作者：
机构：
[1] [1,Maraee, Azzam
[2] Balaban, Mira
来源：
| 1600年 / Springer Verlag卷 / 8767期
关键词：
D O I：
10.1007/978-3-319-11653-2_15
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Removing Redundancies and Deducing Equivalences in UML Class Diagrams
    Maraee, Azzam
    Balaban, Mira
    MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2014, 2014, 8767 : 235 - 251
  • [2] Optimizing UML Class Diagrams
    Sergievskiy, Maxim
    Kirpichnikova, Ksenia
    7TH SEMINAR ON INDUSTRIAL CONTROL SYSTEMS: ANALYSIS, MODELING AND COMPUTING (ICS 2018), 2018, 18
  • [3] Querying UML Class Diagrams
    Cali, Andrea
    Gottlob, Georg
    Orsi, Giorgio
    Pieris, Andreas
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 1 - 25
  • [4] Reasoning on UML class diagrams
    Berardi, D
    Calvanese, D
    De Giacomo, G
    ARTIFICIAL INTELLIGENCE, 2005, 168 (1-2) : 70 - 118
  • [5] Reduction of UML class diagrams
    Linde, G
    DATABASES AND INFORMATION SYSTEMS II, 2002, : 199 - 208
  • [6] Reasoning with UML class diagrams
    Evans, AS
    2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113
  • [7] Formalization of the UML Class Diagrams
    Osis, Janis
    Donins, Uldis
    EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, 69 : 180 - 192
  • [8] Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations
    Lam, VSW
    Padget, J
    200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2003, : 137 - 144
  • [9] Organizing UML class diagrams in layers
    Kumar, V
    Deka, JK
    Enabling Technologies for the New Knowledge Society, 2005, : 39 - 55
  • [10] Full Satisfiability of UML Class Diagrams
    Artale, Alessandro
    Calvanese, Diego
    Ibanez-Garcia, Angelica
    CONCEPTUAL MODELING - ER 2010, 2010, 6412 : 317 - 331
12345