共 50 条
- [42] A Unified Operational Semantics for UML in Situation Calculus ADVANCED RESEARCH ON COMPUTER SCIENCE AND INFORMATION ENGINEERING, 2011, 153 : 484 - 490
- [44] A Unified Formulation of Behavioral Semantics for SysML Models MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2015, : 263 - 271
- [45] Towards a Unified Theory of Operational and Axiomatic Semantics AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 351 - 363