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: Spezifikation Die Vorlesung behandelt die folgenden Themen: Einführung Software-Technologie / Spezifikation algebraische Spezifikation Object Z Entity-Relationship-Diagramme (ERD) datenflussorientierte Spezifikation (DF Spec), Spezifikationssprache: SADT und DFD daten- und kontrollflussorientierte Spezifikation (PN), Spezifikationssprache: Petrinetze objektorientierte Spezifikation (OOA) Process Patterns Model Driven Architecture Termin: montags, 11:15-12:45 Uhr, Hörsaal 1 Dozent:  Volker Gruhn (Sprechstunden nach Vereinbarung, i.d.R. montags 10:00-11:00 Uhr, Klostergasse 3) Zusätzliche Informationen zu dieser Veranstaltung können auch im IfI-Vorlesungsverzeichnis abgerufen werden. Online-Feedback Die Ergebnisse des Online-Feedbacks stehen fest. Gewinner der TAN-Lotterie ist msybfztj - herzlichen Glückwunsch und danke allen, die ihre Stimme abgegeben haben! Folien Datum pdf-Datei ppt-Datei   13.10.2003  1. Vorlesungseinheit  1. Vorlesungseinheit   20.10.2003  2. Vorlesungseinheit  2. Vorlesungseinheit   27.10.2003  3. Vorlesungseinheit  3. Vorlesungseinheit (korrigiert) 03.11.2003 keine Vorlesung     10.11.2003  4. Vorlesungseinheit  4. Vorlesungseinheit 17.11.2003  5. Vorlesungseinheit  5. Vorlesungseinheit   24.11.2003  6. Vorlesungseinheit  6. Vorlesungseinheit   01.12.2003  7. Vorlesungseinheit  7. Vorlesungseinheit   08.12.2003  8. Vorlesungseinheit  8. Vorlesungseinheit   15.12.2003  9. Vorlesungseinheit  9. Vorlesungseinheit   05.01.2004  10. Vorlesungseinheit  10. Vorlesungseinheit   12.01.2004  11. Vorlesungseinheit  11. Vorlesungseinheit   19.01.2004  12. Vorlesungseinheit  12. Vorlesungseinheit   26.01.2004  13. Vorlesungseinheit  13. Vorlesungseinheit   02.02.2004  14. Vorlesungseinheit  14. Vorlesungseinheit   Literatur I. Sommerville, Software Engineering - Fourth Edition, Addison-Wesley, 1992 H. Balzert, Lehrbuch der Software-Technik, Spektrum Akademischer Verlag, 1999 B. Curtis, H. Krasner, N. Iscoe, A Field Study of the Software Design Process for Large Systems, Communications of the ACM, November 1988, Vol. 31, No. 11, pp 1268 - 1287 C. Ghezzi, M. Jazayeri, D. Mandrioli, Fundamentals of Software Engineering, Prentice-Hall, 1991 B. Potter, J. Sinclair, D. Till, An Introduction to Formal Specification and Z, Prentice-Hall, 1991 V. Gruhn, Vorlesungsskript Software-Technologie, WS 1998/1999, Lehrstuhl für Software-Technologie, Uni Dortmund