|
49351 Advanced Software Specification
| |
Danish title: Videregående programmelspecifikation
| |
Language: English
Credit points: 5 |
|
| Type: | Open University
Language: English |
| |
Previous course: C4351
| |
No credit points with: C4351
| |
| |
Prerequisite: 49238
| |
| |
Recommended semester: 7th - 9th semester
| |
Scope and form: Lectures, project discussions
| |
Examination: Evaluation of report(s) (13-scale)
| |
| |
| |
| |
URL: http://www.it.dtu.dk/c49351
| |
Department: Department of Information Technology
| |
Aim: This course closely follows 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.
|
|
|
