- Sprache
-
Englisch
- Umfang
-
VI, 298 S.
- Anmerkungen
-
Paderborn, Univ., Diss., 2004
- Identifier
-
972040633
Thema
Softwareentwicklung ; UML ; Konsistenz ; Systemmodell ; Model Checking ; Statechart ; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:27 MESZ
Objekttyp
- Monografie
Ähnliche Objekte (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