User Tools

Site Tools


demo:simple

This is an old revision of the document!


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.

demo/simple.1587676881.txt.gz · Last modified: 2020/04/23 21:21 by jonathan

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki