| |
| Previous course: C4338 |
| Offered by:
Department of Information Technology
(IT) |
| No credit points with: C4338 |
| Prerequisite: 49233/49232 |
| Recommended semester:
4th -7th semester |
| Scope and form: Lectures. Group exercises |
| Examination:
Written exam
(13 point scale
) |
| Contact person: |
Anne Haxthausen, IT, Building 345, Tel. +45 4525 7510 E-mail: ah@it.dtu.dk |
|
| Aim: To Introduce to formal specification languages, techniques and methods, and give them skills in abstraction and modelling. |
| Contents: Formal specification, starting with the specification language RSL (RAISE Specification Language). Introduction to various specification techniques: model-oriented versus algebraic; applicative versus imperative. Stepwise development and verification. Exercises in specification using a computer-based specification and development tool. |
