Symposium on Software Quality Techniques and Acquisition Criteria (2nd 1995 Florence, Italy)