共 50 条
- [41] Automatic Layout of UML Use Case Diagrams SOFTVIS 2008: PROCEEDINGS OF THE 4TH ACM SYMPOSIUM ON SOFTWARE VISUALIZATION, 2008, : 105 - 114
- [42] Temporal Interval Modeling for UML Activity Diagrams KEOD: PROCEEDINGS OF THE 8TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL. 2, 2016, : 199 - 203
- [43] Tool Support for Consistency Verification of UML Diagrams PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT (PROFES 2017), 2017, 10611 : 606 - 609
- [45] Modelling of UML sequence diagrams with generalized nets 2002 FIRST INTERNATIONAL IEEE SYMPOSIUM INTELLIGENT SYSTEMS, VOL III, STUDENT SESSION, PROCEEDINGS, 2002, : 79 - 84
- [46] Design of the mechatronic system with help of UML diagrams ROMOCO'02: PROCEEDINGS OF THE THIRD INTERNATIONAL WORKSHOP ON ROBOT MOTION AND CONTROL, 2002, : 243 - 248
- [47] Redesign of UML class diagrams: a formal approach Software & Systems Modeling, 2009, 8 : 165 - 183
- [48] Identification and check of inconsistencies between UML diagrams 2013 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND APPLICATIONS (CSA), 2013, : 487 - 490
- [49] Validation of UML static diagrams using B SERP '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2005, : 915 - 920
- [50] A framework for semantics of UML sequence diagrams in PVS JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (07): : 674 - 697