What's New?

Read the Forum and Course Outline for more information.

Some of the projects are not satisfying some Basic Acceptance Tests This means that the basic User Rquirements are not being satisfied and that is of major concern. See Phase3.

[Feb 10, 2009] The best Phase2 report is now available on the SVN (see “Project Phase3”). Thanks to the authors who agreed to make it available to the class. There were other good reports as well.

[Feb 5, 2009] See the main page of this wiki for strike remediation details. Phase2 grades on ePost have been released (your projects will be returned next week). Feedback on Phase2. Due dates for Phase3 and the HomeTest have been released. Please sign up to meet with the TA for Phase3.

[Oct 31] RequirementsSpecsExample.{doc,pdf} provides a template for writing User Requirements and System Specification Documents. A small example is used to illustrate these two types of documents. The latest revision will be available in the course SVN. This document will help you understand the organization and level of detail needed for your Project (Phase2 and Phase3).

[Oct 26] Project Phase3 details are now released. See also Specification of the dPost comand line user interface. Now is a good time to start on the implementation of the dPost command line code.

[Oct. 5] A tentative description of the Phase 2 of the project has been released. Quiz2 will be on the various UML diagrams we have studied (Use Case, class diagrams & contracts, scenario diagrams, and statecharts). It will also be on Requirements Elicitation and Documentation that we have studied in the class and in the textbook.

[Sep 28] TrainGate.pdf (see same folder where slides are kept) is a sample Requirements Document to help you with Phase1. The Document was prepared using Latex (see the readme file; latex source provided), but you may use any document preparation system such as MS Office or Open Office, provided the result has a professional look as in the example. In the Papers folder (see same folder where slides are kept) there are two papers by well-known companies that do Requirements Engineering with advice on how to write a Requirements Document. This is not required reading but you might find it useful. There is also a paper on the use of formal methods (mathematically precise specification methods) which is applicable to our use of Spin for specifications.

[Sep 22] There will be extra office hours tomorrow Sep. 23, 2.30-3.30pm in the SEL (CSEB2056)

[Sep, 8] Ungraded Exercise 1 is now released to be done in preparation for Quiz 1. Make sure that you do the required weekly readings from the textbook Writing Better Requirements. See Course Policies.

[Sep. 4] Welcome to 4312! The first Quiz is on September 23. Phase 1 of the Project is released and due October 7. See the Forum for announcements.