This is an old revision of the document!
Table of Contents
EiffelCode Simple Mode Quick Demo (DbC)
EiffelCode Simple Mode Demo (Design by Contract)
Below is a Demo of a Capstone Project by two students: Webapp for compiling/executing Eiffel programs with a selection of coding challenges illustrating Design by Contract.
<iframe width="560" height="315" src="https://www.youtube.com/embed/eCVraeBKgiQ" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>The above video demos the simple mode, but there is also a project and tutorial mode. It is more challenging to develop a robust web-app of this kind than a desktop application.
See More details of the student capstone features and design.
Design by Contract
In Design by Contract (developed by Bertrand Meyer), a software component has a mathematical specification that describes what the the component must do (free of implementation detail) and an implementation (one of possibly many) that describes how the specification is implemented. For example, the specification of a a square root function is described by a precondition and a postcondition as shown below.
There are of course many different implementations that might satisfy this specification.
A contract imposes obligations and benefits on the client (a component that uses the square root function) and the supplier (who must provide a body for the square root function).
