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 [2012/09/16 01:50] – jonathanresources [2012/10/23 17:16] (current) – jonathan
Line 11: Line 11:
   * Online User's Manual available [[http://www.comp.nus.edu.sg/~pat/OnlineHelp/index.htm|here]]. Also available from ''Help'' in the PAT application.   * 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.   * 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.   * See the SVN for more PAT documentation as well as the slides presented in class. The PAT application itself has an example generator.
-  * Latex details [[resources:latex]]+ 
 +===== UML ===== 
 + 
 + 
 +  * UML Tutorials ([[http://en.wikipedia.org/wiki/Unified_Modeling_Language|overview]]) 
 +    * [[http://en.wikipedia.org/wiki/UML_state_machine |UML Statecharts]] 
 +    * [[http://en.wikipedia.org/wiki/Use_Case_Diagram|UML Use Case Diagrams]] 
 +    * [[http://en.wikipedia.org/wiki/Class_diagram|UML Class Diagrams]] 
 +    * [[http://en.wikipedia.org/wiki/Sequence_diagram|UML Sequence Diagrams]] 
 +    * For the full OMG specification of UML see [[http://www.omg.org/spec/UML/2.4.1/Infrastructure/PDF|syntax]] and [[http://www.omg.org/spec/UML/2.4.1/Infrastructure/PDF/|semantics]]. 
 +  * Visio 2010 is a good tool for doing UML diagrams. You can do your drawing, save as a pdf, and then include the pdf in your Latex document. 
 +  *[[http://www.cse.yorku.ca/tdb/_doc.php/userg/a_dept/dreamspark.html|Download Visio]] 
 +  *[[http://softwarestencils.com/uml/index.html|Visio 2010 UML stencil]] 
 +  *[[http://www.websequencediagrams.com|Web sequence diagrams]]. You can draw a sequence diagram using the web and download as a pdf for use in Latex. 
 +  * Latex [[resources:latex|details]]
  
 ===== 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]].   * Difference between a [[http://www.agilemodeling.com/essays/useCaseReuse.htm|use case include and extend]].
- 
- 
  
  
resources.1347760227.txt.gz · Last modified: by jonathan