共 50 条
- [1] Translation UML diagrams into Verilog 2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2014, : 267 - 271
- [3] Tool Support for Consistency Verification of UML Diagrams PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT (PROFES 2017), 2017, 10611 : 606 - 609
- [4] 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
- [5] UML Miner: a tool for mining UML diagrams 2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 30 - 34
- [6] Distributed collaborative modeling support system for UML diagrams 14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 567 - 567
- [7] Tool Support to Deriving Test Scenarios from UML Activity Diagrams ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 2, 2008, : 73 - 76
- [8] Further Sub-cycle and Multi-cycle Schedulling support for Bluespec Verilog 17TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2019,
- [9] Design and implementation of a software inspection support system for UML diagrams IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2006, E89D (04): : 1327 - 1336
- [10] A Formal Verification Tool for UML Behavioral Diagrams COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT 1, 2014, 8579 : 696 - 711