1. Introduction 2. Class and Interface Specifications 3. Extensions to Java Expressions 4. Conclusions A. Specification Case Defaults Bibliography Example Index Concept Index