Softwarekonstruktion II (Sommersemester 2002)
Dozent:
Allgemeine Information
- Semesterwochenstunden: 4
- ECTS: 6
- Benotet:
Ja
- Einschreibefrist: 01.01.1970
- Lehrform:
- Belegungsart: Wahlpflichtmodul
Studiengänge
- IT-Systems Engineering BA
Beschreibung
Die Lehrveranstaltung behandelt schwerpunktmässig die sogenannten späten Phasen der Softwareentwicklung. Neben Test-, Analyse- und formalen Verifikationstechniken werden modellierende Ansätze 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. Die Lehrveranstaltung wird als Vorlesung mit Übungen durchgeführt.
Literatur
- Beizer B., Software Testing Techniques, New York: Van Nostrand Reinhold 1990
- Balzert H., Lehrbuch der Software-Technik, Band 2: Software-Management, Software-Qualitätssicherung, Unternehmensmodellierung, Heidelberg: Spektrum Akademischer Verlag 1997
- Birolini A., Qualität und Zuverlässigkeit technischer Systeme: Theorie, Praxis, Management, Berlin: Springer 1991
- Gilb T., Graham D., Software Inspection, Menlo Park: Addison-Wesley 1993
- Liggesmeyer P., Modultest und Modulverifikation - State of the Art, Mannheim, Wien, Zürich: BI Wissenschaftsverlag 1990
- Liggesmeyer P., Qualitätssicherung softwareintensiver technischer Systeme, Heidelberg: Spektrum Akademischer Verlag 2000
- Zuse H., Software Complexity - Measures and Methods, Berlin, New York: De Gruyter 1991
Leistungserfassung
Den Leistungserfassungsprozess regelt ein separater Aushang.
Termine
- Vorlesung: Prof. Dr.-Ing. Peter Liggesmeyer
- Übungen: Die wissenschaftlichen Mitarbeiter des Fachgebiets "Softwaretechnik"
- Termine und Ort:
- Montags, 11:00 Uhr bis 12:30 Uhr, HPI HS3
- Dienstags, 13:15 Uhr bis 14:45 Uhr, HPI HS3
- Erste Veranstaltung: Montag, 08.04.2002
Zurück
