van Lamsweerde:

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

Instructor Companion Site

Chapter 18: Formal Reasoning for Specification Construction and Analysis

Password Protected Assets

Need to Register?

Get Help With:

* These links will open a new window