Mechanizing the Transformation of Higher-Order Algebraic Specification for the Development of Software Systems.

S. Magnussen

Abstract

The quality of software systems depends on many criteria. Choosing an adequate software process model is essential in meeting quality requirements. When aiming at a rigorous mathematical notion of correctness, formal software development provides an appropriate process model, which ensures that the implementation fulfills the requirements given by a formal specification. The stepwise derivation by transformations represents one approach to formal system development that can be supported by computers.\\ This book first introduces a sound framework for the mechanizable transformation of formal specifications. The framework comprises a specification language, a formal development method and various mechanizable transformation rules. It is then illustrated how the framework is implemented in the Lübeck Transformation System LTS -- a tool for the interactive development of software systems.
OriginalspracheEnglisch
QualifikationDoctorate
Gradverleihende Hochschule
Herausgeber (Verlag)
ISBN's (print)978-3-8325-0152-5
PublikationsstatusVeröffentlicht - 2003
Extern publiziertJa

Fingerprint

Untersuchen Sie die Forschungsthemen von „Mechanizing the Transformation of Higher-Order Algebraic Specification for the Development of Software Systems.“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren