Softwarespezifikation: Sprachen, Methoden, Werkzeuge (2 SWS)
Seminar im Hauptstudium:
Dienstag, 14:15 - 16 Uhr, Raum 2.038
Dozenten: Prof. Dr. F. Saglietti, Dipl.-Inf. J. Drexler, Dipl.-Inf. H. Reiter
Vorbesprechung:
Hinweise zu den Vorträgen wurden in der
Vorbesprechung erläutert.
Die Kurzbeschreibung der
Seminar-Themen enthält auch Literaturhinweise.
Die Vortragsthemen und die vorläufige Verteilung auf Teilnehmer und Termine sind:
| Datum | Thema | Vortragender | Vortrag | Ausarbeitung |
| 21.10.2003 | Einführungsvortrag | Dipl.-Inf. Herbert Reiter | Einfuehrung.pdf | |
| 28.10.2003 | Petri-Netze | Nizar Kallel | Petri-Netze.pdf | Petri-Netze-Ausarbeitung.pdf |
| 04.11.2003 | CCS | Matej Ciesko | CCS.pdf | CCS-Ausarbeitung.pdf |
| 11.11.2003 | UML | Jing Chen | UML.pdf | UML-Ausarbeitung.pdf |
| 18.11.2003 | Esterel | Dipl.-Inf. Herbert Reiter | Esterel.pdf | |
| 25.11.2003 | CCS Werkzeugvorführung | Matej Ciesko | CWB.pdf | |
| 02.12.2003 | CTL/LTL | Nizar Kallel | CTL+LTL.pdf | |
| 09.12.2003 | SDL/MSC | Jingyuan Li | SDL+MSC.pdf | SDL+MSC-Ausarbeitung.pdf |
| 16.12.2003 | Z | Dipl.-Inf. Johannes Drexler | Z.pdf | |
| 13.01.2004 | Natürliche Sprache | Steffen Weiß | NatuerlicheSprache.pdf | |
| 20.01.2004 | Anforderungsmanagement | Dipl.-Inf. Martin Jung | Anforderungsmanagement.pdf | |
| 27.01.2004 | LOTOS | Jingyuan Li | LOTOS.pdf | |
| 03.02.2004 | Vienna Development Method | Matej Ciesko | VDM.pdf | |
| 10.02.2004 | Abschlussvortrag | Dipl.-Inf. Johannes Drexler | Abschlussvortrag.pdf |