Reusable Mathematical Models: Making Software Specifications Complete Through Models - Tobias Widmer
-20% with code BOOKS
Shipping in 12-18 days
30-day return policy
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 m ... Full description
You May Also Like
TOP
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Eliezer Yudkowsky, Nate Soares
-20% with code BOOKS
In stock at our supplier
TOP
Gödel, Escher, Bach: An Eternal Golden Braid
-20% with code BOOKS
In stock at our supplier
TOP
AI Engineering: Building Applications with Foundation Models
-20% with code BOOKS
In stock at our supplier
TOP
Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI
-20% with code BOOKS
In stock at our supplier
TOP
The Rust Programming Language
Steve Klabnik, Carol Nichols, Chris Krycho
-20% with code BOOKS
In stock at our supplier
TOP
The Art of Game Design: A Book of Lenses
-20% with code BOOKS
In stock at our supplier
TOP
How To Think About AI: A Guide For The Perplexed
-20% with code BOOKS
In stock at our supplier
TOP
The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition
-20% with code BOOKS
In stock at our supplier
TOP
HBR Guide to Generative AI for Managers
-20% with code BOOKS
In stock at our supplier
TOP
Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution
-20% with code BOOKS
In stock at our supplier
TOP
The Web Application Hacker's Handbook: Discovering and Exploiting Security Flaws
-20% with code BOOKS
In stock at our supplier
TOP
How Linux Works: What Every Superuser Should Know
-20% with code BOOKS
In stock at our supplier
TOP
Fundamentals of Software Architecture: A Modern Engineering Approach
-20% with code BOOKS
In stock at our supplier
TOP
Speak Data: Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers
-20% with code BOOKS
In stock at our supplier
TOP
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali
-20% with code BOOKS
In stock at our supplier
TOP
Deep Learning: Foundations and Concepts
Christopher M. Bishop, Hugh Bishop
-20% with code BOOKS
In stock at our supplier
TOP
Mathematics for Machine Learning
Cheng Soon Ong, A. Aldo Faisal, Marc Peter Deisenroth
-20% with code BOOKS
In stock at our supplier
TOP
Artificial Intelligence: A Modern Approach, Global Edition
-20% with code BOOKS
In stock at our supplier
Description
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 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.
More Information
| Author | Tobias Widmer |
|---|---|
| Publisher | AV Akademikerverlag |
| Release year | 2012 |
| Cover type | Softcover |
| EAN | 9783639441567 |