Technische Universität Ilmenau

Theoretische Aspekte der Softwaretechnik - Modultafeln der TU Ilmenau

Die Modultafeln sind ein Informationsangebot zu unseren Studiengängen. Rechtlich verbindliche Angaben zum Verlauf des Studiums entnehmen Sie bitte dem jeweiligen Studienplan (Anlage zur Studienordnung). Bitte beachten Sie diesen rechtlichen Hinweis. Angaben zum Raum und Zeitpunkt der einzelnen Lehrveranstaltungen entnehmen Sie bitte dem aktuellen Vorlesungsverzeichnis.

Fachinformationen zu Theoretische Aspekte der Softwaretechnik im Studiengang Master Informatik 2009
Fachnummer654
Prüfungsnummer2200216
Fakultät
Fachgebietsnummer 2236 (System- und Software-Engineering)
Fachverantwortliche(r)Prof. Dr. Armin Zimmermann
TurnusSommersemester
SpracheDeutsch
Leistungspunkte2
Präsenzstudium (h)22
Selbststudium (h)38
VerpflichtungWahlpflicht
Abschlussmündliche Prüfungsleistung, 20 Minuten
Details zum Abschluss
max. Teilnehmerzahl
VorkenntnisseBachelor Informatik
LernergebnisseVermittlung 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.
InhaltEs 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.
MedienformenVorlesung, unterstützt durch projezierte Folien (Beamer erforderlich), Lehrmaterial: Handzettel der Folien (komprimiert, 6F/A4-Seite)
LiteraturJedes Kapitel enthält spezifische Literaturangaben
Lehrevaluation

Pflichtevaluation:

Freiwillige Evaluation:

Hospitation:

Informationen und Handreichungen zur Pflege von Modul- und Fachbeschreibungen durch den Modul- oder Fachverantwortlichen finden Sie auf den Infoseiten zum Modulkatalog.