| 02262 Formal Aspects of Software Engineering I |
| Danish title: Formelle aspekter af software engineering I |
|
Language: English ECTS-creditpoints: 10
|
|
|
Exam schedule:
|
F4-B (jun 06 2002), E4-B (dec 19 2001) |
| Scope and form: Lectures, exercises and project work. |
Evaluation: Approval of coursework/reports
For the report project to be evaluated, one or more exercises have to be passed in the course of the term. |
| Examination: 13-scale |
| Previous course: 49238 |
| Prerequisites: 01016 |
| Aim: The aim of the course is to introduce participants to mathematically based methods for developing software systems, and in particular to give them skills in using and writing formal specifications using various abstraction and modelling techniques. |
Contents: Formal specification, starting with one or more typical examples of specification languages. Introduction to various specification techniques: model-oriented versus algebraic; applicative versus imperative; process-oriented modelling (as in CSP). Stepwise
development and verification (formal proof). Implementation relations. Solution of exercises in specification using computer based specification tools. Domain and requirements specifications and
development techniques used in large, typical infrastructure systems
such as transport systems, institutions in the financial sector, manufacturing industry, public and private administration, health
service etc. |
Contact: Anne Elisabeth Haxthausen, building 322, (+45) 4525 7510, ah@imm.dtu.dk
Dines Bjørner, building 322, (+45) 4525 3720, db@imm.dtu.dk |
| Department: 002 Informatics and Mathematical Modelling |
| Course URL: http://www.imm.dtu.dk/courses/02262 |
| Keywords: Abstraction and modelling, formal methods, formalspecification, domain, requirement and software descriptions |
| Updated: 14-01-2002 |
|
|
