Author:
Bashir Raja Sehrab,Lee Sai Peck,Khan Saif Ur Rehman,Chang Victor,Farid Shahid
Subject
Library and Information Sciences,Computer Networks and Communications,Information Systems
Reference79 articles.
1. Consistency checking in multiple UML state diagrams using super state analysis;Alanazi,2008
2. Formal proof from UML models formal methods and software engineering;Amálio,2004
3. Towards a subject-oriented model-driven framework;Amaya;Electronic Notes in Theoretical Computer Science,2006
4. A dynamic assertion-based verification platform for validation of UML designs;Banerjee;ACM SIGSOFT Software Engineering Notes,2012
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Testing Constraint Checking Implementations via Principled Metamorphic Transformations;2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2024-03-12
2. Incremental-concurrent fusion checking for efficient context consistency;Journal of Systems and Software;2024-01
3. Conclusion and Final Remarks;Ontology-Based Evolution of Domain-Oriented Languages;2023-11-25
4. Discussion and Further Development;Ontology-Based Evolution of Domain-Oriented Languages;2023-11-25
5. Practical Use of the Proposed Projection Approach for Developing and Modifying a DSL in Changing Contexts;Ontology-Based Evolution of Domain-Oriented Languages;2023-11-25