This is an old revision of the document!

Textbook

You may purchase this book through the York University Bookstore.

Steacie Reserve

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 V47 B46 2008
Principles of the Spin model checker / Mordechai Ben-Ar / Ben-Ari, M.,

1948-

  reserve desk:STEAC-RESV    reserve status:ACTIVE        expires:NEVER
       library:YORK                         total reserve charges:0

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:1

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:57

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:1

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                         total reserve charges:10

QA 76.758 A43 2002
Writing better requirements / Ian F. Alexan / Alexander, Ian (Ian F.),

1954-

  reserve desk:STEAC-RESV    reserve status:ACTIVE        expires:NEVER
       library:YORK                         total reserve charges:18

CSE 6411 / Programming Logic for Complex Systems

QA 76.76 D47 J29 2006
Software abstractions : logic, language, and analysis / D / Jackson, Daniel.
  reserve desk:STEAC-RESV    reserve status:ACTIVE        expires:NEVER
       library:YORK                         total reserve charges:0