HOME UNI LEIPZIG IFI Über LPZ E-BUSINESS Lehre Lehrveranstaltungen Übungen Klausuren Praktika Abschlussarbeiten DuD-Seminar Studiengang-Wegweiser Forschung Projekte Veröffentlichungen Veranstaltungen Kontakt Presse Interner Bereich    HIGHLIGHTS Agile MDA IT-Radar Mobile Technology Lab Distinguished Lectures Series Ausgewählte Kapitel der Softwaretechnologie (WS 2007/2008) Die Vorlesung vermittelt grundlegende Konzepte und Methoden auf speziellen Gebieten der Softwaretechnologie. Sie ermöglicht einen Einblick in akademische und praktische Technologien und Vorgehensweisen bei der Entwicklung von großen Softwaresystemen. Verfahren zur Spezifikation: algebraische Spezifikation, Z, Object Z, Entity-Relationship-Diagramme, datenflussorientierte Spezifikation (SADT, DFD), daten- und kontrollflussorientierte Spezifikation (Petrinetze) und objektorientierte Spezifikation. Strategien, Techniken und Methoden des Testens auf verschiedenen Ebenen: Vom Testen einzelner Methoden/Prozeduren bis hin zum Testen von großen komponentenbasierten Systemen. Des weiteren wird auf generative Software-Entwicklung und andere aktuelle Themen eingegangen. Zeit: dienstags, 09:15-10:45 Uhr Ort: Städtisches Kaufhaus, KH 2-05 Dozent: Volker Gruhn Sprechstunden nach Vereinbarung (i.d.R. dienstags 11.00-12.00 Uhr) Lehrevaluation Die  Ergebnisse der Lehrevaluation zur Vorlesung stehen fest. Danke allen Teilnehmern, die Feedback abgegeben haben! Klausur Die Modulprüfung "Ausgewählte Kapitel der Softwaretechnologie" fand als Klausur am 11.02.2008 um 16 Uhr statt. Die Ergebnisse der Live-Korrektur dieser Klausur stehen fest. Gelegenheit zur Klausureinsicht bestand am Mittwoch, 20. Februar von 13-14 Uhr in der Klostergasse 3 (2. OG). Eine Nachklausur wurde am 31.03.2008 um 10 Uhr im Städtischen Kaufhaus, Raum KH 2-11 angeboten. Die Ergebnisse der Nachklausur stehen ebenfalls fest. Gelegenheit zur Einsicht in die Nachklausur besteht am Donnerstag, 17.4. von 13-14 Uhr in der Klostergasse 3 (2. OG). Zur Unterstützung der Lernkontrolle stellen wir Lösungsvorschläge zu den Klausuren aus dem  WS 06/07 und  WS 07/08 zur Verfügung. Folien Datum Skript (pdf) Präsentation (ppt)   08.10.2007  1. Vorlesung  1. Vorlesung   15.10.2007  2. Vorlesung  2. Vorlesung   22.10.2007  3. Vorlesung  3. Vorlesung   29.10.2007  4. Vorlesung  4. Vorlesung korrigiert 06.11.2007  5. Vorlesung  5. Vorlesung   13.11.2007  6. Vorlesung  6. Vorlesung   20.11.2007  7. Vorlesung  7. Vorlesung   27.11.2007  8. Vorlesung  8. Vorlesung   04.12.2007  9. Vorlesung  9. Vorlesung   11.12.2007  10. Vorlesung  10. Vorlesung   18.12.2007  11. Vorlesung  11. Vorlesung   08.01.2008  12. Vorlesung  12. Vorlesung   15.01.2008  13. Vorlesung  13. Vorlesung   22.01.2008  14. Vorlesung  14. Vorlesung   29.01.2008  15. Vorlesung  15. Vorlesung   Literatur I. Sommerville, Software Engineering, Addison-Wesley H. Balzert, Lehrbuch der Software-Technik, Band 2, Spektrum Akademischer Verlag C. Ghezzi, M. Jazayeri, D. Mandrioli: Fundamentals of Software Engineering, Prentice-Hall A.M. Davis: 201 Principles of Software Development, McGraw-Hill Gao, J. et. Al.: Testing and Quality Assurance for Component-Based Software, Artech House Meyers, G.: The Art of Software Testing, Wiley&Sons Riedemann, E.H.: Testmethoden für sequentielle und nebenläufige Software-Systeme, Teubner Weitere Literatur wird in den jeweiligen Vorlesungen genannt.