共 50 条
- [1] Automatic translation from UML specifications to B [J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 436 - 436
- [2] Automatic translation UML activity diagrams to Petri net [J]. 2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2015,
- [3] Automatic Translation of UML Sequence Diagrams into PEPA Models [J]. QUANTITATIVE EVALUATION OF SYSTEMS: QEST 2008, PROCEEDINGS, 2008, : 205 - 214
- [4] Automatic Model Translation to UML from Software Product Lines Model using UML Profile [J]. 2016 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER SCIENCE AND INFORMATION SYSTEMS (ICACSIS), 2016, : 605 - 610
- [5] Automatic Translation from UML to Simulink CAAM using Graph Grammars [J]. 2013 2ND WORKSHOP-SCHOOL ON THEORETICAL COMPUTER SCIENCE (WEIT), 2013, : 59 - 66
- [6] Automatic translation form requirements model into use cases modeling on UML [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2005, PT 3, 2005, 3482 : 769 - 777
- [7] Automatic Translation from Textual Representations of Laws to Formal Models through UML [J]. LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2005, 134 : 71 - 80
- [8] Translation UML diagrams into Verilog [J]. 2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2014, : 267 - 271
- [9] Automatic Validation of UML Specifications Based on UML Environment Models [J]. 2017 4TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING TECHNOLOGIES AND APPLIED SCIENCES (ICETAS), 2017,
- [10] A translation of UML components into formal specifications [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, SYSTEMS AND ARCHITECTURES, 2003, 732 : 60 - 75