Softwarezuverlässigkeit Bernd Finkbeiner

News



01.10.2015

Endnoten

Die Endnote finden Sie auf Ihrer persönlichen Statusseite. 

Das Proseminar-Team

07.09.2015

Folien Online

Liebe TeilnehmerInnen,

unter Materialien sind jetzt die finalen Vortragsfolien zu finden. 
Bitte denken Sie auch daran, dass die Ausarbeitung bis kommenden Sonntag 13.09. ins rCMS hochgeladen werden muss.

Das Proseminar-Team

24.08.2015

Nachholtermin

Liebe Teilnehmer,

wie bereits angekündigt, werden wir den Vortrag von Herrn Hahn nachholen. Der neue Termin hierzu findet am 02. September, 14 Uhr c.t., in Raum 528 statt. Wir würden uns freuen, möglichst viele von Ihnen begrüßen zu dürfen.

Ihr... Weiterlesen

Liebe Teilnehmer,

wie bereits angekündigt, werden wir den Vortrag von Herrn Hahn nachholen. Der neue Termin hierzu findet am 02. September, 14 Uhr c.t., in Raum 528 statt. Wir würden uns freuen, möglichst viele von Ihnen begrüßen zu dürfen.

Ihr Softwarezuverlässigkeits-Team

20.08.2015

Informationen zur Ausarbeitung

Liebe Teilnehmer,

anbei noch einmal die wichtigsten Informationen zur Ausarbeitung:

  • Format: LIPIcs, 5-6 Seiten A4
  • Abgabetermin: 13.09.2015
  • Neben der Zusammenfassung Ihres Themas interessieren uns besonders:

Liebe Teilnehmer,

anbei noch einmal die wichtigsten Informationen zur Ausarbeitung:

  • Format: LIPIcs, 5-6 Seiten A4
  • Abgabetermin: 13.09.2015
  • Neben der Zusammenfassung Ihres Themas interessieren uns besonders:
    • Die Motivation des Themas
    • Zusammenhänge zu anderen Themen des Seminars
    • Ihre persönliche Einordnung des Themas
    • Der aktuelle Stand der Technik in ihrem Thema
  • Achten Sie darauf, andere Arbeiten korrekt zu referenzieren (möglichst spezifisch, also mit Kapitel- und Seitenangabe bei Büchern)

Weitergehende Fragen klären Sie am Besten individuell mit Ihrem Betreuer.

Ihr Softwarezuverlässigkeits-Team

20.08.2015

Liebe TeilnehmerInnen,

vielen Dank für Ihre Teilnahme am Proseminar für Softwarezuverlässigkeit. Wir haben uns über Ihre Vorträge sehr gefreut und hoffen, dass Sie vieles mitnehmen konnten. 

Unter "Abgaben/Folien: Finale Version" auf Ihrer persönlichen... Weiterlesen

Liebe TeilnehmerInnen,

vielen Dank für Ihre Teilnahme am Proseminar für Softwarezuverlässigkeit. Wir haben uns über Ihre Vorträge sehr gefreut und hoffen, dass Sie vieles mitnehmen konnten. 

Unter "Abgaben/Folien: Finale Version" auf Ihrer persönlichen Statusseite finden Sie jetzt den Notenbereich Ihres Vortrags. In Ihre Endnote gehen weitere Komponenten ein, insbesondere Ihre Mitarbeit in den Diskussionen und Ihre Ausarbeitung, und kann sich bis auf das Maximum des Notenbereiches verbessern. 

Sie haben sich alle deutlich seit den Probevorträgen verbessert und wir waren sehr glücklich darüber, dass Sie das Feedback angenommen haben. Um mehr Informationen über die Festlegung Ihres Notenbereichs oder um weiteres Feedback zu Ihrem Vortrag zu bekommen, wenden Sie sich bitte an Ihren Betreuer. 

Wir wünschen Ihnen weiterhin viel Erfolg im Studium und hoffen Sie in einer unserer Veranstaltungen wiederzusehen.

Ihr Softwarezuverlässigkeit-Team

 

 

 

18.08.2015

Zeitplan für Mittwoch und Donnerstag

Liebe Teilnehmer,

für unsere Treffen am Mittwoch und Donnerstag (E1 3, Raum 528) haben wir den folgenden Zeitplan vorgesehen:

Mittwoch

Beginn Ende Referent Thema
9:00 9:40 N. Zeller Logic and Theorem... Weiterlesen

Liebe Teilnehmer,

für unsere Treffen am Mittwoch und Donnerstag (E1 3, Raum 528) haben wir den folgenden Zeitplan vorgesehen:

Mittwoch

