Daniel M. Berry
Computer Science Department - University of Waterloo
200 University Ave. West - Waterloo, Ontario N2L 3G1 Canada
FAX: +1-519-746-5422
dberry@csg.uwaterloo.ca
http://www.cs.technion.ac.il/~dberry
Abstract
A vexing question is why formal methods, despite all their advantages, are not used routinely in software development. Other engineering disciplines use their formal methods in producing routinely reliable products. Perhaps the difference between the other engineerings and software engineers lie in the warranties producers must give for the products and the liabilities suffered by the producers for malfunctioning products. It is argued that software engineers would use formal methods more routinely if they had to guarantee their software and could be sued for damages caused by their malfunctioning software.
As poorly verified and validated as released software is today, the situation promises to get worse, as the pressure to be first to the e-commerce market drives software manufacturers to release software with even less verification and validation than heretofore.
Last Updated: 23 March, 2000 by Elisabetta Ferrando