共 50 条
- [12] An executable formal semantics for UML-RT [J]. Software & Systems Modeling, 2016, 15 : 179 - 217
- [14] Solving the RoboSoccer challenge problem with UML-RT and Papyrus-RT [J]. 2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 221 - 227
- [15] A software process for Modeling complex systems with UML-RT [J]. TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 401 - +
- [16] 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
- [17] PMExec: An Execution Engine of Partial UML-RT Models [J]. 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019), 2019, : 1178 - 1181
- [18] Blended Graphical and Textual Modelling of UML-RT State-Machines: An Industrial Experience [J]. SOFTWARE ARCHITECTURE, ECSA 2021 TRACKS AND WORKSHOPS, 2022, 13365 : 22 - 44
- [20] On the adequacy of UML-RT for performance validation of an SDH telecommunication system [J]. ISORC 2005: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Proceedings, 2005, : 121 - 124