Chapter 17. Specification
OOC
>
Object Oriented Computing
>
Specification
Chapter 17. Specification
Table of Contents
1. Introduction
2. Behavioral Equivalence
3. Specification Structure
4. Declarative Specification
5. Exceptions and Preconditions
6. Shorthands
7. Judging Specifications
8. Lecture Notes
Copyright © 1998-2009 Dilvan Moreira
