Hochschulschrift
Formal software development using generic development steps
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897224285
3897224283
- Maße
-
21 cm
- Umfang
-
VI, 235 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Ulm, Univ., Diss., 2000
- Schlagwort
-
Softwareentwicklung
Formale Spezifikationstechnik
Verfeinerung
Programmtransformation
Compiler
Korrektheit
- 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:07 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
- Dold, Axel
- Logos-Verl.
Entstanden
- 2000
Ähnliche Objekte (12)
A generic system architecture for strategy based software development
Foundations of algebraic specification and formal software development
A formal notion of strategy for software development
Realisierungsstufen Wohnungsbau. [realize steps residential development]
Reflective steps : a collaborative learning oriented approach to software development and process improvement
Construction and deduction methods for the formal development of software
A formal approach to high quality software design and development.
A transformational approach to generic software development based on higher-order, typed functional signatures
Professional Software Development
Rapid software development
Three Steps Towards More Effective Development Assistance
Agile software development : best practices for large software development projects
A generic system architecture for strategy based software development
Foundations of algebraic specification and formal software development
A formal notion of strategy for software development
Realisierungsstufen Wohnungsbau. [realize steps residential development]
Reflective steps : a collaborative learning oriented approach to software development and process improvement
Construction and deduction methods for the formal development of software
A formal approach to high quality software design and development.
A transformational approach to generic software development based on higher-order, typed functional signatures
Professional Software Development
Rapid software development
Three Steps Towards More Effective Development Assistance
Agile software development : best practices for large software development projects
A generic system architecture for strategy based software development
Foundations of algebraic specification and formal software development
A formal notion of strategy for software development
Realisierungsstufen Wohnungsbau. [realize steps residential development]
Reflective steps : a collaborative learning oriented approach to software development and process improvement
Construction and deduction methods for the formal development of software
A formal approach to high quality software design and development.
A transformational approach to generic software development based on higher-order, typed functional signatures
Professional Software Development
Rapid software development
Three Steps Towards More Effective Development Assistance