| 02262 Formal Aspects of Software Engineering |
| Danish title: Formelle aspekter af programmelkonstruktion |
|
Language: English ECTS-creditpoints: 10
|
|
| Type: civil engineering course |
|
Exam schedule:
|
F5-B (Jun 08 2002), E5-B (Dec 21 2001) |
| Scope and form: Lectures, exercises and project work. |
| Evaluation: Approval of coursework/reports
|
| Examination: 13-scale |
| Prerequisites: 01016, 02260 |
| Aim: The aim of the course is to give skills in mathematically based methodsfor developing software systems. The students are introduced to formalspecification languages and techniques, including abstraction andmodelling. |
| Contents: Formal specification, starting with one or several typical examples ofspecification languages.Introduction to various specification techniques: model-oriented versusalgebraic; applicative versus imperative.Stepwise development and verification.Exercises in specification using a computer-based specification anddevelopment tool.Domain, requirements, software architecture and program organisationspecifications and development techniques and calculi applied to large,typically infrastructure systemssuch as transport systems (railways, air traffic, metropolitan andshipping),financial service enterprises (banks, stock exchange and assuranceenterprises),manufacturing industry (production enterprises and their collaborationand competition: the "market"), public and private administration,health care ect.. |
| Contact: Dines Bjørner, building 322, (+45) 4525 3720, db@imm.dtu.dk |
| Course URL: http://www.imm.dtu.dk/courses/02262 |
|
|
