Differences

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

--- course_outline [2016/04/19 22:21] – jonathan
+++ course_outline [2016/04/19 22:22] (current) – jonathan
@@ Line 67: / Line 67: @@
 See slides 12. Method for systematic development correct-by-construction reactive systems.
+===== Exam Preparation =====
+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. See slides 13.
+Develop an Event-B project for an EHealth medication system.
+For the EHealth system the requirements were:
+  *E1: a set of doctors prescribes drugs to a set of patients
+  *E2: there exists pairs of drugs that when taken together have undesirable interactions
+  *E3: Drug interaction is symmetric, i.e. if a drug interacts with another, then the reverse also applies
+  *R1: A doctor shall be capable of adding drugs to a patients’ prescription.
+  *R2: A doctor shall not prescribe two drugs that interact
+  *Goal:  minimize the number of undesirable interactions
-===== Grades =====
-  * [30%] Weekly quizzes. There will be about 8 weekly quizzes (almost every week). The first 2 quizzes each count 3%. The last 6 quizzes each count 4%. On condition that the Lab work is completed. Quizzes will be based on the Labs, lectures and required readings of the preceding weeks.
-  * [15%] LabTest after reading week.
-  * [15%] Project (working in a team of no more than two students)
-  * [40%] Final exam
-It is required that you attend and complete the work allocated in the weekly Lab session in preparation for the Quizzes, Labtest, Project and Exam. <hi> Labs must be completed by their due date in order for you to receive credit for the Quizzes</hi>