Differences

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

--- resources [2012/09/16 02:19] – jonathan
+++ resources [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.
   * 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.
-  *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]]
+===== UML =====
-        *[[http://softwarestencils.com/uml/index.html|Visio 2010 UML stencil]]
+  * 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]]
@@ Line 21: / Line 31: @@
   * [[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]].