共 50 条
- [1] Model development guidelines for UML-RT: conventions, patterns and antipatterns [J]. SOFTWARE AND SYSTEMS MODELING, 2018, 17 (03): : 717 - 752
- [2] State Machine Antipatterns for UML-RT [J]. 2015 ACM/IEEE 18TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS), 2015, : 54 - 63
- [3] MDebugger: A Model-level Debugger for UML-RT [J]. PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 97 - 100
- [4] Transformation Laws for UML-RT [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, 2006, 4037 : 123 - 137
- [5] A formal semantics of UML-RT [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4199 : 768 - 782
- [6] An executable formal semantics for UML-RT [J]. SOFTWARE AND SYSTEMS MODELING, 2016, 15 (01): : 179 - 217
- [7] A semantics for UML-RT using π-calculus [J]. RSP 2007: 18TH IEEE/IFIP INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2007, : 75 - +
- [8] 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
- [10] 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 - +