共 50 条
- [21] Formalization of the UML Class Diagrams EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, 69 : 180 - 192
- [22] Translation UML diagrams into Verilog 2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2014, : 267 - 271
- [23] UML4ALL Syntax - A Textual Notation for UML Diagrams COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PT I, 2018, 10896 : 598 - 605
- [24] UML-Compiler: A Framework for Syntactic and Semantic Verification of UML Diagrams DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2010, 5966 : 194 - 205
- [26] Tool Support to Deriving Test Scenarios from UML Activity Diagrams ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 2, 2008, : 73 - 76
- [27] A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, 2022, 450 : 267 - 275
- [28] A tool for automatic transformation between SOFL class specifications and UML diagrams PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, 2006, : 105 - +
- [29] A New Tool to Check the Coherence of Constraints Defined on UML Class Diagrams INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (8B): : 162 - 171
- [30] A tool to support Bluespec System Verilog coding based on UML diagrams 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 4670 - 4675