| |
| Previous course: C4351 |
| Offered by:
Department of Information Technology
(IT) |
| No credit points with: C4351 |
| Prerequisite: 49238/C4338 |
| Recommended semester:
7th - 9th semester |
| Scope and form: Lectures and presentation of reports. Seminar course where students give lectures themselves. |
| Examination:
Evaluation of report (½) and oral presentation (½) which must be passed separately
(
pass/fail
) |
| Contact person: |
Bo Stig Hansen, IT, Building 344, Tel. +45 4525 3735E-mail: bsh@it.dtu.dk |
|
| Aim: To give insight in the application of formal specification languages as a tool in the software development process. |
| Contents: The specific topics may change from year to year, but typically they will cover a wide spectrum ranging from domain analysis and requirements specification to software design and implementation. |
