We Can Trust David Lorge Parnas McMaster University Software is devilishly hard to inspect.
Serious errors can hide in a software product for years.
People are hesitant to employ software in safety-critical applications. Many companies are finding correcting and improving software to be an increasingly burdensome cost. During the procedure, the inspectors produce and review mathematical documentation. The author of more than 180 papers and reports, Dr. Parnas is interested in most aspects of computer system engineering. Professor Parnas received his Ph.D. in Electrical Engineering from Carnegie-Mellon University, and honorary doctorates from the ETH in Zurich and the Catholic University of Louvain, in Belgium.