====== Textbook ======

[[http://bookstore.yorku.ca|York University Bookstore]].

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

  * **Suggested**
    * 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