Differences

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

--- course_outline [2012/10/23 23:08] – jonathan
+++ course_outline [2012/11/28 19:55] (current) – jonathan
@@ Line 88: / Line 88: @@
     * model-checking and reachability graphs
     * temporal logic specifications
+    * safety properties and liveness properties
+    * discussion of the the bridge controller
+===== General Considerations =====
+This is covered in the slides in the SVN: Readings/ReqIntro-Alexander.pdf (based on the text in Steacie: Discovering Requirements (Alexander et.al). Stakeholders. Goals vs. Requirements. Context, interaction and scope. Scenarios. Priorities. Hazard/risk analysis. In Scenarios we reviewed how to use Use Cases and the include and extend relations.