Forschungsprojekt - DZSF - Optimierung von DSTW-Zulassungsprozessen durch eine automatisierte Testplattform und formale Methoden

17Tage

Angebotsfrist15.01.2025 12:00 Uhr

Es soll untersucht werden, ob durch die Festlegung von zusätzlichen formalen Eigenschaften für die EULYNX-Spezifikation der Interpretationsspielraum geschlossen, eine Validierung der Spezifikation insgesamt durchgeführt und Black-Box-Tests ermöglicht werden können. Weiterhin soll die Anwendbarkeit von automatisierten Testumgebungen für...

Vergabeart

Jetzt freischalten und Zugriff erhalten

Auftrag­geber

Jetzt freischalten und Zugriff erhalten

Vergabe­nummer (des Auftraggebers)

Jetzt freischalten und Zugriff erhalten

Vergabe-ID (bei evergabe.de)

3070269
17Tage

Angebotsfrist15.01.2025 12:00 Uhr

Termin in Kalender eintragen

Ausführungsort (1)

  • 53175 Bonn
    Heinemannstraße 6, Nordrhein-Westfalen

Zeitraum der Leistungserbringung

Status meiner Bearbeitung

Jetzt freischalten und Zugriff erhalten

Meine Notiz

Jetzt freischalten und Zugriff erhalten

Jetzt freischalten und Zugriff erhalten auf:

  • Name des Auftraggebers
  • Zeitraum der Leistungserbringung
  • Vergabeunterlagen (ggf. Verlinkung)
  • Bekanntmachungstexte
  • Teilnahme am Verfahren (ggf. Verlinkung)
  • Persönliche Notizen und Bearbeitungsstatus