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: | Wilke, Claas |
---|---|
Other Authors: | Technische Universität Dresden, Fakultät Informatik |
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 |
Similar Items
-
OCL exception handling
by: Gurunath, Pramod
Published: (2004) -
Implementing a Debugger for Dresden OCL
by: Schütze, Lars
Published: (2013) -
Java Code Generation for Dresden OCL2 for Eclipse
by: Wilke, Claas
Published: (2010) -
Automatinis testų generavimas, paremtas OCL apribojimais
by: Mitė, Mantas
Published: (2011) -
Towards a metric suite for OCL expressions expressed within UML/OCL models
by: Luis A. Reynoso, et al.
Published: (2004-04-01)