Sample Specifications

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.