Softwarekonstruktion II (Sommersemester 2003)
Lecturer:
General Information
- Weekly Hours: 4
- Credits: 6
- Graded:
yes
- Enrolment Deadline: 01.01.1970
- Teaching Form:
- Enrolment Type: Compulsory Elective Module
Programs
- IT-Systems Engineering BA
Description
Die Lehrveranstaltung behandelt schwerpunktmässig die sogenannten späten Phasen der Softwareentwicklung. Neben Test-, Analyse- und formalen Verifikationstechniken werden modellierende Ansätze zur Qualitätsanalyse von Software vorgestellt. Praktische Arbeiten mit Softwareentwicklungssystemen sind vorgesehen. Neben Techniken für funktional dekomponierend entwickelte Systeme werden Verfahren für die Objektorientierung diskutiert. Spezielle Techniken für technische Softwareanwendungen werden vorgestellt. Qualitätssichernde Prozesse und Standards werden diskutiert.
Literature
Liggesmeyer P., Software-Qualität: Test, Analyse und Verifikation von Software, Spektrum-Verlag Heidelberg, 2002
Examination
Im Anschluss an den Vorlesungszeitraum findet eine Klausur im Umfang von 180 min. statt. Als Hilfsmittel sind ein doppelseitig beschriftetes DIN A 4-Blatt und ein Taschenrechner zulässig. Für Kandidaten, die die Klausur nicht bestehen, wird eine mündliche Nachprüfung angeboten, in der die Möglichkeit besteht, die Note 4,0 zu erhalten.
Dates
Montags und Dienstags, 13.30 Uhr bis 15.00 Uhr, HPI HS 2
Erste Veranstaltung: Montag, 07.04.2002
Zurück
