Verifying OCL specifications of UML models : tool support and compositionakity
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783865411426
3865411428
- Maße
-
25 cm
- Umfang
-
X, 199 S.
- Sprache
-
Englisch
- Anmerkungen
-
Zugl.: Leiden, Univ., Diss., 2006
- Klassifikation
-
Informatik
- Schlagwort
-
Eingebettetes System
Sicherheitskritisches System
UML 2
OCL 2.0
Typprüfung
Verifikation
Systementwicklung
Verifikation
Softwarespezifikation
Korrektheit
Beweis
HOL
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:15 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kyas, Marcel
- Lehmanns Media, LOB.de
Entstanden
- 2006
Ähnliche Objekte (12)
Semantics of OCL Operation Specifications
Using OCL in Executable UML
Formally verifying decompositions of stochastic specifications
Verifying temporal specifications of Java programs
Verifying Global Neural Network Specifications using Hyperproperties
SMT-based validation & verification of UML-OCL models
On lightweight analysis of UML and OCL models
Implementing and Verifying MSC Specifications Using Promela/XSpin
Achieving UML and OCL Model Quality by Utilizing Metamodeling
Supporting and verifying transient behavior specifications in chaos engineering
A precise approach to validating UML models and OCL constraints
Quality Assurance for Behavioral UML and OCL Models using Filmstripping
Semantics of OCL Operation Specifications
Using OCL in Executable UML
Formally verifying decompositions of stochastic specifications
Verifying temporal specifications of Java programs
Verifying Global Neural Network Specifications using Hyperproperties
SMT-based validation & verification of UML-OCL models
On lightweight analysis of UML and OCL models
Implementing and Verifying MSC Specifications Using Promela/XSpin
Achieving UML and OCL Model Quality by Utilizing Metamodeling
Supporting and verifying transient behavior specifications in chaos engineering
A precise approach to validating UML models and OCL constraints
Quality Assurance for Behavioral UML and OCL Models using Filmstripping
Semantics of OCL Operation Specifications
Using OCL in Executable UML
Formally verifying decompositions of stochastic specifications
Verifying temporal specifications of Java programs
Verifying Global Neural Network Specifications using Hyperproperties
SMT-based validation & verification of UML-OCL models
On lightweight analysis of UML and OCL models
Implementing and Verifying MSC Specifications Using Promela/XSpin
Achieving UML and OCL Model Quality by Utilizing Metamodeling
Supporting and verifying transient behavior specifications in chaos engineering
A precise approach to validating UML models and OCL constraints