CSC 308 Handouts

CSC 308
Handouts


General Class Information:

Project Milestones:

Standards and Conventions:

Language and Tool Documentation:
  • svn basics -- basic commands for using the subversion version control system (svn)

  • unix basics -- basic commands for file and directory access in UNIX

  • html basics -- quick introduction to HTML, with links to online resources

  • using Java as a modeling language -- overview of Java as an abstract modeling and formal specification language

  • JML basics -- quick overview of the JML formal modeling tools, in particular how to set up the JML checker




index | lectures | handouts | examples | textbook | doc | grades