Informationssicherhe... Wintersemester 2003/... Software Engineering...

Softwarespezifikation: Sprachen, Methoden, Werkzeuge (2 SWS)

Inhalt der Lehrveranstaltung

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  

top