Author:
Przigoda Nils,Niemann Philipp,Filho Jonas Gomes,Wille Robert,Drechsler Rolf
Subject
Computer Networks and Communications,Software
Reference29 articles.
1. Frame conditions in symbolic representations of UML/OCL models;Przigoda,2016
2. Object constraint language;OMG—Object Management Group,2014
3. A proposal for a formal OCL semantics in Isabelle/HOL;Brucker,2002
4. USE: a UML-based specification environment for validating UML and OCL;Gogolla;Sci Comput Prog,2007
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献