index_html

Homepage zur Entwicklung korrekter Software

 

Modul Entwicklung korrekter Software

Vorlesung  Methoden und Werkzeuge

apl. Prof. Dr. Lothar Schmitz


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

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


News

  • Am 19.5. findet im Rahmen der Vorlesung der Gastvortrag von Dr. Walter Guttman über das Transformationsystem Ultra im EC 41/0501 statt.
  • Ab sofort findet die Vorlesung nicht mehr im Hörsaal 33/0131,
    sondern im Institutsbesprechungsraum 41/2417 statt.
  • Die Vorlesung beginnt am 4.4.2011 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 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