Differences

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

--- resources [2012/09/16 01:49] – 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.
-  * Latex introduction [[http://www.maths.tcd.ie/~dwilkins/LaTeXPrimer/TypicalInput.html|here]]. Obtain a small sample latex file [[http://www.maths.tcd.ie/~dwilkins/LaTeXPrimer/TypicalInput.html|here]].
-    * To run the file on Prism from the command line.
+===== UML =====
-    * To get started on Prism/Linux:
-      * At the command line run ''texworks''. From File->select-from-template->Latex->article save and select a start file.
-      * Press the green run button.
+  * UML Tutorials ([[http://en.wikipedia.org/wiki/Unified_Modeling_Language|overview]])
-      * Select a file from template
+    * [[http://en.wikipedia.org/wiki/UML_state_machine |UML Statecharts]]
-    *[[http://truben.no/latex/table/|generate latex tables web]]
+    * [[http://en.wikipedia.org/wiki/Use_Case_Diagram|UML Use Case Diagrams]]
-    * [[http://www.ctan.org/pkg/latable|windows app for latex table]]
+    * [[http://en.wikipedia.org/wiki/Class_diagram|UML Class Diagrams]]
-  *UML
+    * [[http://en.wikipedia.org/wiki/Sequence_diagram|UML Sequence Diagrams]]
-     *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.
+    * 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]].
-        *[[http://www.cse.yorku.ca/tdb/_doc.php/userg/a_dept/dreamspark.html|Download Visio]]
+  * 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://softwarestencils.com/uml/index.html|Visio 2010 UML stencil]]
+  *[[http://www.cse.yorku.ca/tdb/_doc.php/userg/a_dept/dreamspark.html|Download Visio]]
-    * The TikZ-UML Latex package can also be used within LaTeX itself to do UML drawings (uses cases, class diagrams, statecharts and sequence diagrams).
+  *[[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 =====
   * [[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]].