Hochschulschrift
Transformations of specifications and proofs to support an evolutionary formal software development
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Erscheinungsjahr an der Haupttitelstelle: 2005
Saarbrücken, Univ., Diss., 2006
- Schlagwort
-
Softwarespezifikation
Algebraische Spezifikation
Evolutionäre Systementwicklung
Automatisches Beweisverfahren
Graphersetzungssystem
Semantikerhaltende Transformation
Softwareentwicklung ; Transformation ; Softwarespezifikation
- Urheber
-
Schairer, Axel
- URN
-
urn:nbn:de:bsz:291-scidok-6659
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 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
- Schairer, Axel
Ähnliche Objekte (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
Computable Short Proofs
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
Computable Short Proofs
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
Computable Short Proofs