Differences

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

--- start [2013/01/06 05:33] – jonathan
+++ start [2013/03/20 14:52] (current) – jonathan
@@ Line 1: / Line 1: @@
 ~~NOTOC~~
-====== System Specification and Refinement  ======
+====== CSE3342 System Specification and Refinement  ======
@@ Line 7: / Line 7: @@
 ===== Lecture Times =====
-  *
+  * CSE3342 System Specification and Refinement, TR 11.30am, CB115. LAB Tuesday 13:00 LAS 1002A
+  * **Important**: Subscribe to: [[https://forum.cse.yorku.ca/viewforum.php?f=201|3342 Forum]] for the latest announcements. Please ask all questions relating to the course material on the forum (not via email). For all other questions, see me during office hours.
+  *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).
+  * The Labs to be done each week are also available at [[[[protected:project:labs|Labs]].
+  *Read the course outline regularly.  It is important to read all the required readings (not all of which are discussed in class). It is important to do the suggested exercises.
+  * Office hours: Monday 5.30-6.30pm and Thursdays 1pm-1.45pm in the SEL (CSE2056).
 ===== Calendar Description  =====
@@ Line 30: / Line 40: @@
   *Compare the theory with classical Hoare Logic and the Dijkstra weakest precondition calculus .
-Chapters 1, 2, 3, 4, 5 and 9 from the text [[http://www.event-b.org/abook.html|Modeling in Event-B: System and Software Engineering]], Jean-Raymond Abrial (Cambridge) makes this a possible textbook for the course.
+Chapters 1, 2, 3, 4, 5, 9 and 15 from the text [[http://www.event-b.org/abook.html|Modeling in Event-B: System and Software Engineering]], Jean-Raymond Abrial (Cambridge) makes this a possible textbook for the course.