CSC 308, Fall 2011, Gene Fisher

CSC 308, Fall 2011
Gene Fisher

General Index:

lectures -- lecture notes, as presented in class

handouts -- various informational handouts, discussed in class

examples -- project examples, excerpts of which discussed in class

textbook -- more detailed discussion of material in lectures, handouts, and examples

doc -- documentation for tools

bin -- directory of executable tools

grades -- project milestone evaluations (requires team password to enter)

Items of Near-Term Interest:

milestone 10 -- final project delivery

jml-basics.html -- setting up the JML checker

sample final exam -- example of the project portion of the final

Index by Week:

Week 1:

course syllabus -- introductory description of the course
project description -- high-level description of the scheduler project
milestone 1 writeup -- team formation, related systems search
requirements specification document outline -- overview of the format and contents of the document that each project team will produce this quarter
lecture notes weeks 1 and 2 -- introduction to software engineering, requirements analysis, and specification

Week 2:

standard operating procedures, volume 1 -- introduction to the projects directory structure and the standard procedures for updating project data files
svn basics -- basic commands for using the concurrent version control system (SVN)
milestone 2 writeup -- initial work on functional requirements
milestone 1-2 example [ html , pdf ] -- very rough draft of Section 1 and Section 2 of the requirements specification document
unix basics -- basic commands for file and directory access in UNIX
html basics -- basic introduction to the WWW hyper-text markup language (HTML)

Week 3:

milestone 3 writeup -- continued work on functional requirements; administrative tasks
requirements document standards -- standard file and HTML structure for requirements documents
conventions for a standardized GUI -- graphical user interface (GUI) convections
lecture notes week 3 -- further discussion of the requirements analysis process and requirements document details
Excerpt from the milestone 6 example [ HTML , PDF ] -- a companion to lecture notes 3, showing a completed scenario

Week 4:

milestone 4 writeup -- continued work on functional requirements; initial work on formal specification; public requirements walkthroughs
standard operating procedures, volume 2 -- procedures for requirements inspection testing
java as an abstract modeling language -- overview of the CSC 308 modeling language
lecture notes week 4 -- introduction to requirements modeling

Week 5:

lecture notes weeks 5 and 6 -- details of requirements model derivation and refinement
using Java as a modeling language -- overview of Java as an abstract modeling and formal specification language

Week 6:

lab notes week 6 -- migration from vogon, and svn stuff
milestone 5 writeup -- continued work on functional requirements and formal specification
milestone 6 writeup -- continued work on functional requirements and formal specification; in-lab modeling reviews
Lecture/lab meeting times for Friday 28 October -- meetings in both lecture and lab times to discuss Milestone 4 evaluations

Week 8:

milestones 7 and 8 writeup -- continued work on functional requirements and formal specification
milestone 9 writeup -- oral presentation
lecture notes weeks 7 and 8 -- introduction to fully formal specification
lecture notes week 8, part 2 -- gui prototyping in java swing

Week 9:
lecture notes week 9 -- requirements for file and edit commands; non-functional requirements
1

Document File Formats

Data files are available in the following formats:

HTML, suitable for viewing with a web browser; these files have a ".html" extension.

PDF, suitable for viewing with Adobe Reader; these files have a ".pdf" extension.

PostScript, suitable for viewing with a PostScript previewer or direct printing on a PostScript printer; these files have a ".ps" extension.

Most file links in an HTML document, point to other HTML files. To access the PostScript, PDF, or plain text version of a document, go to the desired directory and view the desired file with the ".ps", ".pdf", or ".txt" extension.