Participating 
     Organizations 
  Research   
     Topics 
  People 
   

formalWARE 
    results  

  Overview 
  Publications 
  Presentations 
  Tools   
  Methods 
  Examples   
  Training 

formalWARE  
  information  

  Events 
  Index  
  Links   
  Contacts

The library example under development is composed of a system level specification with over 600 requirement objects that has been derived from a published request (E. Cortez, Proposals and contracts for library automation: guidelines for preparing RFPs, American Library association, USA, 1987.) for proposal for an automated, on-line library system, a set of software requirements specifications that describe a subset of the system's functionality, and the test cases for the software requirements. 

The system level specification is the essential working document in an experiment that is designed to compare the time and defect rates of writing a software requirements specification and their test cases when a formal and a semi-formal specification notation are used.  The hypotheses of the experiment are that the formal technique supports writing a requirements specification and the test cases in less time and with fewer defects than a semi-formal technique. The formal notation used in the experiment is the Formal Structured Stimulus Response technique under development as part of the FormalWare project. The semi-formal technique is a stimulus response technique that is based on a notation developed at Raytheon Systems Canada Limited.