| |
| Previous course: C4388 |
| Offered by:
Department of Information Technology
(IT) |
| No credit points with: C4388 |
| Prerequisite: 49238/C4338/49351/C4351 |
| Recommended semester:
4th -7th semester |
| Scope and form: Exercises |
| Examination:
Evaluation of report(s)
(
pass/fail
) |
| Remarks: The topics may change from year to year. |
| Contact person: |
Bo Stig Hansen, IT, Building 344, Tel. +45 4525 3735E-mail: bsh@it.dtu.dk |
|
| Aim: To give students practical experience in the development of formal specifications and systematic refinement of these. |
| Contents: Individual problems in specification and/or refinement, e.g., in the areas of programming languages, operating systems, database systems. |
