van Lamsweerde:

Requirements Engineering: From System Goals to UML Models to Software Specifications

Instructor Companion Site

Part 3: Reasoning About System Models

* These links will open a new window