Klimaneutrales UnternehmenFaire PreiseSchneller & kostenloser Versand
Verifying OCL Specifications of UML Models

Verifying OCL Specifications of UML Models

29,90 €

inkl. MwSt. versandkostenfrei

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:
Englisch
ISBN:
3865411428
Seitenzahl:
218
Auflage:
-
Erschienen:
2006-02-01
Dein Kauf tut Gutes! Mit diesem Kauf trägst Du zur Neupflanzung eines Baumes bei. Jeder Baum zählt! Green Tree

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Natural Klimaneutral
Coins Faire Preise
Check Schnelle & einfache Abwicklung
29,90 €

inkl. MwSt. versandkostenfrei

Lieferzeit 1-3 Werktage

29,90 €

inkl. MwSt. versandkostenfrei


Beschreibung

Verifying OCL Specifications of UML Models
Tool Support and Compositionality

The Unified Modelling Language (UML) and the Object Constraint Language (OCL) serve as specification languages for embedded and realtime systems used in a safe tycritical environment.In this dissertation class diagrams, object diagrams, and OCL constraints are formalised. The formalisation serves as foundation for a trans lation of class diagrams, state machines, and constraints into the theorem prover PVS. This enables the formal verification of models defined in a subset of UML using the interactive theorem prover.The type system of OCL makes writing specifications difficult while the model is still under development. To overcome this difficulty a new type system is proposed, based on intersection types, union types, and bounded operator abstraction.To reduce the complexity of the model and to increase the structure of th especification, compositional reasoning is used. The introduction of history variables allows compositional specifications. Proof rules support compositional reasoning.The feasibility of the presented approach is demonstrated by two casestudies. The first one is the "Sieve of Eratosthenes" and the se cond one is a part of the medium altitude reconnaissance system (MARS) deployed in F-16 fighters of the Royal Dutch Air Force. von Kyas, Marcel

Produktdetails

Einband:
Kartoniert
Seitenzahl:
218
Erschienen:
2006-02-01
Sprache:
Englisch
EAN:
9783865411426
ISBN:
3865411428
Gewicht:
316 g
Auflage:
-
Verwandte Sachgebiete:

Über den Autor


Entdecke mehr vom Verlag


Kundenbewertungen

0
Kundenbewertungen für "Verifying OCL Specifications of UML Models"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.


Neu
29,90 €

Zuletzt angesehen

Entdecke mehr Gebrauchtes für Dich