Please note: these documents are copyrighted by their authors. They are made
available here for the purposes of a course assignment for CSC340. Please do
not use or duplicate them for other reasons without prior approval.
- 1) Parking Garage
- The specification describes the requirements for a control system for the
entry and exits at a parking garage. The specification is 18 pages long including
its cover sheet. It was originally developed for a series of experiments on
inspection conducted at University of Maryland.
- 2) Automated Teller Machine Network
- The specification describes the requirements for a network of teller machines
for a bank. The specification is 17 pages long, including its cover sheet.
It was originally developed for a series of experiments on inspection conducted
at University of Maryland.
- 3) Graph Editor
- The specification describes the requirements for a graph drawing program,
based on the GXL standard for representing graphs. The specification is 16
pages long, including its cover sheet. It was originally developed for a 4th
year engineering course at the University of Toronto, on which students were
asked to implement the specified system.
- 4) SAFER - the Simplified Aid for EVA Rescue
- This is a description of the requirements for a device that NASA uses for
spacewalks. It's not actually a requirements spec as such, but is close enough.
The document is 17 pages long, plus 8 pages of diagrams. It orginally formed
one of the appendices of the NASA guidebook on formal methods, and was written
as a case study to demonstrate formal specification techniques. If you search
on the web, you may find several different formalizations of these requirements
in various formal specification languages.
- 5) EZ-law
- This specification describes requirements for a billing and accounting system
for a law firm. The specification is 43 pages long. It originally came with
another 48 pages of appendices, but these have been removed from this version.
The specification was written as an assignment for CSC340 at the University
of Toronto in 2002 by a team of undergraduate students.