Differences

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

--- textbook [2009/08/27 17:43] – jonathan
+++ textbook [2009/08/27 17:47] (current) – jonathan
@@ Line 1: / Line 1: @@
 ====== Textbook ======
-There is no required textbook. A suggested text is:
+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 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.
+  * 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)
-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 ==
-  *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.,
-=== More readings (Steacie Reserve) ===
+== More readings (Steacie Reserve) ==
-  * QA 76.76 D47 W493 2006
+  * QA 76.76 D47 W493 2006, More about software requirements : thorny issues / Wiegers, Karl Eugene,
-More about software requirements : thorny issues / Wiegers, Karl Eugene,
-QA 76.76 D47 J32 2001
+  * QA 76.76 D47 J32 2001, Problem frames : analysing and structuring software develop / Jackson, M. A.
-Problem frames : analysing and structuring software develop / Jackson, M. A.
-QA 76.758 K69 1998
+  * QA 76.758 K69 1998, Requirements engineering : processes and techniques / Ger / Kotonya, Gerald.
-Requirements engineering : processes and techniques / Ger / Kotonya, Gerald.
-QA 76.9 O35 F695 2004
+  * QA 76.9 O35 F695 2004, UML distilled : a brief guide to the standard object / Fowler, Martin,
-UML distilled : a brief guide to the standard object / Fowler, Martin,
-QA 76.758 A43 2002
+  * QA 76.758 A43 2002, Writing better requirements / Ian F. Alexan / Alexander, Ian (Ian F.),
-Writing better requirements / Ian F. Alexan / Alexander, Ian (Ian F.),
-CSE 6411 / Programming Logic for Complex Systems