Differences

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

--- resources [2011/11/11 03:34] – jonathan
+++ resources [2011/12/12 00:17] (current) – jonathan
@@ Line 7: / Line 7: @@
 =====PAT Resources =====
-  * See chapters 1 and 2 of [[http://www.usingcsp.com/cspbook.pdf|CSP]] by C.A.R. Hoare for examples and background to CSP.
-  *(2) [[http://www.comp.nus.edu.sg/~pat/|PAT3]] (also available under windows in Prism).
+  *Install [[http://www.comp.nus.edu.sg/~pat/|PAT3]] (also available under windows in Prism).
+  * Online User's Manual available [[http://www.comp.nus.edu.sg/~pat/OnlineHelp/index.htm|here]]. Also available from ''Help'' in the PAT application.
+  * 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 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]].