Differences

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

--- start [2011/08/31 16:51] – jonathan
+++ start [2011/12/07 17:44] (current) – jonathan
@@ Line 9: / Line 9: @@
 ===== Lecture Times =====
-  * Tuesdays & Thursdays 4pm-5.30pm in [[ https://w2prod.sis.yorku.ca/Apps/WebObjects/cdm.woa/6/wo/ykEtFliJz2In8ytoE6nNZw/9.1.8.9.7.0.0| CC 208, Calumet College]]
+  * Tuesdays & Thursdays 4pm-5.30pm in CB120
 ===== Learning outcome =====
 Students should be able to
+  * Discover what problem must be solved and why
   * Elicit Goals and Requirements from Stakeholders (in the Problem Domain)
+  * Evaluate/Analyze the elicited data for consistency and correctness
   * Develop/Write a precise, structured, consistent **User Requirements Document**
   * Develop/Write a **System Specification Document** (in the Solution Domain)
   * Formulate Acceptance Tests and Traceability matrices for showing that the implemented software product satisfies the User Requirements Document
-  * Models: use some modelling methods and tools for requirements analysis including Goal models, UML models and mathematically specified  models for validating requirements (especially for safety/mission-critical software).
+  * Models: use some modelling methods and tools for requirements analysis including UML models and mathematically specified  models for validating requirements (especially for safety/mission-critical software).
-A work-intensive project (divided into 3 phases) will allow students to apply their knowledge to a non-trivial example.
+A work-intensive project will allow students to apply their knowledge to a non-trivial example.
 In addition
-  * you will be a temporal logic model checker using the for doing mathematical requirements analysis and verification (either [[http://www.comp.nus.edu.sg/~pat/|PAT2]] or [[https://wiki.cse.yorku.ca/lab/sel/tutorial:start|Spin]]). See Chapter 17 in the suggested text.
+  * you will be a temporal logic model checker using the for doing mathematical requirements analysis and verification (either [[http://www.comp.nus.edu.sg/~pat/|PAT2]]. See Chapter 17 in the suggested text.
   * You will also need to know some of the UML diagrams (you may want to read UML distilled : a brief guide to the standard object, Martin Fowler, available from Steacie).
 ===== Suggested texts =====
+[[http://theta.library.yorku.ca/uhtbin/cgisirsi/?ps=MV5JpaLwaf/YORK/14270185/82/CSE+4312/67082|List of books on reserve at Steacie]]
 Attendance at all lectures is obligatory as that is where the main material needed will be covered. If you Login at (see bottom of this page), you can access additional information such as notes and slides (on the SVN). There is no required textbook.
-A suggested text is: [[http://i.f.alexander.users.btopenworld.com/reviews/lamsweerde.htm|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 York University Bookstore or from [[http://www.amazon.ca/Requirements-Engineering-System-Software-Specifications/dp/0470012706|Amazon]]. ([[http://i.f.alexander.users.btopenworld.com/|Reviews of books on requirements engineering]]). Highlights from the text (we will cover some, but not all of this, in class) include:
+A suggested text available in Steacie is: [[http://i.f.alexander.users.btopenworld.com/reviews/lamsweerde.htm|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 from [[http://www.amazon.ca/Requirements-Engineering-System-Software-Specifications/dp/0470012706|Amazon]]. ([[http://i.f.alexander.users.btopenworld.com/|Reviews of books on requirements engineering]]). Some material we will cover:
   * A comprehensive introduction to the fundamentals of requirements engineering, including techniques for: requirements elicitation and reuse, risk analysis, conflict management, and requirements prioritization; requirements specification, inspection, validation, and verification; traceability management and change control.
   * An in–depth treatment of system modelling for requirements engineering, including constructive techniques for modeling system goals, conceptual objects, responsibilities among system agents, operations, scenarios and intended behaviors, and countermeasures to anticipated hazards and threats.