- SS 2021
- WS 2020/21
- OnlineCourses @ UniSalzburg
- Archiv
- SS 2020
- WS 2019/20
- SS 2019
- WS 2018/19
- SS 2018
- WS 2017/18
- SS 2017
- WS 2016/17
- SS 2016
- WS 2015/16
- SS 2015
- WS 2014/15
- SS 2014
- WS 2013/14
- SS 2013
- WS 2012/13
- SS 2012
- WS 2011/12
- SS 2011
- WS 2010/11
- SS 2010
- WS 2009/10
- SS 2009
- WS 2008/09
- SS 2008
- WS 2007/08
- SS 2007
- WS 2006/07
- SS 2006
- WS 2005/06
- SS 2005
- WS 2004/05
- SS 2004
- WS 2003/04
- SS 2003
- WS 2002/03
- SS 2002
- häufig gestellte Fragen über Abschlussarbeiten

October 2018: Go4IT – beginne Dein Informatik-Bachelor-Universitäts-Studium parallel zur AHS-Oberstufe!
August 2012: autoBAHN—autonomously driving trains on open tracks
November 2011: Awards
- TEACHING (German)
- Archiv
- SS 2008
- PS Software Engineering II
- Aufgabenblock 1 (13.03.2008 - 02.04.2008)
Einführungsliteratur zu Test-Driven Development und Wiederholung Prädikatenlogik. - Aufgabenblock 2 (03.04.2008 - 09.04.2008)
DFA Simulator (Eingabedatei: dfa.config) und Wiederholung Prädikatenlogik. - Aufgabenblock 3 (10.04.2008 - 16.04.2008)
NFA Simulator (Eingabedatei: nfa.config), Functional Specification, Assignment Statement. - Aufgabenblock 4 (17.04.2008 - 23.04.2008)
Theorie Mocks-Stubs-Dummies, Client für den AssignmentHandInServer (Interface: AssignmentHandInServer.java, Exception: ProtocolException.java, Protokollspezifikation als DFA: AssignmentHandInServerProtocol.properties), Assignment Statement, Integer Expressions.
Client-Library für den Zugriff auch den Server per Webservice: assignmentserverclientlibrary.zip - Aufgabenblock 5 (24.04.2008 - 07.05.2008)
Assignment-Server (Interface: AssignmentHandInServer.java, Exception: ProtocolException.java, Konfigurationsdatei: assignmentserverconfig.xml), Concatenation, Alternative Statement. - Aufgabenblock 6 (08.05.2008 - 14.05.2008)
Tennis-Scoreboeard, Concatenation und Alternative Statement, Boolean Expressions. - Aufgabenblock 7 (15.05.2008 - 05.06.2008)
Einführung Spec#, Concatenation und Alternative Statement, Repetitive Statement. - Aufgabenblock 8 (05.06.2008 - 11.06.2008)
Bruch-Library in Spec#, Repetitive Statement.
ACHTUNG: Aufgabe korrigiert am 09.06.2008 - Aufgabenblock 9 (12.06.2008 - 19.06.2008)
Programme mit Beweis (Alternative Statement, Repetitive Statement und Array).
PS Software Engineering II
Lehrveranstaltungsleiter:
Dipl.-Ing. Thomas Aschauer
Dipl.-Ing. Gerd Dauenhauer
Termine
Sommersemester 2008
donnerstags: 08:00-10:00 Uhr, Jakob-Haringer-Str. 2
Beginn: 6. März 2008
Gruppe Thomas Aschauer in Raum T03
Gruppe Gerd Dauenhauer in Raum T02
Tutorium: abgehalten von Martin Seidel
Termin: Mo 14:00 - 15:00 Uhr
Inhalt
Praktische Übungen zur gleichnamigen Vorlesung um das Wissen zu vertiefen und anzuwenden.
Unterlagen
E. Dijkstra, W. Feijen: A Method of Programming, Addison-Wesley Publishing Company. (Siehe Vorlesung)
Aufgaben
Universität Salzburg | Software Systems Center
Jakob-Haringer-Str. 2 | 5020 Salzburg | Austria | Tel: +43 662 - 8044 - 6488 | Fax: +43 662 8044 - 6480
Jakob-Haringer-Str. 2 | 5020 Salzburg | Austria | Tel: +43 662 - 8044 - 6488 | Fax: +43 662 8044 - 6480