- Referenced in 25 articles
- Specware is a software engineering tool that automatically generates high-assurance software. Specware ... core of the design process in Specware lies stepwise refinement, in which users begin with...
- Referenced in 4 articles
- also been connected to Kestrel’s SPECWARE environment for software development...
- Referenced in 3 articles
- DTRE -- a semi-automatic transformation system. This paper...