QA 76.9 O35 F695 2004 UML distilled : a brief guide to the standard object / Fowler, Martin, 1963- reserve desk:STEAC-RESV reserve status:ACTIVE expires:NEVER
QA 76.758 K69 1998 Requirements engineering : processes and techniques / Ger / Kotonya, Gerald. reserve desk:STEAC-RESV reserve status:ACTIVE expires:NEVER
QA 76.76 D47 J32 2001 Problem frames : analysing and structuring software develop / Jackson, M. A. reserve desk:STEAC-RESV reserve status:ACTIVE expires:NEVER
QA 76.76 D47 W493 2006. More about software requirements : thorny issu / Wiegers, Karl Eugene, 1953- reserve desk:STEAC-RESV
Mordechai Ben-Ari, Principles of the Spin model checeker, Springer, ISBN-13: 978-1846287695, 2008
TA 168 H68 2004 The spin model checker : primer and reference m / Holzmann, Gerald J., 1951- reserve desk:STEAC-RESV reserve status:ACTIVE expires:NEVER