共 50 条
- [2] Refinement Patterns for UML [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 137 (02) : 131 - 149
- [3] Heuristics on the definition of UML refinement patterns [J]. SOFSEM 2006: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2006, 3831 : 461 - 470
- [4] Refinement Patterns for Hierarchical UML State Machines [J]. FUNDAMENTALS OF SOFTWARE ENGINEERING, 2010, 5961 : 371 - +
- [6] Transformations of UML 2 models using concrete syntax patterns [J]. RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES, 2007, 4401 : 130 - 143
- [7] Practical verification strategy for refinement conditions in UML models [J]. ADVANCED SOFTWARE ENGINEERING: EXPANDING THE FRONTIERS OF SOFTWARE TECHNOLOGY, 2006, 219 : 47 - +
- [8] A New Approach for the Verification of BPMN Models Using Refinement Patterns [J]. 2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2018, : 807 - 808
- [9] Refinement of UML/MARTE Models for the Design of Networked Embedded Systems [J]. DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012), 2012, : 1072 - 1077
- [10] A controlled experiment for measuring the usability of WebApps using patterns [J]. ENTERPRISE INFORMATION SYSTEMS VII, 2006, : 257 - +