start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| start [2011/08/31 17:00] – jonathan | start [2012/12/14 03:11] (current) – jonathan | ||
|---|---|---|---|
| Line 2: | Line 2: | ||
| ====== CSE4312 | ====== CSE4312 | ||
| - | **Fall | + | **Fall |
| - | ← Please read the forum regularly for course updates. | + | ← Please read the **forum** regularly for course updates. |
| ===== Lecture Times ===== | ===== Lecture Times ===== | ||
| - | * Tuesdays & Thursdays 4pm-5.30pm in CB120 | + | * Tuesdays & Thursdays 4pm-5.30pm in CB122 |
| + | * Guest lectures on UML by Dr. Jackie Wang, on Tuesdays Sep. 18, Sep. 25 and Oct. 2nd. | ||
| ===== Learning outcome ===== | ===== Learning outcome ===== | ||
| Students should be able to | Students should be able to | ||
| + | * Discover what problem must be solved and why | ||
| * Elicit Goals and Requirements from Stakeholders (in the Problem Domain) | * Elicit Goals and Requirements from Stakeholders (in the Problem Domain) | ||
| + | * Evaluate/ | ||
| * Develop/ | * Develop/ | ||
| - | * Develop/ | ||
| * Formulate Acceptance Tests and Traceability matrices for showing that the implemented software product satisfies the User Requirements Document | * 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 UML models and mathematically | + | * Models: use some modelling methods and tools for requirements analysis including |
| + | * Informal | ||
| + | * Mathematically | ||
| A work-intensive project 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 | In addition | ||
| - | * you will be a temporal logic model checker | + | * you will be using a temporal logic model checker |
| * 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). | * 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 ===== | ===== Suggested texts ===== | ||
| + | |||
| + | [[http:// | ||
| 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. | 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:// | + | A suggested text available in Steacie |
| * A comprehensive introduction to the fundamentals of requirements engineering, | * A comprehensive introduction to the fundamentals of requirements engineering, | ||
| * An in–depth treatment of system modelling for requirements engineering, | * An in–depth treatment of system modelling for requirements engineering, | ||
start.1314810019.txt.gz · Last modified: 2011/08/31 17:00 by jonathan