- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
VII, 284 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Kiel, Univ., Diss., 1997
- Schlagwort
-
Softwareentwicklung
Verfeinerung
- Urheber
-
Engelhardt, Kai
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:29 MEZ
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.
Objekttyp
- Hochschulschrift
Beteiligte
- Engelhardt, Kai
Ähnliche Objekte (12)
Pattern-based refinement and translation of object-oriented models to code
Bisimulations and model refinement
Deriving object-oriented specifications from algebraic specifications through refinement
Structure oriented exchange of product model data
A refinement design model and its application to data modelling and retrieval
Data oriented reengineering
On value based identification in object oriented data models
Abstraction refinement techniques for software model checking
Formal model refinement : from specification to implementation
Mining GPS-trajectory data for map refinement and behavior detection
Allocation Strategies for Data-Oriented Architectures
Data refinement as reduction steps
Pattern-based refinement and translation of object-oriented models to code
Bisimulations and model refinement
Deriving object-oriented specifications from algebraic specifications through refinement
Structure oriented exchange of product model data
A refinement design model and its application to data modelling and retrieval
Data oriented reengineering
On value based identification in object oriented data models
Abstraction refinement techniques for software model checking
Formal model refinement : from specification to implementation
Mining GPS-trajectory data for map refinement and behavior detection
Allocation Strategies for Data-Oriented Architectures
Data refinement as reduction steps
Pattern-based refinement and translation of object-oriented models to code
Bisimulations and model refinement
Deriving object-oriented specifications from algebraic specifications through refinement
Structure oriented exchange of product model data
A refinement design model and its application to data modelling and retrieval
Data oriented reengineering
On value based identification in object oriented data models
Abstraction refinement techniques for software model checking
Formal model refinement : from specification to implementation
Mining GPS-trajectory data for map refinement and behavior detection
Allocation Strategies for Data-Oriented Architectures