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