From UML and OCL to Relational Logic and Back
Lecture Notes in Computer Science - Trang 415-431 - 2012
Tóm tắt
Languages like UML and OCL are used to precisely model systems. Complex UML and OCL models therefore represent a crucial part of model-driven development, as they formally specify the main system properties. Consequently, creating complete and correct models is a...