Use this page to list additional Resources that may be helpful to your students.

• Department of CSE Home Page
• York Exam Schedule

• Install PAT3 (also available under windows in Prism).
• Online User's Manual available here. Also available from Help in the PAT application.
• Click on User Manual in the sidebar at the PAT site for links to tutorials and conference presentations.
• See chapters 1 and 2 of 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 here. Obtain a small sample latex file here.
  • To run the file on Prism from the command line.
  • 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.
    • Select a file from template
  • generate latex tables web
  • windows app for latex table
• UML
  • 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.
    • Download Visio
    • Visio 2010 UML stencil
  • The TikZ-UML Latex package can also be used within LaTeX itself to do UML drawings (uses cases, class diagrams, statecharts and sequence diagrams).

• Bertrand Meyer on the IEEE standard for specification
• Difference between a use case include and extend.