CSE4312

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Resources ======

Use this page to list additional Resources that may be helpful to your students.

  * [[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:ieeespecs |Bertrand Meyer on the IEEE standard for specification]]
  * Difference between a [[http://www.agilemodeling.com/essays/useCaseReuse.htm|use case include and extend]].