This directory contains files for Technical Report CSRI-383.

The files in this directory are the following:

1) README       (< 1 KB - the ASCII file you are now reading)
2) TR-383.ps    (110 KB - PostScript)
3) TR-383.ps.gz (33  KB - PostScript compressed with the program "gzip")

If you have the UNIX "gunzip" program, get the file TR-383.ps.gz.
Remember to transfer the file in binary mode. After the transfer, 
"gunzip" the file.

If you do not have the UNIX "gunzip" program, get the file TR-383.ps 
in ASCII mode. 

After transfering the file, print it on a PostScript printer.

If you have any questions or comments about this technical report, please
contact chechik@cs.toronto.edu


TITLE:    Formal Methods When Money Is Tight

AUTHORS:  Marsha Chechik and Andre Wong


ABSTRACT:

Formal methods have been shown to improve the quality of software, but
they are seldom if ever used outside the safety-critical system
domain.  Typically, the initial cost of creating formal requirements
specifications is perceived to be prohibitively large while not
necessarily guaranteeing future benefits.  In this paper we discuss
ways of tailoring formal methods to suit current economic realities.