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: Wilke, Claas, Demuth, Birgit, Aßmann, Uwe, Dietrich, Jens
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: