Theoretical and practical approaches to the denotational semantics for MDESL based on UTP F Sheng, H Zhu, J He, Z Yang, JP Bowen Formal Aspects of Computing 32, 275-314, 2020 | 10 | 2020 |
Theoretical and practical aspects of linking operational and algebraic semantics for MDESL F Sheng, H Zhu, J He, Z Yang, JP Bowen ACM Transactions on Software Engineering and Methodology (TOSEM) 28 (3), 1-46, 2019 | 10 | 2019 |
Mechanized semantics and refinement of UML-Statecharts F Sheng, L Dou, Z Yang Frontiers of Information Technology & Electronic Engineering 18 (11), 1773-1783, 2017 | 5 | 2017 |
Verifying Static Aspects of UML models using Prolog (S). F Sheng, H Zhu, Z Yang, J Yin, G Lu SEKE, 259-342, 2019 | 2 | 2019 |
Towards a formal approach to defining and computing the complexity of component based software Y Zhao, X Zhang, L Shi, G Zeng, F Sheng, S Liu 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 331-338, 2019 | 1 | 2019 |
Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDESL H Zhao, H Zhu, F Sheng, J He, J Bowen Formal Aspects of Computing, 2024 | | 2024 |
Towards the Mechanized Semantics and Refinement of UML Class Diagrams F Sheng, H Zhu, Z Yang 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 47-54, 2019 | | 2019 |
UML 状态图的机械语义和精化研究 F Sheng, L Dou, Z Yang, AF Sheng, AL Dou, AZ Yang Frontiers 18 (11), 1773-1783, 2017 | | 2017 |
UML 状态图的机械语义和精化研究 (英文) F SHENG, L DOU, Z YANG | | |