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 the SVN for more PAT documentation as well as the slides presented in class. The PAT application itself has an example generator.

• UML Tutorials (overview)
  • UML Statecharts
  • UML Use Case Diagrams
  • UML Class Diagrams
  • 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.
• Download Visio
• Visio 2010 UML stencil
• Latex details

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