course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| course_outline [2012/04/04 14:23] – jonathan | course_outline [2012/04/04 14:23] (current) – jonathan | ||
|---|---|---|---|
| Line 30: | Line 30: | ||
| * Function tables (Parnas tables). Dell keyboard. Completeness, | * Function tables (Parnas tables). Dell keyboard. Completeness, | ||
| * Unit testing tools for Java, C# and other languages. The V-diagram, Validation and Verification. | * 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. | * 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. | * Requirements for safety critical systems. Fairness. Temporal logic. Modelchecking. | ||
course_outline.txt · Last modified: 2012/04/04 14:23 by jonathan