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:
Modellierung und Analyse mehrstufiger Sicherheitsprotokolle
Im Rahmen der Fallstudie “Modellbasierte Sicherheitsanalyse einer Bankapplikation” wurde eine speziell für den Bankenbereich entwickelte Anwendung, ein sogenannter digitaler Formularschrank, untersucht. Kern der Arbeit von J. Grünbauer ist die Analyse mehrstufiger Sicherheitsprotokolle.
The UML Verification Environment I
With the UVE tool, requirements on a UML model can be specified and proven using formal verification. In contrast to testing, formal verification considers all possible runs of a system, hence being especially adequate in the domain of critical systems development (...)
 Anbieterverzeichnis
Das Verzeichnis registrierter Anbieter in software-kompetenz.de
Dienstleister stellen sich vor.
Auch Sie können sich eintragen.
SINTEC Informatik GmbH
Als seit mehr als 15 Jahren etabliertes Software- und Beratungsunternehmen entwickelt die SINTEC Informatik GmbH maßgeschneiderte Software-Lösungen mit dem Fokus...
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2018