Differences

This shows you the differences between two versions of the page.

--- demo:simple [2020/04/23 21:28] – jonathan
+++ demo:simple [2020/04/29 18:18] (current) – jonathan
@@ Line 4: / Line 4: @@
   * [[https://youtu.be/eCVraeBKgiQ|Simple Mode Video]]
+  * [[http://code.eecs.yorku.ca|Access the IDE in a browwser]] (EECS or Passport York Login required)
 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.
@@ Line 17: / Line 18: @@
 ===== 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.
+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 (keyword **require**) and a postcondition (keyword **ensure**) as shown below.
 {{:demo:sqrt.png?600|}}