|
49351 Advanced Software Specification
| |
Danish title: Videregående programmelspecifikation
| |
| | Type: Å, Language: E |
|
Credit points:
5 point |
|
| | | Previous course: C4351 |
| Offered by:
Department of Information Technology
(IT) |
| No credit points with: C4351 |
| Prerequisite: 49238 |
| Recommended semester:
7th - 9th semester |
| Scope and form: Lectures, Group seminars |
| Examination:
Written exam
(13 point scale
) |
| Contact person: |
Dines Bjørner, IT, Building 345, Tel. +45 4525 3720 E-mail: db@it.dtu.dk |
|
| Aim: This course closely followa course 49328. Specification and stepwise refinement, from domain via requirements to software design, including verification of within and between steps, are central in the development also a large scale software systems. The course therefor aims at securing professional skills in this subject, including the ability to abstract and model. |
Contents: Domain, requirements, software architecture and program organisation techniques and calculi applied to large, tipically infrastructure systems such as transport systems (railways, air traffic, metropolitan and shipping), financial service enterprise (collection of the aforementioned), manufacturing industry (productioon enterprises and their competition and collaboration: the "market"), public and private administration, health care ect.).
Subjects include: specification techniques of domain facets ((i) such as rule & regulations and their coupling to man/machine behaviour, (ii) properties of support technology and their relation to safety, ect.), of stake-holder domain perspectives (computer systems operators, end users, other information technology, ect.), of requirements aspects and software views.
Other subjects include problem frames such as translation, reactice (control) systems, information systems, workpiece systems, connection, transaction and many other frames.
Finally the course covers modular and parameterised specification structuring techniques and techniques concerned with distributed and concurrent systems. |
|
|
