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