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...
Main Author: | |
---|---|
Other Authors: | |
Format: | Dissertation |
Language: | English |
Published: |
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
2010
|
Subjects: | |
Online Access: | http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-27365 http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-27365 http://www.qucosa.de/fileadmin/data/qucosa/documents/2736/diplom_print.pdf |