共 50 条
- [1] Aspect Diagrams for UML Activity Models [J]. APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, 2008, 5088 : 329 - 344
- [2] Logic Controller Design System Supporting UML Activity Diagrams [J]. 2015 22ND INTERNATIONAL CONFERENCE MIXED DESIGN OF INTEGRATED CIRCUITS & SYSTEMS (MIXDES), 2015, : 624 - 627
- [3] Supporting UML sequence diagrams using a processor net model [J]. ECBS 2007: 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 279 - 286
- [4] Supporting the Composition of UML Component Diagrams [J]. PROCEEDINGS OF THE 14TH BRAZILIAN SYMPOSIUM ON INFORMATION SYSTEMS (SBSI2018), 2018, : 441 - +
- [5] Enhancing UML Activity Diagrams using OCL [J]. 2013 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMPUTING RESEARCH (ICCIC), 2013, : 1 - 6
- [6] Supporting BPMN Process Models with UML Sequence Diagrams for Representing Time Issues and Testing Models [J]. ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, ICAISC 2017, PT II, 2017, 10246 : 589 - 598
- [7] Supporting the building and analysis of an infrastructure portfolio using UML deployment diagrams [J]. UML MODELING LANGUAGES AND APPLICATIONS, 2005, 3297 : 105 - 117
- [8] Supporting collaborative modelling in UML class diagrams [J]. REVISTA BRASILEIRA DE COMPUTACAO APLICADA, 2019, 11 (03): : 39 - 46
- [9] Supporting the UML State Machine Diagrams at runtime [J]. MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2008, 5095 : 338 - 348
- [10] Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (147): : 93 - 107