| |
| Previous course: C4338 |
| Offered by:
Department of Information Technology
(IT) |
| No credit points with: C4338 |
| Prerequisite: 49232/C4332 |
| Recommended semester:
4th -7th semester |
| Scope and form: Lectures. Group exercises |
| Examination:
Written exam
(13 point scale
) |
| Contact person: |
Bo Stig Hansen, IT, Building 344, Tel. +45 4525 3735E-mail: bsh@it.dtu.dk |
|
| Aim: Introduction to formal specification languages, techniques and methods. |
| Contents: Formal specification, starting with the specification language RSL (RAISE Specification Language). Introduction to various specification techniques: model-oriented versus algebraic (property oriented); applicative versus imperative; sequential versus parallel. Structure mechanisms. Stepwise development and verification. Exercises in specification using a computer-based specification and development tool. |
