Eiffel The Language
Setting It All Up
Getting Started
Design and Documentation
Miscellaneous
- Old Site (login)
Eiffel The Language
Setting It All Up
Getting Started
Design and Documentation
Miscellaneous
The following two videos discuss the importance of Specifications (and thus DbC) for rigorous Engineering Design. Recall that licensed engineers must demonstrate2) that their products are safe and fit for use.3) See here for the role of specifications in industry for mission critical systems.
In the following two short introductory videos, our examples need to be very simple to grasp the underlying theory. We need to start with the simplest component before we start with the design and construction of more complex components. Although our examples must perforce be very simple for the purpose of illustration, Eiffel the language, the method and the tool – scale up to the design of very large industrial strength systems.
Video is about 25 minutes.
This video is a very basic introduction to Design By Contract (DbC). We present some simple “mystery code” and then show how a Specification (via DbC) is essential to unravel the mystery.
02-Specification-Mystery.pdf.Slides.