Author:
Al-Lail Mustafa,Sun Wuliang,France Robert B.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TPV: A Tool for Validating Temporal Properties in UML Class Diagrams;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14
2. Transformation of TOCL temporal properties into OCL;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23
3. A framework to specify system requirements using natural interpretation of UML/MARTE diagrams;Software & Systems Modeling;2017-03-10
4. Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping;2016 Euromicro Conference on Digital System Design (DSD);2016-08