|
|
 |
|
|
 |
|
|
|
| |
Die Spezifikationsphase ist eine sehr frühe Phase im Software-Entwicklungsprozess. Als Ergebnis wird eine möglichst formale Beschreibung (die Spezifikation) des zu entwickelnden Systems angestrebt. In Abhängigkeit von den spezifischen Anforderungen an die Software bzw. an den Entwicklungsprozess kann man zwischen verschiedenen Modellen und Verfahren zur Spezifikation auswählen.
In dieser Vorlesung werden verschiedene Verfahren zur Spezifikation vorgestellt, z.B. algebraische Spezifikation, Object Z, Entity-Relationship-Diagramme (ERD), datenflussorientierte Spezifikation (DF Spec, Spezifikationssprache: SADT und DFD), daten- und kontrollflussorientierte Spezifikation (PN, Spezifikationssprache: Petrinetze) und objektorientierte Spezifikation (OOA).
|
|
|
|
|
|
|
Vorkenntnisse:
|
Softwaretechnik (notwendig)
|
|
Umfang:
|
2 SWS Vorlesung
|
|
Prüfungen:
|
Kernfach Angewandte/Praktische Informatik: schriftliche Prüfung (45 min)
Studienschwerpunkt Angewandte/Praktische Informatik: Teil der mündlichen Prüfung
|
|
|
|
|
Zeit:
|
montags 9.15-10.45 Uhr
|
|
Ort:
|
Raum 2-10, Städtisches Kaufhaus
|
|
Dozent:
|
Volker Gruhn
Sprechstunden nach Vereinbarung (i.d.R. montags 11.00-12.00 Uhr)
|
|
|
|
|
|
|
|
|
|
| |
Am 6. Februar 2006 wurde um 9:00 Uhr in der Mensa Jahnallee eine 45-minütige Klausur über die Inhalte der Vorlesung geschrieben. Die Anmeldung war bis zum 30. Januar 2006 online möglich.
Die Ergebnisse der Live-Korrektur stehen fest.
Zur Klausureinsicht besteht an folgenden Terminen Gelegenheit:
- Mo, 20.02.2006, 10:00-11:30, Klostergasse 3
- Di, 18.04.2006, 10:00-11:30, Klostergasse 3
Eine Nachklausur wird am 31. Juli 2006 angeboten.
Zur Vorbereitung steht der  Klausurtext aus dem WS 05/06 zur Verfügung.
|
|
|
|
|
|
|
|
|
|
| |
Die Ergebnisse des Online-Feedbacks zur Vorlesung stehen fest. Danke allen Teilnehmern, die Ihre Stimme abgegeben haben!
|
|
|
|
|
|
|
|
|
|
| |
Allen Teilnehmern wird empfohlen, sich in die Mailingliste zu dieser Vorlesung einzutragen, um wichtige organisatorische Mitteilungen nicht zu versäumen.
|
|
|
|
|
|
|
|
|
|
| |
- 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
|
|
|
|
|
|
Über LPZ E-BUSINESS
Lehre
Lehrveranstaltungen
Übungen
Agile MDA
Series