SpecWare

SpecWare

Rating: 0 0/5 (0)
Publisher: Spectrum Technologies, Inc.
License type: Commercial
Price: 9.99$  Purchase
Home page: www.specware.org
Latest version: 8.0.0122
Last updated: March 31st, 2010
This review applies to version 6.2.

Specware is a leading-edge automated software development system that allows users to precisely specify the desired functionality of their applications and to generate provably correct code based on...
Main window
Main window