Technische Universität Ilmenau

Theoretical Aspects of Softwar Engineering - Modultafeln of TU Ilmenau

The Modultafeln have a pure informational character. The legally binding information can be found in the corresponding Studienplan and Modulhandbuch, which are served on the pages of the course offers. Please also pay attention to this legal advice (german only). Information on place and time of the actual lectures is served in the Vorlesungsverzeichnis.

subject properties subject number 654 - common information
subject number654
departmentDepartment of Computer Science and Automation
ID of group2236 (Systems and Software Engineering Group)
subject leaderProf. Dr. Armin Zimmermann
languageDeutsch
term Sommersemester
previous knowledge and experienceBachelor Informatik
learning outcomeVermittlung der Grundkenntnisse einer theoretisch basierten Softwaretechnik mit dem Anspruch einen Entwicklungsprozess für Qualitätssoftware zu bieten.
Der Hörer lernt, wie eine sequenzbasierte Spezifikation für ein SWS zu erstellen ist und wie aus dieser Spezifikation ein komponentenorientierter verifizierbarer Entwurf und die Implementierung des SWS ableitbar sind.
contentEs wird der gesamte Entwicklungszyklus eines Softwaresystems (SWS) von der Spezifikation über den komponentenorientierten Entwurf bzw. die Implementierung bis zur Korrektheitsverifikation auf der Grundlage neuester Forschungsergebnisse und langjähriger praktischer Erfahrungen dargelegt. Die Herangehensweise beruht auf der Anwendung der allgemeinen Systemtheorie auf SWS und bietet durch Einsatz verschiedener einfacher mathematischer Methoden einen fundierten Ansatz, wie ein SWS zu entwickeln ist. Die bestehenden Probleme des Softwareengineering werden aufgezeigt und wie sie mit dem gebotenen Ansatz verringert werden können.
media of instructionVorlesung, unterstützt durch projezierte Folien (Beamer erforderlich), Lehrmaterial: Handzettel der Folien (komprimiert, 6F/A4-Seite)
literature / referencesJedes Kapitel enthält spezifische Literaturangaben
evaluation of teaching

Pflichtevaluation:

Freiwillige Evaluation:

Hospitation:

Details in major Master Informatik 2009
subject nameTheoretical Aspects of Softwar Engineering
examination number2200216
credit points2
on-campus program (h)22
self-study (h)38
Obligationobligatory elective
examoral examination performance, 20 minutes
details of the certificate
Signup details for alternative examinations

Pflichtevaluation:

Freiwillige Evaluation:

Hospitation:

maximum number of participants