Mit  4349  Einträgen rund um das Thema Software-Engineering.
 Neue Einträge    Highlights    Profisuche
 Automatisierungstechnik
 Fahrzeugtechnik
 Finanzdienstleistung
 Telekommunikation
 E-Business
 Kritische Systeme
 Veranstaltungstermine
Termine zu Veranstaltungen wie Workshops und Präsentationen im Rahmen von software-kompetenz.de oder einem der VSEK-Projektpartner.
 
 Forum
Unser Forum bietet Ihnen Austausch mit Gleichgesinnten. Beteiligen Sie sich an Diskussonsforen mit Fragen und Antworten zu einem Thema Ihrer Wahl oder lassen Sie sich durch den Newsletter auf dem Laufenden halten.
Beispiele:
Erfahrungsfrage: Falls ja, ab wann wird der QM-Beauftragte in die Projektplanung aktiv mit einbezogen?
Verification Runtimes
Technically, we distinguish three phases of a verification task. Firstly, the model generation, i.e. compilation of the UML model into a finite state machine (FSM) palatable for the underlying VIS model checker1, secondly, actual model checking, and thirdly - undoing optimisations of the VIS on the level of the FSM the completion and back-translation of the counter-example to terms of the UML model (...)
 Anbieterverzeichnis
Das Verzeichnis registrierter Anbieter in software-kompetenz.de
Dienstleister stellen sich vor.
Auch Sie können sich eintragen.
Fraunhofer-Institut für Informations- und Datenverarbeitung
Das Fraunhofer-IITB ist das Schwerpunkt-Institut für die automatische und interaktive Bildauswertung, die Anwendung der Informationstechnik...
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2018