Verifying OCL specifications of UML models tool support and compositionality

Zugl.: Leiden, Univ., Diss., 2006

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kyas, Marcel (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin Lehmanns Media, LOB.de 2006
Schriftenreihe:	IPA dissertation series 2006-05
Schlagworte:	Hochschulschrift > Eingebettetes System > Sicherheitskritisches System > UML 2 > OCL 2.0 > Typprüfung > Verifikation > Systementwicklung > Softwarespezifikation > Korrektheit > Beweis > HOL
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!