Read the Forum and Course Outline for more information.

• [Oct. 12] Information needed for the Labtest has now been posted.

• [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.