- Language
-
Englisch
- Extent
-
VI, 298 S.
- Notes
-
Paderborn, Univ., Diss., 2004
- Identifier
-
972040633
Subject
Softwareentwicklung ; UML ; Konsistenz ; Systemmodell ; Model Checking ; Statechart ; Hochschulschrift
Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
16.08.2023, 6:27 PM CEST
Object type
- Monografie
Other Objects (12)
Structured object-oriented formal language and method : second international workshop ; revised selected papers
Model checking compositional Markov systems
A formal fault model for component based models of embedded systems
Visuelle Modellierung agentenbasierter Systeme
Visuelle Modellierung agentenbasierter Systeme
Object process methodology : a holistic systems paradigm ; with CD-ROM
A framework for checking programmer defined constraints on the definition and use of program elements in Java
A system-theoretic safety engineering approach for software-intensive systems
Dependability engineering
Merging project management with system modeling
Rationale based unified software engineering model : supporting informal collaboration, rationale, and traceability in global distributed software development
Objects, components, models and patterns : 46th international conference, tools Europe 2008, Zurich, Switzerland, June 30 - July 4, 2008 ; proceedings
Structured object-oriented formal language and method : second international workshop ; revised selected papers
Model checking compositional Markov systems
A formal fault model for component based models of embedded systems
Visuelle Modellierung agentenbasierter Systeme
Visuelle Modellierung agentenbasierter Systeme
Object process methodology : a holistic systems paradigm ; with CD-ROM
A framework for checking programmer defined constraints on the definition and use of program elements in Java
A system-theoretic safety engineering approach for software-intensive systems
Dependability engineering
Merging project management with system modeling
Rationale based unified software engineering model : supporting informal collaboration, rationale, and traceability in global distributed software development
Objects, components, models and patterns : 46th international conference, tools Europe 2008, Zurich, Switzerland, June 30 - July 4, 2008 ; proceedings
Structured object-oriented formal language and method : second international workshop ; revised selected papers
Model checking compositional Markov systems
A formal fault model for component based models of embedded systems
Visuelle Modellierung agentenbasierter Systeme
Visuelle Modellierung agentenbasierter Systeme
Object process methodology : a holistic systems paradigm ; with CD-ROM
A framework for checking programmer defined constraints on the definition and use of program elements in Java
A system-theoretic safety engineering approach for software-intensive systems
Dependability engineering
Merging project management with system modeling
Rationale based unified software engineering model : supporting informal collaboration, rationale, and traceability in global distributed software development