Subject
Law,Hardware and Architecture,Software,General Computer Science,Computer Science Applications
Reference59 articles.
1. ODP enterprise viewpoint specification;Steen;Comput. Stand. Interfaces,2000
2. ASM2bogor: An approach for verification of models specified through asmeta language;Rafe;J. Vis. Lang. Comput.,2012
3. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers;Przigoda,2018
4. A logic-based approach for the verification of UML timed models;Baresi;ACM Trans. Softw. Eng. Methodol. (TOSEM),2017
5. UML is still inconsistent! How to improve OCL constraints in the UML 2.3 superstructure;Wilke;Electron. Commun. EASST,2011
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献