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

• 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.), CSE 6411 / Programming Logic for Complex Systems