共 50 条
- [2] Tool Support for Consistency Verification of UML Diagrams PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT (PROFES 2017), 2017, 10611 : 606 - 609
- [3] A Formal Verification Tool for UML Behavioral Diagrams COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT 1, 2014, 8579 : 696 - 711
- [4] Logical Reasoning with Object Diagrams in a UML and OCL Tool DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2018, 2018, 10871 : 774 - 778
- [5] Tool Support for Measuring Complexity of UML Class Diagrams ICCSE 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2008, : 1005 - 1008
- [6] Tool-supported compression of UML class diagrams UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 172 - 187
- [7] UML Acceptance: Analyzing the Students' Perception of UML Diagrams PROCEEDINGS OF THE XXXIII BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, SBES 2019, 2019, : 264 - 272
- [8] Visual clutter reduction for UML component diagrams: A tool presentation 2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), 2012, : 253 - 254
- [10] A dynamic analysis tool for extracting UML 2 sequence diagrams ICSOFT 2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2006, : 171 - 176