TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Sonstiges  |  Kontakt  | 

|    

Kompetenzzentrum Security - Projekte

Autofocus
Mit seiner Ausrichtung auf graphische Darstellungsmittel soll AutoFocus ein möglichst intuitives Arbeiten ermöglichen. Dem Anwender stehen dabei als Arbeitsmittel ein Projektbrowser zur Verwaltung der Spezifikationsdokumente verschiedener Projekte sowie verschiedene Editoren für die einzelnen Spezifikationsdokumente zur Verfügung.

FairPay
Dependability of electronic payment systems

Security and Safety in Software Engineering


UMLsec


Verisoft
Projekt Verisoft