Hochschulschrift
Transformations of specifications and proofs to support an evolutionary formal software development
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Erscheinungsjahr an der Haupttitelstelle: 2005
Saarbrücken, Univ., Diss., 2006
- Keyword
-
Softwarespezifikation
Algebraische Spezifikation
Evolutionäre Systementwicklung
Automatisches Beweisverfahren
Graphersetzungssystem
Semantikerhaltende Transformation
Softwareentwicklung ; Transformation ; Softwarespezifikation
- Creator
-
Schairer, Axel
- URN
-
urn:nbn:de:bsz:291-scidok-6659
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
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
- Schairer, Axel
Other Objects (12)
Operation refinement proofs for VDM-like specifications
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Encoding induction in correctness proofs of program transformations as a termination problem
Proofs of program properties via unfold, fold transformations of constraint logic programs
Graphical support for prototyping of algebraic specifications by GVT
Verifying OCL specifications of UML models : tool support and compositionakity
Evolutionary transformations of the reproductive system in Eubrachyura (Crustacea: Decapoda)
Reusing Proofs
Proofs and Provability
Generating Multilingual Proofs
Operation refinement proofs for VDM-like specifications
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Encoding induction in correctness proofs of program transformations as a termination problem
Proofs of program properties via unfold, fold transformations of constraint logic programs
Graphical support for prototyping of algebraic specifications by GVT
Verifying OCL specifications of UML models : tool support and compositionakity
Evolutionary transformations of the reproductive system in Eubrachyura (Crustacea: Decapoda)
Reusing Proofs
Proofs and Provability
Generating Multilingual Proofs
Operation refinement proofs for VDM-like specifications
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Encoding induction in correctness proofs of program transformations as a termination problem
Proofs of program properties via unfold, fold transformations of constraint logic programs
Graphical support for prototyping of algebraic specifications by GVT
Verifying OCL specifications of UML models : tool support and compositionakity
Evolutionary transformations of the reproductive system in Eubrachyura (Crustacea: Decapoda)
Reusing Proofs
Proofs and Provability