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 2008/2009) 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: wird noch bekannt gegeben Ort: wird noch bekannt gegeben Dozent: Volker Gruhn Sprechstunden nach Vereinbarung (i.d.R. dienstags 11.00-12.00 Uhr)