start
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
start [2016/04/19 22:16] – jonathan | start [2017/01/05 22:34] (current) – jonathan | ||
---|---|---|---|
Line 1: | Line 1: | ||
~~NOTOC~~ | ~~NOTOC~~ | ||
- | ====== EECS3342 | + | ====== EECS3342 |
- | EECS3342 **Winter | + | EECS3342 **Winter |
+ | [[https:// | ||
===== Getting Started ===== | ===== Getting Started ===== | ||
* EECS3342 System Specification and Refinement Lecture Times: | * EECS3342 System Specification and Refinement Lecture Times: | ||
- | * Class TR 11.30am, PSE321. | + | * Class TR 11.30am <hi>From 10 January and onwards, lectures are in Bergeron 213</ |
- | * **Scheduled Labs**: Every Tuesday 1pm to 2pm in LAS 1002A. Labs attendance is required and there will be required labs, and a quiz almost every week, and Labtests during some of the sessions. <hi> The first lab is due Tuesday Jan 12 by 1.30pm. | + | * **Scheduled Labs**: Every Tuesday 1pm to 2pm in LAS 1004. Labs attendance is required and there will be required labs, and a quiz almost every week, and Labtests during some of the sessions. <hi> The first lab is now available, and due Tuesday Jan 17 at 11am, and the first Quiz will be on Tuesday Jan 17th, during the Lab</ |
- | * In the Lab, we now use Rodin 3.2. | + | * In the Lab, we now use Rodin 3.2. See [[: |
- | * **Important**: | + | * **Important**: |
*See bottom** ↓** of this page for login with your Prism password. Slides are available from the SVN repository (see link in the sidebar, once you have logged on). | *See bottom** ↓** of this page for login with your Prism password. Slides are available from the SVN repository (see link in the sidebar, once you have logged on). | ||
Line 20: | Line 21: | ||
*Read the course outline regularly. | *Read the course outline regularly. | ||
- | * In the SVN → Docs, you will find the Rodin 2.8 Manual. Please familiarize yourselves with all the material in the manual, during the first week of classes. | + | * In the SVN → Docs, you will find the PDF for the [[https:// |
* Suggested Text: Jean-Raymond Abrial, //Modeling in Event-B: System and | * Suggested Text: Jean-Raymond Abrial, //Modeling in Event-B: System and | ||
Line 83: | Line 84: | ||
12. Thinking before Programming using Lamport’s TLA+ specification method | 12. Thinking before Programming using Lamport’s TLA+ specification method | ||
+ | ===== Grades ===== | ||
+ | |||
+ | * [30%] Weekly quizzes. There will be about 8 weekly quizzes (almost every week). The first 2 quizzes each count 3%. The last 6 quizzes each count 4%. On condition that the Lab work is completed. Quizzes will be based on the Labs, lectures and required readings of the preceding weeks. | ||
+ | * [15%] LabTest after reading week. | ||
+ | * [15%] Project (working in a team of no more than two students) | ||
+ | * [40%] Final exam | ||
+ | |||
+ | It is required that you attend and complete the work allocated in the weekly Lab session in preparation for the Quizzes, Labtest, Project and Exam. <hi> Labs must be completed by their due date in order for you to receive credit for the Quizzes</ |
start.1461104190.txt.gz · Last modified: 2016/04/19 22:16 by jonathan