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