has been held as an important part of WORLDCOMP:
For many decades we have been promised that the “Formal Methods” developed by computer scientists would bring about a drastic improvement in the quality and cost of software development. That improvement has not materialized. We review the reasons for this failure. We then explain the difference between the notations that are used in formal methods and the mathematics that is essential in other areas of Engineering. Finally, we illustrate the way that Engineering Mathematics has proven useful in a variety of software projects.
Dr David Lorge Parnas has been studying industrial software development since 1969. Many of his papers have been found to have lasting value. For example, a paper written 25 years ago, based on a study of avionics software, was recently awarded a SIGSOFT IMPACT award.
Parnas has won more than 20 awards for his contributions. In 2007, Parnas was proud to share the IEEE Computer Society's one-time sixtieth anniversary award with computer pioneer Professor Maurice Wilkes of Cambridge University.
Parnas received his B.S., M.S. and Ph.D. in Electrical Engineering from Carnegie Mellon University. and honorary doctorates from the ETH in Zürich (Switzerland), the Catholic University of Louvain (Belgium), the University of Italian Switzerland (Lugano), and the Technische Universität Wien (Austria). He is licensed as a Professional Engineer in Ontario.
Parnas is a Fellow of the Royal Society of Canada (RSC), the Association for Computing Machinery (ACM), the Canadian Academy of Engineering (CAE), the Gesellschaft für Informatik (GI) in Germany and the IEEE. He is a Member of the Royal Irish Academy.
Parnas is the author of more than 270 papers and reports. Many have been repeatedly republished and are considered classics. Among those that have won awards are:
- “Designing Software for Ease of Extension and Contraction” IEEE Transactions on Software Engineering, March 1979, which received the 1979 “Best Paper” award of the ACM in 1979 and the “Most Influential Paper from ICSE 3” award ten years later.
- “The Modular Structure of Complex Systems”, IEEE Transactions on Software Engineering, March 1985, (with David Weiss and Paul Clements) received the “Best Paper from ICSE 7” award at the 17th International Conference on Software Engineering. and the 2008 ACM SIGSOFT Impact Paper Award
- “Software Aging”, in Proceedings of the 16th International Conference on Software Engineering, Sorento Italy, May 16 - 21 1994, which received the 2010 ACM SIGSOFT Impact Paper Award
A collection of his papers can be found in:
Hoffman, D.M., Weiss, D.M. (eds.), “Software Fundamentals: Collected Papers by David L. Parnas”, Addison-Wesley, 2001, 664 pgs., ISBN 0-201-70369-6.
Dr. Parnas is Professor Emeritus at McMaster University in Hamilton Canada,and at the University of Limerick Ireland and an Honorary Professor at Ji Lin University in China. He is President of Middle Road Software.