共 50 条
- [1] Model development guidelines for UML-RT: conventions, patterns and antipatterns [J]. SOFTWARE AND SYSTEMS MODELING, 2018, 17 (03): : 717 - 752
- [2] Model development guidelines for UML-RT: conventions, patterns and antipatterns [J]. Software & Systems Modeling, 2018, 17 : 717 - 752
- [3] Transformation Laws for UML-RT [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, 2006, 4037 : 123 - 137
- [4] A formal semantics of UML-RT [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4199 : 768 - 782
- [5] An executable formal semantics for UML-RT [J]. SOFTWARE AND SYSTEMS MODELING, 2016, 15 (01): : 179 - 217
- [6] A semantics for UML-RT using π-calculus [J]. RSP 2007: 18TH IEEE/IFIP INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2007, : 75 - +
- [7] Mapping architectural concepts to UML-RT [J]. PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 172 - 179
- [9] Towards UML-RT behavioural consistency [J]. ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2007, : 612 - +
- [10] A Safety Shell for UML-RT Projects [J]. 2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 583 - +