• Required: Ian Alexander, et. al, Writing Better Requirements, Addison-Wesley, 2002, ISBN-13: 978-0321131638

• Suggested

• Mordechai Ben-Ari, Principles of the Spin model checeker, Springer, ISBN-13: 978-1846287695, 2008

• QA 76.76 D47 W493 2006. More about software requirements : thorny issu / Wiegers, Karl Eugene, 1953- reserve desk:STEAC-RESV

• 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.758 K69 1998 Requirements engineering : processes and techniques / Ger / Kotonya, Gerald. reserve desk:STEAC-RESV reserve status:ACTIVE expires:NEVER

• 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

• 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

You may purchase this book through the York University Bookstore.