| Type: | Open University
Language: English |
|
|
Previous course: C4338
|
|
No credit points with: C4338
|
|
|
|
Prerequisite: 49233/49232
|
|
|
|
Recommended semester: 4th -7th semester
|
|
Scope and form: Lectures. Group exercises
|
|
Examination: Written exam (13-scale)
|
|
|
|
|
|
|
|
URL: http://www.it.dtu.dk/c49238
|
|
Department: Department of Information Technology
|
|
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.
|
