Reusable Mathematical Models
Making Software Specifications Complete Through Models
(Sprache: Englisch)
Mathematically proving programs is hard and time-consuming. Although there exist a number of formal approaches to software engineering, they do not leverage the most beneficial concept in software engineering: Reuse of software elements, not only in terms...
Leider schon ausverkauft
versandkostenfrei
Buch
59.00 €
Produktdetails
Produktinformationen zu „Reusable Mathematical Models “
Mathematically proving programs is hard and time-consuming. Although there exist a number of formal approaches to software engineering, they do not leverage the most beneficial concept in software engineering: Reuse of software elements, not only in terms of functionality, but also as mathematically proven units.
In this book we develop a framework of reusable mathematical models for EIFFEL contracts, enabling rigorous reusable specifications using the Design by Contract(TM) method. We introduce the Intermediate Functional Language (IFL), based on the EIFFEL language and specifically designed to support high-level mathematical structures. To give a proof of concept, we complete specifications for parts of the ISE EiffelBase library. The principal contribution of this book is the Mathematical Model Library (MML) that enables powerful and expressive model contracts in IFL. We present tools that help extracting proof obligations from specifications.
This book addresses advanced software engineers and researchers interested in automatic proofs of programs and components, as well as software developers focusing on processes of specifying complex software systems.
Klappentext zu „Reusable Mathematical Models “
Mathematically proving programs is hard and time-consuming. Although there exist a number of formal approaches to software engineering, they do not leverage the most beneficial concept in software engineering: Reuse of software elements, not only in terms of functionality, but also as mathematically proven units.In this book we develop a framework of reusable mathematical models for EIFFEL contracts, enabling rigorous reusable specifications using the Design by Contract(TM) method. We introduce the Intermediate Functional Language (IFL), based on the EIFFEL language and specifically designed to support high-level mathematical structures. To give a proof of concept, we complete specifications for parts of the ISE EiffelBase library. The principal contribution of this book is the Mathematical Model Library (MML) that enables powerful and expressive model contracts in IFL. We present tools that help extracting proof obligations from specifications.
This book addresses advanced software engineers and researchers interested in automatic proofs of programs and components, as well as software developers focusing on processes of specifying complex software systems.
Autoren-Porträt von Tobias Widmer
Tobias Widmer, MSc ETH:Computer Science Studies at Swiss Federal Institute of Technology (ETH), Software Engineer at IBM Rational Research Lab, Zürich.
Bibliographische Angaben
- Autor: Tobias Widmer
- 2008, 152 Seiten, Maße: 17 x 23,9 cm, Kartoniert (TB), Englisch
- Verlag: VDM Verlag Dr. Müller
- ISBN-10: 3836466732
- ISBN-13: 9783836466738
Sprache:
Englisch
Kommentar zu "Reusable Mathematical Models"
0 Gebrauchte Artikel zu „Reusable Mathematical Models“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Reusable Mathematical Models".
Kommentar verfassen