Differences

This shows you the differences between two versions of the page.

--- textbook [2009/08/27 17:44] – jonathan
+++ textbook [2009/08/27 17:47] (current) – jonathan
@@ Line 1: / Line 1: @@
 ====== 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.
+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 ==
+== 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.,
+  * 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)
-=== More readings (Steacie Reserve) ===
+  * Discovering Requirements, Ian Alexander and Ljerka Beus-Dukic, Wiley, March 2009, ISBN 0470712406 (paper)
+== More readings (Steacie Reserve) ==