course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| course_outline [2012/01/19 04:02] – jonathan | course_outline [2012/04/04 14:23] (current) – jonathan | ||
|---|---|---|---|
| Line 26: | Line 26: | ||
| **Required Reading**: //Four Dark Corners of Requirements Engineering//, | **Required Reading**: //Four Dark Corners of Requirements Engineering//, | ||
| + | ===== Rest of the syllabus===== | ||
| + | * Function tables (Parnas tables). Dell keyboard. Completeness, | ||
| + | * 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. | ||
course_outline.1326945773.txt.gz · Last modified: 2012/01/19 04:02 by jonathan