Differences

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

--- course_outline [2012/01/12 23:30] – jonathan
+++ course_outline [2012/04/04 14:23] (current) – jonathan
@@ Line 20: / Line 20: @@
 ===== Week 3 January 16=====
-Start at section 3, Dictionary
+Discussion of Assignment 1 - right margin justification. Discussed ambiguities and incompleteness in the specification. R-descriptions versus E-descriptions.
+ROI RD: Start at section 3, Dictionary. Mathematical Model for ROI.
+**Required Reading**: //Four Dark Corners of Requirements Engineering//, Zave and Jacskon. See SVN
+===== Rest of the syllabus=====
+  * Function tables (Parnas tables). Dell keyboard. Completeness, Disjointness and well-definedness.
+  * Unit testing tools for Java, C# and other languages. The V-diagram, Validation and Verification.
+  * Parnas on documentation and Jackson on Sofwtare Engineering.
+  * Structure of a requirements document. Context diagram. Atomic E and R-descriptions. Mathematical model. Links between atomic descriptions and Mathematical model. Acceptance tests. Tracability matrix. Developing acceptance tests from function tables as well as atomic descriptions.
+  * Requirements for safety critical systems. Fairness. Temporal logic. Modelchecking.