10915-01: Software Engineering
Departement Mathematik und Informatik, Universität Basel
Dozent
Tutoren
Kursbeschreibung
Die Vorlesung gibt eine erste Einführung in Software Engineering. Das Hauptziel der Vorlesung ist die Studierenden mit den Grundprinzipien von Software Engineering, sowie, zu einem gewissen Grad, auch mit der Geschichte des Gebiets vertraut zu machen. Aktuelle Methoden und Tools werden im Rahmen eines vorlesungsbegleitenden Projekts eingeführt.
Vorlesungsseite
Diese Seite entspricht der offiziellen Vorlesungsseite. Sie finden hier alle Informationen zur Vorlesung, sowie die Vorlesungsunterlagen. Diese Seite soll auch zeigen, wie man mittels Github Pages einfach technische Dokumentationen erstellen kann, die sich leicht pflegen lassen. Die Seite wird direkt aus dem Github Repository generiert. Wenn Sie Fehler finden, können Sie also gerne einen Pull Request machen.
Alles Material, welches nicht öffentlich zugänglich sein soll, wird auf unserem Adam workspace zur Verfügung gestellt.
Übungen und vorlesungsbegleitendes Projekt
Das Open Source Projekt Jabref (Offizielles Github Repositories) dient als Grundlage für die praktischen Übungen und Projekt. Die Studierenden bringen kleine Änderungen am Projekt an, studieren den Source Code und implementieren dann eigene, grössere Erweiterungen.
Einen Überblick über die einzelnen Projektschritte finden Sie auf der Projektseite.
Programm
| Theorie | Übung / Projekt | |
|---|---|---|
| Woche 1 | Was ist Software engineering | Übung 0: Jabref Setup |
| Prinzipien des Software Engineerings | ||
| Eigenschaften von Software | ||
| Woche 2 | Prozesse und Werkzeuge des Software Engineerings | Übung 1: Erste Änderungen an Jabref |
| Software Qualitätsmerkmale | ||
| Woche 3 | Anforderungsanalyse | Übung 2: Code verstehen |
| Modulbeziehungen | Gruppe gewählt / Projektvorschlag eingereicht | |
| Woche 4 | Architektur / Design | Übung 3: Unit tests |
| UML | Entwurf Pflichtenheft | |
| Woche 5 | Modularität / Design Patterns I | Übung 4: Jabref erweitern |
| Woche 6 | Modularität / Design Patterns II | Prototyping eigene Erweiterung |
| Pflichtenheft Besprechung | ||
| Woche 7 | Modellieren mit Alloy I | Entwurf Designdoc |
| Woche 8 | Modellieren mit Alloy II | Besprechen Designdoc |
| Woche 9 | Verifikation / Grundlagen des Testens | Implementation eigene Erweiterung |
| Testen im Grossen | ||
| Woche 10 | Testen im Kleinen | Testplan erstellen |
| Woche 11 | Gastvortrag Agile Softwareentwicklung | Besprechung Testplan |
| Woche 12 | Arbeit am Projekt | Projektpräsentationen (I) |
| Woche 13 | Geschichte / Reflexion / Diskussion (I) | Projektpräsentationen (II) |
| Woche 14 | Geschichte / Reflexion / Diskussion (II) |
Literatur / Weiterführende Links
Empfohlene Lehrbücher
Der Vorlesungstoff kann gut mit dem zur Verfügung gestellten Material erarbeitet werden. Wer trotzdem ein Lehrbuch kaufen möchte, kann mit einem der folgenden, klassischen Büchern, keinen Fehler machen.
- S. L. Pfleeger, und J. M. Atlee. Software engineering: theory and practice
- Englischsprachiges Standardwerk des Software Engineerings. Wer nur ein Buch zum Thema kauft, sollte dieses kaufen.
- H. Lichter, und j. Ludewig, Software Engineering
- Deutschsprachiges Lehrbuch, welches einen guten Überblick über das Gebiet gibt. Es geht aber nicht so sehr ins Detail wie das Buch von Pfleeger und Atlee.
- C. Ghezzi, M. Jazayeri und D. Mandrioli, Fundamentals of Software Engineering
- Sehr empfehlenswerter Klassiker, welcher die Grundlage dieser Vorlesung bildet. Alle wichtigen Grundlagen werden hier hervorragend erklärt. Wegen des Alters des Buches fehlen aber aktuelle Themen. wie z.B. agile Softwareentwicklung.