van Lamsweerde:

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

Instructor Companion Site

Chapter 16: Semi-Formal Reasoning for Model Analysis and Exploitation

Password Protected Assets

Need to Register?

Book Figures*

Get Help With:

* These links will open a new window

Copyright © 2000-2024 by John Wiley & Sons, Inc., or related companies. All right reserved.  | Privacy Policy