index_html

Homepage zur Entwicklung korrekter Software

Entwicklung korrekter Software

apl. Prof. Dr. Lothar Schmitz


Termin der Vorlesung:  Mo 10:30-12:00, 33/2111

Termin der Übung:        Do 08:00-10:15, 33/0301


News

  • Die mündlichen Prüfungen finden am 28.6. und am 1.7. statt.
  • Die Vorlesung und die Übung finden ab sofort im EC der Fakultät statt.
  • Die Vorlesung beginnt am 12.4.2010 um 10:30.
  • Die Teilnahme an den Übungen ist Voraussetzung für die Prüfungen.
    Details dazu werden in der Vorlesung und der Übung der ersten Woche
    bekanntgegeben, wo auch die 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

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. Michael Koch