共 50 条
- [1] Testing and Debugging UML Models Based on fUML [J]. 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 1579 - 1582
- [2] Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 33 - 48
- [3] Formalizing Execution Semantics of UML Profiles with fUML Models [J]. MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2014, 2014, 8767 : 133 - 148
- [4] Using fUML Combined with a DSML: An Implementation using Papyrus UML/SysML Modeler [J]. MODELSWARD: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2019, 2019, : 248 - 255
- [5] Integrating UML Composite Structures and fUML [J]. SOFSEM 2014: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2014, 8327 : 269 - 280
- [6] Towards Executable UML Interactions based on fUML [J]. PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2016), 2016, : 405 - 411
- [7] Formal Action Semantics for a UML Action Language [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (21) : 3608 - 3624
- [8] fUML as an Assembly Language for Model Transformation [J]. SOFTWARE LANGUAGE ENGINEERING, SLE 2014, 2014, 8706 : 171 - +
- [9] Prodeling with the Action Language for Foundational UML [J]. ENASE: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2017, : 263 - 270