Model-Based Run-time Verification of Software Components by Integrating OCL into Treaty

Model Driven Development is used to improve software quality and efficiency by automatically transforming abstract and formal models into software implementations. This is particularly sensible if the model’s integrity can be proven formally and is preserved during the model’s transformation. A stan...

Full description

Bibliographic Details
Main Author: Wilke, Claas
Other Authors: Technische Universität Dresden, Fakultät Informatik
Format: Dissertation
Published: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden 2010
Online Access: