Differences

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

--- resources [2011/10/09 18:59] – jonathan
+++ resources [2011/12/12 00:17] (current) – jonathan
@@ Line 5: / Line 5: @@
   * [[http://www.cse.yorku.ca|Department of CSE Home Page]]
   *   [[https://w2prod.sis.yorku.ca/Apps/WebObjects/cdm.woa/wa/curexam|York Exam Schedule]]
+=====PAT Resources =====
+  *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: |Bertrand Meyer on the IEEE standard for specification}
+  * [[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]].