Differences

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

--- course_outline [2017/04/03 04:15] – jonathan
+++ course_outline [2018/01/03 02:03] (current) – jonathan
@@ Line 4: / Line 4: @@
 ===== Introduction =====
+Use this small project to get started with Event-B and the Rodin tool
   * {{:01-intro-bank.pdf|Simple Bank System}}. Introduction to Specification and Refinement.
+  * [[https://youtu.be/aROKK2HKhog|Video Presentation]]
@@ Line 74: / Line 79: @@
 ===== Exam Preparation =====
+The following examples are unlikely to be on the exam.
 Develop a phone book example by developing a mathematical model from informal E/R-descriptions. Relations, Functions and the override operator, relational image, relational inverse, domain and range restrictions and subtractions, and relational composition.
@@ Line 87: / Line 94: @@
   *R2: A doctor shall not prescribe two drugs that interact
   *Goal:  minimize the number of undesirable interactions