About Specware

Richard Waldinger

July 22, 1996




Specware is a production of Kestrel Development Corp.



For information please contact:
Email: specware-request@kestrel.edu

Specware Webpage

SpecWeb Index

• What is Specware For?
  • Correctness: Making software behave as we mean it to
  • Productivity: Making software faster and easier to produce
  • Quality: Making better software
  • Evolution: Meeting changing requirements and environment
• Fundamental Concepts of Specware
  • The Specification
  • The Colimit
  • Refinement
    • Parallel Composition
    • Sequential Composition
  • Code Generation