| Type: | Open University
Language: English |
|
|
Previous course: C4388
|
|
No credit points with: C4388
|
|
|
|
Prerequisite: 49238/49351
|
|
|
|
Recommended semester: 4th -7th semester
|
|
Scope and form: Exercises
|
|
Examination: Evaluation of report(s) (Pass/fail)
|
|
Participant limitation: max. 20
|
|
Remarks: The topics may change from year to year.
|
|
|
|
URL: http://www.it.dtu.dk/c49248
|
|
Department: Department of Information Technology
|
|
Aim: To give students practical experience in the development of formal specifications and systematic refinement of these.
|
|
Contents: Individual problems in continuation of one of the prerequisite courses. Possible topics could be modelling of an application domain like the transportation sector, and specification and stepwise refinement of an application.
|
