| Scope and form: Lectures, exercises and project work. |
| Evaluation: Approval of coursework/reports
|
| Examination: 13-scale |
| Previous course: 49238 |
| Prerequisites: 01016, 02260 |
| Aim: The aim of the course is to introduce the students to mathematically based methodsfor developing software systems and in particular giving skillsin exploring and writing formal specifications using various abstraction and modelling techniques. |
| Contents: Formal specification, starting with one or several typical examples ofspecification languages. Various specification techniques: model-oriented versusalgebraic; applicative versus imperative. Stepwise development and verification (formal proof). Implementation relations. Exercises in specification using a computer-based specification tool. Algebraic semantics of specification languages. |
| Contact: Anne Elisabeth Haxthausen, building 322, (+45) 4525 7510, ah@imm.dtu.dk |
| Department: 002 Informatics and Mathematical Modelling |
| Course URL: http://www.imm.dtu.dk/courses/02268 |
| Keywords: Abstraction and modelling, formal methods, formalspecification, stepwise development, verification |
| Updated: 11-12-2001 |
