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:
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 (...)
Erfolgreiches Testen
Trotz des Einsatzes von Methoden und Phasenmodellen kann ein Systemtest nur erfolgreich sein, wenn man entsprechend motivierte Mitarbeiter dafür hat...
 Anbieterverzeichnis
Das Verzeichnis registrierter Anbieter in software-kompetenz.de
Dienstleister stellen sich vor.
Auch Sie können sich eintragen.
Fraunhofer Institut für Experimentelles Software Engineering
Mehr als 100 Mitarbeiter unterstützen Sie mit praxisrelevanten Techniken und Methoden für qualitativ hochwertige Softwareentwicklung.
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2018