Differences

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

--- start [2018/07/30 02:47] – jonathan
+++ start [2018/08/29 00:07] (current) – jonathan
@@ Line 2: / Line 2: @@
 ====== EECS4312  Fall 2018: Software Engineering Requirements======
-**Fall 2017: CSE4312 -- Software Engineering Requirements**
+**Fall 2018: CSE4312 -- Software Engineering Requirements**
 Please __**login**__ at the bottom of this page before proceeding.
@@ Line 9: / Line 9: @@
 Some of your work is submitted at the Moodle site
-[[https://moodle.yorku.ca/moodle/course/view.php?id=103600|Moodle EECS4312E-F17]]
+[[https://moodle.yorku.ca/moodle/course/view.php?id=139851|Moodle EECS431-F18]].
+See the [[resources:|Resources]] Tab for information on the required Textbook, the TLA+ and PVS tools, private Educational Github repositories and Predicate Logic and Set Theory.
 ===== Lecture Times =====
-Lectures are in Bergeron Room 313. The first scheduled Lab will also be on Thursday, directly after the class, in LAS 1002/1004. **The first Lab is Thursday 7, September (first day of class)**.
+Lectures are on Tuesdays and Thursdays at 4pm in Bergeron Room 313. The first scheduled Lab will also be on Thursday, directly after the first class, in LAS 1002/1004.  **The first Lab is Thursday 6, September 2018 **. Thus the first class and the first lab start on the same day.
   * **Lectures**: Tuesdays & Thursdays 4pm-5.30pm
     * Tuesday lectures are to be held in: Bergeron Room 313.
     * Thursday lectures are to be held in: Bergeron Room 313.
-  * **Labs**: There is a formal Lab every Thursday in  LAS1004, from 5.30pm to 6.30pm. Labs start right away on the first day of class (with Lab0). Login with your Prism account, then do: ''~sel/retrieve/4312/lab0''.
+  * **Labs**: There is a formal Lab every Thursday in  LAS1002 and LAS1004, from 5.30pm to 6.30pm. Labs start right away on the first day of class (with Lab0). Login to this Wiki with your Prism account, and go to the SVN tab (on the left).
-  * **Quizzes**: There is a graded Quiz each week during the Lab.
+  * **Labtests**: There is a graded Labtest (using multiple choice) each week during the Lab, starting on Thursday 13 September. The Labtest will be on all the work up to (but not including that day).
 ===== Text Book and other Important Information =====