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 Fachnummer 654 - allgemeine Informationen
Fachnummer654
FakultätFakultät für Informatik und Automatisierung
Fachgebietsnummer2236 (System- und Software-Engineering)
Fachverantwortliche(r)Prof. Dr. Armin Zimmermann
SpracheDeutsch
TurnusSommersemester
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:

Spezifik im Studiengang Master Informatik 2009
FachnameTheoretische Aspekte der Softwaretechnik
Prüfungsnummer2200216
Leistungspunkte2
Präsenzstudium (h)22
Selbststudium (h)38
VerpflichtungWahlpflicht
Abschlussmündliche Prüfungsleistung, 20 Minuten
Details zum Abschluss
Anmeldemodalitäten für alternative PL oder SL

Pflichtevaluation:

Freiwillige Evaluation:

Hospitation:

max. Teilnehmerzahl

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