• 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

Please keep: CSE 4312 / Software Engineering Requirements

QA 76.76 D47 W493 2006
More about software requirements : thorny issu / Wiegers, Karl Eugene, 1953-
  reserve desk:STEAC-RESV    reserve status:ACTIVE        expires:NEVER
       library:YORK                         total reserve charges:1

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
       library:YORK                         total reserve charges:0

QA 76.758 K69 1998
Requirements engineering : processes and techniques / Ger / Kotonya, Gerald.
  reserve desk:STEAC-RESV    reserve status:ACTIVE        expires:NEVER
       library:YORK                         total reserve charges:52

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
       library:YORK                         total reserve charges:0

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
       library:YORK                         

You may purchase this book through the York University Bookstore.