CSE3342

User Tools

Site Tools

You are here: CSE3342 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
course_outline [2013/03/20 14:54] – jonathancourse_outline [2013/04/07 15:52] (current) – jonathan
Line 47: Line 47:
  
 We develop a phone book example by developing a mathematical model from informal E/R-descriptions. We discuss the importance and significance of the relation (and function) override operator. See slides "UsingRelations" in the SVN which includes: relations, relational image, relational inverse, domain and range restrictions and subtractions, and relational composition. We develop a phone book example by developing a mathematical model from informal E/R-descriptions. We discuss the importance and significance of the relation (and function) override operator. See slides "UsingRelations" in the SVN which includes: relations, relational image, relational inverse, domain and range restrictions and subtractions, and relational composition.
 +
 +===== More systems =====
 +
 +in the last two weeks of class we studied a train system and 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
course_outline.txt · Last modified: by jonathan