textbook
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| textbook [2009/08/27 17:37] – jonathan | textbook [2009/08/27 17:47] (current) – jonathan | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Textbook ====== | ====== Textbook ====== | ||
| + | There is no required textbook. A **suggested** text is: **Requirements Engineering: | ||
| + | == Spin Model checker and other important textbooks (Steacie Reserve) == | ||
| - | You may purchase this book through | + | *QA 76.76 V47 B46 2008, Principles of the Spin model checker |
| - | == Steacie Reserve == | + | * TA 168 H68 2004, The spin model checker : primer and reference m / Holzmann, Gerald J. |
| - | CSE 4312 / Software Engineering | + | * Requirements |
| - | | + | |
| - | More about software requirements : thorny issu / Wiegers, Karl Eugene, | + | |
| - | 1953- | + | |
| - | reserve desk: | + | |
| - | | + | |
| - | QA 76.76 V47 B46 2008 | ||
| - | Principles of the Spin model checker / Mordechai Ben-Ar / Ben-Ari, M., | ||
| - | 1948- | ||
| - | reserve desk: | ||
| - | | ||
| - | QA 76.76 D47 J32 2001 | ||
| - | Problem frames : analysing and structuring software develop / Jackson, M. | ||
| - | A. | ||
| - | reserve desk: | ||
| - | | ||
| - | QA 76.758 K69 1998 | ||
| - | Requirements engineering : processes and techniques / Ger / Kotonya, Gerald. | ||
| - | reserve desk: | ||
| - | | ||
| - | TA 168 H68 2004 | ||
| - | The spin model checker : primer and reference m / Holzmann, Gerald J., | ||
| - | 1951- | ||
| - | reserve desk: | ||
| - | | ||
| - | QA 76.9 O35 F695 2004 | ||
| - | UML distilled : a brief guide to the standard object / Fowler, Martin, | ||
| - | 1963- | ||
| - | reserve desk: | ||
| - | | ||
| - | QA 76.758 A43 2002 | ||
| - | Writing better requirements / Ian F. Alexan / Alexander, Ian (Ian F.), | ||
| - | 1954- | ||
| - | reserve desk: | ||
| - | | ||
| - | CSE 6411 / Programming Logic for Complex Systems | + | == More readings (Steacie Reserve) == |
| - | QA 76.76 D47 J29 2006 | ||
| - | Software abstractions : logic, language, and analysis / D / Jackson, Daniel. | ||
| - | reserve desk: | ||
| - | | ||
| + | * 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.), | ||
| + | |||
| + | | ||
textbook.1251394674.txt.gz · Last modified: 2009/08/27 17:37 by jonathan