Formulating Model Verification Tasks Prover-Independently as UML Diagrams
Lecture Notes in Computer Science - Trang 232-247 - 2017
Tóm tắt
The success of Model-Driven Engineering (MDE) relies on the quality of the employed models. Thus, quality assurance through validation and verification has a tradition within MDE. But model verification is typically done in the context of specialized approaches and...