Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Universität Koblenz
Campus Koblenz
Fachbereich 4 - Informatik
Institut für Softwaretechnik (IST)

Adresse Universitätsstraße 1
56070 Koblenz
Deutschland

GERiT Diese Institution in GERiT

56070 Koblenz

Projekte

Schwerpunktprogramme
- abgeschlossene Projekte
Sachbeihilfen
- laufende Projekte
  - TraceSEC - Nachverfolgbarkeit und Erklärbarkeit von Security in der Softwareentwicklung
    (Antragsteller Jürjens, Jan ; Schneider, Kurt )
- abgeschlossene Projekte
  - Sprachintegrierte semantische Anfragen (LISeQ)
    (Antragsteller Lämmel, Ralf ; Staab, Steffen )
  - Toolunterstützte Modellierung, Analyse und Synthese sicherheitsrelevanter Steuerungen für den Eisenbahnverkehr mit Petrinetztechnologien
    (Antragsteller Lautenbach, Kurt )
  - Unternehmensmodellierung zur Unterstützung effizienter Prozesse im Electronic Commerce
    (Antragsteller Frank, Ulrich )

© 2024 DFG Kontakt / Impressum / Datenschutz