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 York University Bookstore or from Amazon.

• 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)

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