Specware 4.2 Tutorial

All rights reserved

The name Specware® is a registered trademark of Kestrel Development Corporation


Table of Contents
1. Specware Concepts
Overview
Specware Development Process
Building Specifications
Refining Specifications
Extending Refinements
Generating Code
Specification Components
Types, Operations, Axioms
Models
Polymorphism
Morphisms
Diagrams and Colimits
Substitutions
Interpretations
2. Example
The Problem
Specification
Construction
Processing by Specware
Refinement
Construction
Proof Obligations
Alternatives
Code Generation and Testing
Code Generation
Testing