Hochschulschrift
Methodology and machine support for the application of formal techniques in software engineering
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
IV, 226 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Berlin, Techn. Univ., Habil.-Schr., 1997
- Keyword
-
Software Engineering
Formale Spezifikationstechnik
Technisches System
Risiko
Technische Sicherheit
Softwareentwicklung
Formale Spezifikationstechnik
Softwareentwicklung
Softwarearchitektur
Entwurfsmuster
LOTOS
Softwarewiederverwendung
CASE
Softwarespezifikation
- Creator
-
Heisel, Maritta
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:42 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Heisel, Maritta
Other Objects (12)
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal integration of software engineering aspects
Formal methods and software engineering : proceedings
Formal foundations for software engineering methods
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Towards a comprehensive agent oriented software engineering methodology
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal integration of software engineering aspects
Formal methods and software engineering : proceedings
Formal foundations for software engineering methods
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Towards a comprehensive agent oriented software engineering methodology
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal integration of software engineering aspects
Formal methods and software engineering : proceedings
Formal foundations for software engineering methods
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings