Classification
Why Classify?
Aid Manipulation
Aid Implementation
Issues
Closed under composition, anti-refinement
Incorporate into tools
Next
|
Previous
|
Overview
|
Index
Tom Verhoeff, Classification of DI Process Specifications