EECS3342

User Tools

Site Tools

You are here: EECS3342 2017W System Specification and Refinement » Course Outline
Trace:
course_outline

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
course_outline [2017/04/03 04:15] – jonathancourse_outline [2017/12/27 18:17] (current) – jonathan
Line 4: Line 4:
  
 ===== Introduction ===== ===== Introduction =====
-  * {{:01-intro-bank.pdf|Simple Bank System}}. Introduction to Specification and Refinement.  
  
 +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 ===== ===== Reactive systems: Bridge =====
Line 74: Line 77:
  
 ===== Exam Preparation ===== ===== 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.  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 92:
   *R2: A doctor shall not prescribe two drugs that interact   *R2: A doctor shall not prescribe two drugs that interact
   *Goal:  minimize the number of undesirable interactions   *Goal:  minimize the number of undesirable interactions
- 
  
course_outline.1491192939.txt.gz · Last modified: by jonathan