Differences

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

--- resources [2011/11/11 03:58] – jonathan
+++ resources [2011/12/12 00:17] (current) – jonathan
@@ Line 12: / Line 12: @@
   * Click on ''User Manual'' in the sidebar at the [[http://www.comp.nus.edu.sg/~pat/|PAT site]] for links to tutorials and conference presentations.
   * See chapters 1 and 2 of [[http://www.usingcsp.com/cspbook.pdf|CSP]] by C.A.R. Hoare for examples and background to CSP.
-  * See the SVN for more PAT documentation as well as the slides presented in class. The PAT application has an example generator.
+  * See the SVN for more PAT documentation as well as the slides presented in class. The PAT application itself has an example generator.
 ===== Miscellaneous =====
   * [[start:ieeespecs |Bertrand Meyer on the IEEE standard for specification]]
+  * Difference between a [[http://www.agilemodeling.com/essays/useCaseReuse.htm|use case include and extend]].