Eintrag weiter verarbeiten
Model-Based Run-time Verification of Software Components by Integrating OCL into Treaty: Modellbasierte Verifikation von Softwarekomponenten zur Laufzeit am Beispiel der Treaty-OCL...
Personen und Körperschaften: | , , , |
---|---|
Titel: | Model-Based Run-time Verification of Software Components by Integrating OCL into Treaty: Modellbasierte Verifikation von Softwarekomponenten zur Laufzeit am Beispiel der Treaty-OCL-Integration. |
Hochschulschrift: | Diplomarbeit, Technische Universität Dresden, 2009 |
Format: | E-Book Hochschulschrift |
veröffentlicht: |
Online-Ausg..
2010
|
Schlagwörter: |