共 50 条
- [1] Derivation of Petri Net performance models from UML specifications of communications software [J]. COMPUTER PERFORMANCE EVALUATION, PROCEEDINGS: MODELLING TECHNIQUES AND TOOLS, 2000, 1786 : 262 - 276
- [2] Automatic Validation of UML Specifications Based on UML Environment Models [J]. 2017 4TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING TECHNOLOGIES AND APPLIED SCIENCES (ICETAS), 2017,
- [3] From UML descriptions of high-level software architectures to LQN performance models [J]. APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS, 2000, 1779 : 47 - 62
- [5] Automatic derivation of DAML-S service specifications from UML business models [J]. WEB ENGINEERING, PROCEEDINGS, 2003, 2722 : 427 - 430
- [9] From Natural Language Software Specifications to UML Class Models [J]. ENTERPRISE INFORMATION SYSTEMS, ICEIS 2011, 2012, 102 : 224 - 237
- [10] Software performance evaluation based on the UML performance profile [J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: SYSTEMICS, CYBERNETICS AND INFORMATICS: TECHNOLOGIES AND APPLICATIONS, 2003, : 249 - 254