Spec Explorer 2010 Release 3.1
Keine Kommentare

Das Release 3.1. des Spec Explorers 2010 ist verfügbar und enthält neue Features und Überarbeitungen zur Modellierung von Software Behavior, Analyse der Software, zum Modelcheck und der Erstellung von

Das Release 3.1. des Spec Explorers 2010 ist verfügbar und enthält neue Features und Überarbeitungen zur Modellierung von Software Behavior, Analyse der Software, zum Modelcheck und der Erstellung von Standalone-Tests.

Die neue Version ist nur auf dem Release Candidate von Visual Studio 2010 lauffähig und kann auf der Projektseite bei DevLabs heruntergeladen werden. Auf der Projektseite finden sich auch weiterführende Informationen und ein einführendes Video zum Spec Explorer.

Unsere Redaktion empfiehlt:

Relevante Beiträge

Abonnieren
Benachrichtige mich bei
guest
0 Comments
Inline Feedbacks
View all comments
X
- Gib Deinen Standort ein -
- or -