You may purchase this book through the York University Bookstore.

CSE 4312 / Software Engineering Requirements

QA 76.76 D47 W493 2006 More about software requirements : thorny issu / Wiegers, Karl Eugene,

QA 76.76 V47 B46 2008 Principles of the Spin model checker / Mordechai Ben-Ar / Ben-Ari, M.,

QA 76.76 D47 J32 2001 Problem frames : analysing and structuring software develop / Jackson, M. A.

QA 76.758 K69 1998 Requirements engineering : processes and techniques / Ger / Kotonya, Gerald.

TA 168 H68 2004 The spin model checker : primer and reference m / Holzmann, Gerald J.,

QA 76.9 O35 F695 2004 UML distilled : a brief guide to the standard object / Fowler, Martin,

QA 76.758 A43 2002 Writing better requirements / Ian F. Alexan / Alexander, Ian (Ian F.), CSE 6411 / Programming Logic for Complex Systems