Differences

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

--- course_outline [2016/04/19 22:21] – jonathan
+++ course_outline [2017/12/27 18:17] (current) – jonathan
@@ Line 2: / Line 2: @@
 The course outline is a guideline to topics that will be discussed in the course, and when they will be discussed:
+===== 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]]
 ===== Reactive systems: Bridge =====
@@ Line 56: / Line 63: @@
 ===== TLA+ Thinking for Programmers =====
+[[http://lamport.azurewebsites.net/video/videos.html|TLA Videos]]
 See slides 11: Thinking for Programmers. Leslie Lamport's TLA+ specification tool, its use at Amazon and for MS/Xbox 360. Thinking for programmers. QuickSort at the algorithmic level as a divide and conquer algorithm rather than a program. The algorithm can be refined to a recursive implementation, an iterative implementation and a concurrent implementation.
@@ Line 69: / Line 78: @@
 ===== 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.
+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 82: / Line 93: @@
   *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>