Differences

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

--- start [2013/03/20 14:50] – jonathan
+++ start [2013/03/20 14:52] (current) – jonathan
@@ Line 1: / Line 1: @@
 ~~NOTOC~~
-====== System Specification and Refinement  ======
+====== CSE3342 System Specification and Refinement  ======
@@ Line 13: / Line 13: @@
   *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 on the SVN (SVN->Labs). Follow the ''read me.txt''.
+  * 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.
@@ Line 40: / 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.