Warning

This page was created from a pull request (#74).

Designing Good Specifications

This chapter describes several methods for thinking systematically about specifications.

Method Specifications

Variable Changes

Variable Relationships

State-Transition Systems

Risk Assessment

Mathematical Properties