Übungen zu Software Engineering, WS 2011/2012

Übungsleiter

Tutoren

Sergey Krutikov, B.Sc. (skrutyko "at" uos.de), Daniel Neumann, B.Sc. (daneuman "at" uos.de)

Übung

dienstags	10:00 - 12:00 Uhr,	Raum 69/E15
dienstags	12:00 - 14:00 Uhr,	Raum 69/E15

Beide Übungen haben den gleichen Inhalt.

Mailingliste

Mail an die Liste senden
Achtung: Die Mailingliste nimmt nur Mails mit Absenderadressen an, die selbst als Empfänger angemeldet sind.
An- und Abmeldung geschieht über die Mailinglistenverwaltung.
Das Archiv der Mailingliste ist nur mit Login erreichbar.

Übungsblätter

Nr.	Testat bis	Thema
1	02.11.2011	Grundlagen: Software-Krise, Phasen der Software-Entwicklung, OOP, OO-Entwurf
2	09.11.2011	Modularisierung: Import-/Exportschnittstellen, Bindung/Kopplung, Design by Contract
3	16.11.2011	Projektmanagement: Magisches Dreieck, Organisationsformen, PSP, Vorgangsliste, Netzplan/PERT, Gantt
4	23.11.2011	Projektmanagement: Werkzeuge, Projekttagebuch, Meilenstein-Trendanalyse, Brook'sches Gesetz
5	30.11.2011	Aufwandsschätzung: COCOMO, Function-Points-Methode, Konfigurationsmanagement: RCS, CVS, SVN
6+7	14.12.2011	Konfigurationsmanagement: SVN-Server mit Eclipse und NetBeans nutzen, GNU Make, Apache Ant
8	04.01.2012	Software-Modelle: PAP, Struktogramm, Strukturierte Analyse mit Datenfluss- und Syntaxdiagrammen, ERM
9	11.01.2012	Software-Modelle, UML: Anwendungsfalldiagramm, Sequenz-/Kommunikationsdiagramm, Zustandsdiagramm
10	18.01.2012	Software-Modelle, UML: Komponenten-, Verteilungs-, Paket-, Klassen-, Objekt- und Aktivitätsdiagramm
11	25.01.2012	Software-Modelle: Protokollautomat (UML), EPKs, Petri-Netze, Vorgehensmodelle: Wasserfall-, V-, Spiralmodell
12	01.02.2012	Unified Process, Agile Vorgehensweisen, Extreme Programming, Modultests mit JUnit, Test Driven Development

Außerdem: Das Übungsverzeichnis mit Beispielen, Vorlagen, Quelltexten, etc. aus den Übungen (geordnet nach Übungsblattnummer).

Software

NetBeans - Entwicklungsumgebung
Eclipse - Entwicklungsumgebung
Dia - Diagramm-Editor (Dia für Windows, zusätzliche Objektschablonen)
ArgoUML - UML-Modellierung
Java Modeling Language (JML) - Design by Contract in Java
Serena OpenProj - Projekt-Management
Gnuplot - Funktionenplotter
Revision Control System (RCS) - Versionskontrolle
Concurrent Versions System (CVS) - Versionskontrolle
Subversion (SVN) - Versionskontrolle
Subclipse - SVN-Plugin für Eclipse
Subversive - SVN-Plugin für Eclipse
GNU Make - Build-Werkzeug
Apache Ant - Build-Werkzeug
PAPDesigner - Programmablaufpläne
Structorizer - Struktogramme/Nassi-Shneidermann-Diagramme
Objektschablonen zur EPK- und Petri-Netz-Modellierung mit Dia (kurze Installationsanleitung)
JUnit - Modultest in Java

Dokumentation

PDF: Skriptum Softwaretechnik von Herbert Klaeren, Universität Tübingen
PDF: Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 von Patrice Chalin et al.

RCS - A System for Version Control (Postscript) von Walter F. Tichy
GNU RCS Tutorial von Aaron Hawley (Übersicht: Using GNU RCS)
Version Management with CVS von Per Cederqvist
Open Source Development with CVS von Karl Fogel und Moshe Bar (deutsch)
CVS Best Practices von Vivek Venugopalan
Version Control with Subversion von Ben Collins-Sussman et al. (englisch/deutsch)
Subclipse Installation Instructions
Subversive Installation
Guided Tour of Subversion in NetBeans (FAQ)

