Differences

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

--- textbook [2007/07/31 18:42] – external edit 127.0.0.1
+++ 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.
-You will require the following textbook for this course:
+== Spin Model checker and other important textbooks (Steacie Reserve) ==
-  * Jane Doe. //Absolute Computing//. Second edition. Addison Wesley, 2007.
+  *QA 76.76 V47 B46 2008, Principles of the Spin model checker / Mordechai Ben-Ar / Ben-Ari, M.
-You may purchase this book through the [[http://bookstore.yorku.ca|York University Bookstore]].
+  * 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)
+== More readings (Steacie Reserve) ==
+  * 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.),