- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783865411426
3865411428
- Dimensions
-
25 cm
- Extent
-
X, 199 S.
- Language
-
Englisch
- Notes
-
Zugl.: Leiden, Univ., Diss., 2006
- Classification
-
Informatik
- Keyword
-
Eingebettetes System
Sicherheitskritisches System
UML 2
OCL 2.0
Typprüfung
Verifikation
Systementwicklung
Verifikation
Softwarespezifikation
Korrektheit
Beweis
HOL
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:15 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kyas, Marcel
- Lehmanns Media, LOB.de
Time of origin
- 2006
Other Objects (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