User Tools

Site Tools


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:here]+ 
 +===== 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.1347760204.txt.gz · Last modified: 2012/09/16 01:50 by jonathan

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki