Universität Stuttgart Institut für Automatisierungs- und Softwaretechnik Prof. Dr.-Ing. Dr. h. c. P. Göhner. Softwaretechnik II. Sommersemester 2015

Transkript

1 Universität Stuttgart Institut für Automatisierungs- und Softwaretechnik Prof. Dr.-Ing. Dr. h. c. P. Göhner Softwaretechnik II Sommersemester

2 Ansprechpartner für Softwaretechnik II Bei organisatorischen Fragen zur oder bei Problemen mit dem Ablauf der Vorlesung Softwaretechnik II wenden Sie sich bitte an: Dr.-Ing. Nasser Jazdi Zimmer: (Pfaffenwaldring 47, 2. Stock am IAS) Tel.:

3 Unterlagen Skript Softwaretechnik II Blaue Texte zum Mitschreiben (im Skript nicht enthalten) Live-Mitschriebe (leere Folien im Skript für Mitschrieb vorgesehen) Fragen am Ende jedes Unterkapitels - Antwort zum Mitschreiben Vorbereitungsfragen am Ende jedes Kapitels zur selbstständigen Rekapitulation des Stoffes Vorlesungsportal im Internet unter: Aktuelle Informationen zur Vorlesung Vollständige Vorlesungsunterlagen Übungsunterlagen Aufgaben mind. eine Woche vor Übungstermin Lösungen nach dem Übungstermin Prüfungsunterlagen Musterlösungen im Internet und auf der Vorlesungs-CD erhältlich Lecturnity-Aufzeichnungen von Vorlesungen und Übungen (auch als Podcast)

4 MOFIAS: Mobiles Online-Feedback-System für Lehrveranstaltungen am IAS MOFIAS ist eine plattformunabhängige Web-App für Smartphones. IAS-Studierende können live während einer Vorlesung über das Smartphone mit dem Dozenten interagieren. Folgende Funktionen sind verfügbar: Fragen / Kommentare an Dozenten senden Geschwindigkeit der Vorlesung beeinflussen Fragen zum Kapitel beantworten Die Vorlesung bewerten Zugriff über: Video: MOFIAS Live Stream: Das Beamerbild und der Ton zu dieser Vorlesung werden, während die Vorlesung stattfindet, live ins Internet übertragen. Studierende können während der Vorlesung mit MOFIAS über das Internet Fragen stellen

5 Vorlesungstermine Nr. Termin Thema der Vorlesung Konfigurationsmanagement * Konfigurationsmanagement / Prototyping Prototyping * Metriken bei der Softwareentwicklung Metriken / Formale Methoden Formale Methoden/ Wartung & Pflege von Software Wartung & Pflege von Software / Reengineering Reengineering Reengineering / Datenbanksysteme Datenbanksysteme/ Software-Wiederverwendung Software-Wiederverwendung Agentenorientierte Softwareentwicklung Agile Softwareentwicklung (*) Vorlesung anstatt Übung

6 Übungstermine Nr. Termin Thema der Übung Konfigurationsmanagement Metriken Sichere Software (1) Sichere Software (2) * Wartung Reengineering Datenbanksysteme Datenbanksysteme Workshop DB (praktische Übung am PC) Komponentenbasierter Entwurf * Agentenbasierter Entwurf Agentenbasierter Entwurf * Agentenbasierter Entwurf Prüfungsbesprechung (*) Übung anstatt Vorlesung

7 Ziele der Vorlesung Softwarequalität für technische Systeme verstehen Konfigurationsmanagement in Software-Projekten einsetzen Prototyping bei der Softwareentwicklung realisieren Geeignete Metriken einsetzen, um Eigenschaften von Software hinsichtlich der Erfüllung von Anforderungen zu beurteilen und den Entwicklungsprozess zu verbessern Qualitativ hochwertige Software mittels formalen Methoden entwickeln Softwaretechniken für bestehende technische Systeme kennen Wissen, wie Software gewartet und gepflegt wird Reengineering anwenden, um Leistungsindikatoren wie Kosten, Qualität, Service und Geschwindigkeit zu verbessern Aktuelle Themen der Softwaretechnik kennen lernen Datenbanken, Software-Wiederverwendung, Agenten in der Automatisierungstechnik und agile Methoden verstehen und einsetzen

8 Bezug zu anderen Vorlesungen der Fakultät: Vertiefung einzelner Themen in Implementierung von Datenbanken und Informationssystemen Softwaretechnik II Methoden & Werkzeuge des SW- Engineerings Grundkenntnisse aus Softwaretechnik I Logik Formale Methoden Informatik I, II Technische Informatik I Programmierübungen I, II

9 Inhaltsverzeichnis (1) 1 Konfigurationsmanagement 1.1 Definition und Abgrenzung von Konfigurationsmanagement 1.2 Objekte des Konfigurationsmanagements 1.3 Aufgaben und Abläufe im Konfigurationsmanagement 1.4 Werkzeuge 1.5 Hinweise für die Praxis 2 Prototyping bei der Softwareentwicklung Grundlagen Prototyping Grundlagen Prototyping 2.3 Prototyping im Entwicklungsprozess 2.4 Prototyping-Werkzeuge 2.5 Hinweise für die Praxis 3 Metriken bei der Softwaretechnik 3.1 Einführung und Übersicht 3.2 Softwaremaße bei der Qualitätssicherung 3.3 Komplexitätsmaße 3.4 Auswerte- und Validierungsmechanismen für Software-Maße 3.5 Werkzeugsysteme zur automatischen Ermittlung von Softwaremaßen 3.6 Hinweise für die Praxis

10 Inhaltsverzeichnis (2) 4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software 4.1 Wozu formale Methoden? 4.2 Grundlagen der formalen Spezifikation und Verifikation 4.3 Vorgehensweise bei der formalen Softwareentwicklung 4.4 Modelchecker SMV 4.5 Hinweise für die Praxis 5 Wartung & Pflege von Software 5.1 Aspekte bei der Pflege von Softwaresystemen 5.2 Aufgaben und Aufwand 5.3 Effiziente Wartung und Pflege 5.4 Moderne Softwarepflege 5.5 Rechnerunterstützung bei der Pflege von Softwaresystemen 5.6 Hinweise für die Praxis 6 Reengineering 6.1 Warum Software Reengineering? 6.2 Reverse Engineering 6.3 Respezifikation 6.4 Redokumentation 6.5 Programmtransformation 6.6 Hinweise für die Praxis

11 Inhaltsverzeichnis (3) 7 Datenbanksysteme 7.1 Einführung in Datenbanksysteme 7.2 Relationale Datenbanksysteme 7.3 SQL 7.4 Entwurf von Relationalen Datenbanksystemen 7.5 Objektorientierte Datenbanksysteme und neue Entwicklungen 8 Software-Wiederverwendung 8.1 Woran krankt die klassische Softwareentwicklung? 8.2 Grundlagen der Software-Wiederverwendung 8.3 Bibliotheksbasierte Wiederverwendung 8.4 Komponentenorientierte Softwareentwicklung 8.5 Strukturierte Komponenten 8.6 Hinweise für die Praxis 9 Agentenorientierte Softwareentwicklung 9.1 Herausforderungen bei komplexen technischen Systemen 9.2 Agentenorientierte Softwareentwicklung 9.3 Agentenorientierte Methoden 9.4 Agentensysteme Aufbau, Struktur und Implementierung 10 Agile Softwareentwicklung 10.1 Einführung in Agile Methoden 10.2 Grundlagen der agilen Softwareentwicklung 10.3 Extreme Programming