Beginn Ende Referent Thema
9:00 9:40 N. Zeller Logic and Theorem Proving
9:40 10:20 K. Kopper Modeling Software Systems
10:20 10:40 - Pause
10:40 11:20 R. De Maeyer Formal Specifications
11:20 12:00 S. Baumann Automatic Verification
12:00 12:20 - Pause
12:20 13:00 Ch. Rosenhauer Deductive Software Verification

 

Donnerstag

Beginn Ende Referent Thema
9:00 9:40 D. Wagner Process Algebra and Equivalences
9:40 10:20 M. Halbe Timed Automata
10:20 10:40 - Pause
10:40 11:20 A. Wilhelm Software Testing
11:20 12:00 P. Held Combining Formal Mathods
12:00 12:20 - Pause
12:20 13:00 Ch. Hahn Visualization

 

Wir haben die Folienabgabe für ihre endgültige Abgabe nochmal bis heute Abend geöffnet, jetzt auch mit zusätzlichen Dateiformaten. Falls Sie keine PDF-Präsentation nutzen wollen, kommen Sie bitte heute für einen kurzen Test ihres Formats in Raum 533 vorbei.

Für ihre Vorträge sind jeweils 25-30 Minuten plus 10 Minuten Diskussion vorgesehen.

Wir freuen uns auf ihre Vorträge!

22.06.2015

Finale Folienabgabe für Probevorträge

Für einen reibungslosen Ablauf am Samstag, bitten wir Sie Ihre finale Folienversion bis Freitag 23:59 ins rCMS hochzuladen. Die Folien werden auf einem von uns zu Verfügung gestellten Rechner präsentiert. 

22.06.2015

Zeitplan für Samstag

Liebe Teilnehmer,

für unser Treffen am Samstag (E1 3, Raum 528) haben wir den folgenden Zeitplan vorgesehen:

Beginn Ende Referent Thema
9:00 9:30 P. Faymonville Feedback
9:30 10:00 N.... Weiterlesen

Liebe Teilnehmer,

für unser Treffen am Samstag (E1 3, Raum 528) haben wir den folgenden Zeitplan vorgesehen:

Beginn Ende Referent Thema
9:00 9:30 P. Faymonville Feedback
9:30 10:00 N. Zeller Logic and Theorem Proving
10:00 10:30 K. Kopper Modeling Software Systems
10:30 10:45 - Pause
10:45 11:15 R. De Maeyer Formal Specifications
11:15 11:45 S. Baumann Automatic Verification
11:45 12:15 Ch. Rosenhauer Deductive Software Verification
12:15 13:45 - Mittagspause
13:45 14:15 D. Wagner Process Algebra and Equivalences
14:15 14:45 M. Halbe Timed Automata
14:45 15:15 A. Wilhelm Software Testing
15:15 15:30 - Pause
15:30 16:00 P. Held Combining Formal Mathods
16:00 16:30 Ch. Hahn Visualization

 

Für ihre Vorträge sind jeweils 20 Minuten plus 10 Minuten Feedback vorgesehen.

Die Mittagspause können Sie eigenverantwortlich organisieren, neben Lieferdiensten hat das Canossa oder die Sportlermensa samstags geöffnet.

Wir freuen uns auf ihre Vorträge!

11.06.2015

Erste Folienabgabe

Liebe Proseminar-Teilnehmer, 

Aufgrund anstehender Klausuren am Wochenende, verlängern wir die Folienabgabefrist um zwei Tage bis Mo 15.06. 23:59.  

Das Proseminar-Team

 

15.05.2015

HISPOS Prüfungsanmeldung!

Vergessen Sie nicht sich im LSF-Portal für das Proseminar anzumelden. Die Anmeldung ist bis zum 27.05. möglich!

30.04.2015

Themenzuteilung

Die Themenzuteilung und der zuständige Betreuer finden Sie jetzt auf Ihrer persönlichen Statusseite. Bitte kontaktieren Sie baldmöglichst Ihren Betreuer.

03.04.2015

Anmeldung

Bitte melden Sie sich bis zum 26.04.2015 23:59 an.

Falls die Anzahl der Anmeldungen die Zahl der verfügbaren Plätze überschreitet werden die Teilnehmer gelost. Sie werden rechtzeitig darüber informiert.  
Wie üblich werden Sie sich sowohl bei uns als auch über... Weiterlesen

Bitte melden Sie sich bis zum 26.04.2015 23:59 an.

Falls die Anzahl der Anmeldungen die Zahl der verfügbaren Plätze überschreitet werden die Teilnehmer gelost. Sie werden rechtzeitig darüber informiert.  
Wie üblich werden Sie sich sowohl bei uns als auch über das Prüfungssystem anmelden müssen.



Bei technischen Problemen wenden Sie sich bitte an die Administratoren