Differences

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

--- start [2014/09/14 16:16] – jonathan
+++ start [2014/10/02 00:56] (current) – jonathan
@@ Line 1: / Line 1: @@
 ~~NOTOC~~
-====== EECS4312  Fall 2014: Software Requirements Engineering======
+====== EECS4312  Fall 2014: Software Engineering Requirements======
-**Fall 2014: CSE4312 -- Software Requirements Engineering**
+**Fall 2014: CSE4312 -- Software Engineering Requirements**
 Please __**login**__ at the bottom of this page before proceeding.
@@ Line 13: / Line 13: @@
   * Tuesdays & Thursdays 4pm-5.30pm
     * Tuesday lectures are to be held in SC303
-    * Thursday lectures are to be held in CB120. However, some of Thursday lectures will be in the Prism Lab -- LAS 1002. Precise details to follow at this location.
+    * Thursday lectures are to be held in <del>CB120</del> BC215. However, some of Thursday lectures will be in the Prism Lab -- LAS 1002. Precise details to follow at this location.
     * There will be an informal lab/tutorial every Thursday in LAS1002 from 1pm to 2.30pm
@@ Line 30: / Line 29: @@
     * Describe the non-functional requirements
     * Prove that the functional requirements are complete, disjoint and well-defined
-    * Validate the functional requirements by proving that they preserve safety properties (derived from such methods as hazards analysis) and prove that use cases satisfy the function tables
     * Provide a complete set of use cases and corresponding acceptance tests so that each requirement is a verifiable contract of customer needs
+    * Validate the functional requirements by proving that they preserve safety properties (derived from such methods as hazards analysis) and prove that the use cases satisfy the function tables
 A work-intensive project will allow students to apply their knowledge to a small but non-trivial example.