Spec Explorer 2010 Release 3.1
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

Meinungen zu diesem Beitrag

X
- Gib Deinen Standort ein -
- or -