====== Textbook ======
There is no required textbook. A **suggested** text is: **Requirements Engineering: from system goals to UML models to software specifications** Axel van Lamsweerde Wiley, **2009** ISBN 0470012706 (paper, 682 pages). You may purchase this book through the [[http://bookstore.yorku.ca|York University Bookstore]] or from Amazon.

== Spin Model checker and other important textbooks (Steacie Reserve) ==

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

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

  * Requirements Engineering (Hardcover), by Elizabeth Hull (Author), Kenneth Jackson (Author), Jeremy Dick (Author) Springer; 2nd edition (September 14, 2004)

  * Discovering Requirements, Ian Alexander and Ljerka Beus-Dukic, Wiley, March 2009, ISBN 0470712406 (paper) 







== More readings (Steacie Reserve) ==


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


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

  * 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.),