• Contact
  • Sitemap
  • HOME
  • RESEARCH
  • TEACHING (German)
  • TEAM
  • OTHER
  • 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
      • VO Software Engineering II
      • PS Software Engineering II
      • VO Verteilte Systeme
      • PS Verteilte Systeme
      • SE Bakk.-Seminar aus Informatik
      • VP Projektmanagement
    • 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
   Highlights

October 2018: Go4IT – beginne Dein Informatik-Bachelor-Universitäts-Studium parallel zur AHS-Oberstufe!

January 2015: From Model-Based Development research towards cutting-edge industry products

August 2012: autoBAHN—autonomously driving trains on open tracks

November 2011: Awards

May 2007: May 2007: Opening C. Doppler Lab Embedded Software Systems 2007

June 2003: June 2003: Summer School Embedded Systems 2003

  1. TEACHING (German)
  2. Archiv
  3. SS 2008
  4. PS Software Engineering II
  5. 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)

    • Organisatorisches

    Aufgaben

    • 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). 
Universität Salzburg | Software Systems Center
Jakob-Haringer-Str. 2 | 5020 Salzburg | Austria | Tel: +43 662 - 8044 - 6488 | Fax: +43 662 8044 - 6480