Reusable Mathematical Models
Tobias Widmer
Broschiertes Buch

Reusable Mathematical Models

Making Software Specifications Complete Through Models

Versandkostenfrei!
Versandfertig in 1-2 Wochen
39,99 €
inkl. MwSt.
PAYBACK Punkte
20 °P sammeln!
Revision with unchanged content. 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 la...