index_html

Homepage zur Entwicklung korrekter Software

 

Modul Entwicklung korrekter Software

Vorlesung  Methoden und Werkzeuge  (11339 und 11340)

apl. Prof. Dr. Lothar Schmitz


Termin der Vorlesung: Mo 10:30-12:00, EC 41/0501

Termin der Übung: Do 10:30-12:45, EC 41/0501


News

  • Die Vorlesung vom 27.6.2013 wird verlegt auf den 28.6.2013 und findet dann ab 10:00 Uhr im Raum 41/0324 statt.
  • Die Vorlesung vom 17.6.2013 wird vorverlegt auf den Nachmittag des 10.6.2013 und findet dann ab 14:00 Uhr im Raum 41/0401 statt.
  • Die Vorlesung vom 27.5.2013 wird verschoben auf den Nachmittag des 3.6.2013 und findet dann ab 14:00 Uhr im Fakultätsraum 41/0401 statt. 
  • Die Vorlesung am 16.5.2013 übernimmt Frau PDin Elbl, um die Systeme piVC und Dafny vorzustellen.
  • Die Vorlesung findet nicht in den im Stundenplan genannten Räumen, sondern im EC 41/0501 statt.
  • Die Vorlesung beginnt am 8.4.2013 um 10:30.
  • Die Teilnahme an den Übungen ist Voraussetzung für den Scheinerwerb.
    Details dazu werden in der Vorlesung und der Übung der ersten Woche
    bekanntgegeben, wo auch die endgültige Anmeldung erfolgt.

Vorlesungs- und Übungsunterlagen

  • Das Vorlesungsskript sowie die Übungsunterlagen finden Sie im Dokumentenbereich zur Veranstaltung.

Literatur

  1. J. Fitzgerald & P. Gorm Larsen
    Modelling Systems: Practical Tools and Techniques in Software Development
    Cambridge University Press 2009
  2. J. Barnes
    High Integrity Software - The SPARK Approach to Safety and Security
    Addison-Wesley 2003
  3. D. Jackson
    Software Abstractions - Logic, Language, and Analysis
    MIT Press 2006
  4. M. Kaufmann & P. Manolios & J. S. Moore
    Computer-Aided Reasoning: An Approach
    Kluwer Academic Press 2000

inf2

Institut für Softwaretechnologie
Fakultät für Informatik
Universität der Bundeswehr München
85577 Neubiberg

Tel: +49 (89) 6004-2505
Fax: +49 (89) 6004-4447
E-Mail: inf2@unibw.de

So finden Sie uns



___

Hier finden Sie Informationen zum Studium an der Fakultät für Informatik

Der Studiendekan der Fakultät: Prof. Dr. Peter Hertling