PDF: Eine kurze Einführung in wichtige Unix-Werkzeuge - Shell, Make & Co. von Elmar Ludwig
GNU Make Manual von Richard M. Stallman et al.
Apache Ant Manual von Stephane Bailliez et al. (Tutorial: Hello World with Ant)
Ant - Das Apache Build-Werkzeug für Java - Ein Vergleich mit dem Make-System von Simon Lembke

Website der OMG zur UML: Links zu UML-Tutorials und Listen von UML-Werkzeugen
Liste von UML-Werkzeugen in Wikipedia (Kategorie: UML-Werkzeug)
List of Unified Modeling Language tools in Wikipedia (Category: Free UML tools)
Dokumentation zu ArgoUML (englisch: Quick Guide/User Manual, deutsch: Quick Guide/User Manual)

Spezifikationen der Unified Modeling Language (UML) der OMG (Object Management Group)
Dokumente zur UML im Katalog der OMG Modeling Specifications (UML Profile Specifications)
UML 2.0: Evolution oder Degeneration? von Mario Jeckle et al. (PDF, Objekt Spektrum 3/2004)
UML-Notationsübersicht von der oose Innovative Informatik GmbH (PDF: UML 2.1)
UML 2.1 Referenz-Material von der Orientation in Objects GmbH (PDF: UML 2.1 Referenz-Folien und doppelseitige UML 2.1 Referenz-Karte)
UML graphical notation overview von Kirill Fakhroutdinov
UML-basierte Modellierung in der Enzyklopädie der Wirtschaftsinformatik der Europa-Universität Viadrina Frankfurt (Oder)

Semantische Prozeßmodellierung auf der Grundlage "Ereignisgesteuerter Prozeßketten" (EPK) von G. Keller, M. Nüttgens, A.-W. Scheer (1992)
Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK) von M. Nüttgens, F. J. Rump (2002)
PDF: EPK-Modellierung und Transformation in Petri-Netze, Vorlesungsunterlagen am Institut AIFB des Karlsruher Instituts für Technologie (ehemals Universität Karlsruhe)
Einführung in Petri-Netze, Vorlesungsunterlagen an der KU Eichstätt-Ingolstadt
Grundregeln der EPK-Modellierung und Übersetzung in Petri-Netze, Vorlesungsunterlagen an der KU Eichstätt-Ingolstadt
Interactive Tutorials on Petri Nets von Frank Heitmann, Daniel Moldt et al., Universität Hamburg
Formalization and Verification of Event-driven Process Chains von W.M.P. van der Aalst (Information and Software Technology, 41(10):639-650, 1999,
zugl. Computing Science Reports 98/01, Eindhoven University of Technology, 1998: PDF)

JUnit bei Sourceforge.net, API (Javadoc), FAQ, Release Notes
JUnit 4 Tutorial von Anthony Anjorin an der TU Darmstadt (PDF)
JUnit 4.0 im Vergleich zu JUnit 3.8.1 von Frank Westphal
JUnit Cookbook von Kent Beck, Erich Gamma (JUnit 4)
JUnit Test Infected: Programmers Love Writing Tests (JUnit 3)
JUnit A Cook's Tour (JUnit 3)
JUnit - Ein Framework für Unit Tests von Richard Cyganiak und Daniel Schulze (JUnit 3)
Unit Tests mit JUnit von Frank Westphal (JUnit 3)
JUnit von Thorsten Horn (JUnit 3)

Links

Leistungsnachweis

Als Leistungsnachweis wird generell ein numerisch und ECTS-benoteter Übungsschein vergeben bzw. eine entsprechende Modulprüfungsleistung bescheinigt. Voraussetzung für den Erwerb des Übungsscheins sowie Grundlage für die Note ist die erfolgreiche Teilnahme an einer Abschlussprüfung.

Um die Zulassung zu dieser Prüfung zu erhalten, ist die erfolgreiche Teilnahme am Übungsbetrieb zur Vorlesung in diesem oder einem der vorhergehenden Semester erforderlich. Als Erfolg gilt hierbei jeweils (pro Aufgabenblatt) 50% der möglichen Punkte bei n-1 der n Übungsblätter.

ECTS-Leistungen müssen nach deutschen Kriterien numerisch benotet werden, die Nummern werden dann nach dem vorgegebenen Schlüssel auf die ECTS-Buchstaben abgebildet.