CSE4312

User Tools

Site Tools

You are here: CSE4312 » Resources
Trace:
resources

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
resources [2011/11/11 03:58] – jonathanresources [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.   * 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 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 ===== ===== Miscellaneous =====
   * [[start:ieeespecs |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]].
  
  
  
  
resources.1320983887.txt.gz · Last modified: by jonathan