ERSA’11 PROGRAMME

ERSA/WORLDCOMP KEYNOTE TALK

ERSA/WORLDCOMP KEYNOTE TALK

Professor David Lorge Parnas
How Engineering Mathematics can Improve Software,
Prof. David Lorge Parnas,
Middle Road Software, Inc, Canada
Time: 08:50 - 09:45am
Location: Lance Burton Theater
Prof. David Lorge Parnas, Ph.D., P.Eng. (Ontario)
Dr.h.c.: ETH Zürich, Louvain, Lugano
Fellow: RSC, ACM, CAE, GI, IEEE; MRIA
Professor Emeritus, CAS, Engineering, McMaster University
Hamilton, Ontario, Canada
Professor Emeritus, CSIS, University of Limerick
Limerick, Ireland

Abstract

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.

Slides

How Engineering Mathematics can Improve Software

Bio

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.

fig_09

ERSA/WORLDCOMP KEYNOTES

Prof. David Lorge Parnas, "How Engineering Mathematics can Improve Software"

ERSA/WORLDCOMP KEYNOTE TALK

Professor David Lorge Parnas
How Engineering Mathematics can Improve Software,
Prof. David Lorge Parnas,
Middle Road Software, Inc, Canada
Time: 08:50 - 09:45am
Location: Lance Burton Theater
Prof. David Lorge Parnas, Ph.D., P.Eng. (Ontario)
Dr.h.c.: ETH Zürich, Louvain, Lugano
Fellow: RSC, ACM, CAE, GI, IEEE; MRIA
Professor Emeritus, CAS, Engineering, McMaster University
Hamilton, Ontario, Canada
Professor Emeritus, CSIS, University of Limerick
Limerick, Ireland

Prof. Eugene Howard Spafford, "The Nature of Cyber Security"

ERSA/WORLDCOMP KEYNOTE TALK

Prof. Eugene Howard Spafford
The Nature of Cyber Security,
Prof. Eugene Howard Spafford,
Purdue University, USA
Leading computer security expert
Time: 09:50 - 10:45am
Location: Lance Burton Theater

ERSA KEYNOTES

Prof. Jürgen Teich, "Verifying the Authorship of Embedded IP Cores:..."

Prof. Jürgen Teich
Verifying the Authorship of Embedded IP Cores: Watermarking and Core Identification Techniques,
Prof. Jürgen Teich and Dr. Daniel Ziener,
University of Erlangen-Nuremberg, Germany
Time: 10:40am - 11:10am
Location: Gold Room

Prof. Shiu-Kai Chin, "Logic Design for Access Control,..."

Prof. Shiu-Kai Chin
Logic Design for Access Control, Security, Trust, and Assurance,
Prof. Shiu-Kai Chin,
Syracuse University, USA
Senior Scientist, Serco-NA, Inc.
Time: 11:20am - 11:50am
Location: Gold Room

Prof. Cynthia Irvine, "Grounding Trust"

Prof. Cynthia Irvine
Grounding Trust
Prof. Cynthia Irvine,
Naval Postgraduate School, USA
Time: 11:50am - 12:20pm
Location: Gold Room

Prof. Dominique Lavenier, "Next Generation Sequencing ..."

Prof. Dominique Lavenier
Next Generation Sequencing Data Processing
How reconfigurable computing can help?,
Prof. Dominique Lavenier,
IRISA, Rennes, France
Time: 02:30pm - 03:00pm
Location: Gold Room

Prof. Andy Tyrrell, "Reconfigurable and Evolvable Architectures ..."

Prof. Andy Tyrrell
Reconfigurable and Evolvable Architectures and their role in Designing Computational Systems,
Prof. Andy Tyrrell,
Department of Electronics, The University of York, UK
Time: 03:20pm - 03:50pm
Location: Gold Room

Prof. João M. P. Cardoso, "A New Approach to Control and Guide ..."

Prof. João M.P. Cardoso,
A New Approach to Control and Guide the Mapping of Computations to FPGAs,
Prof. João M.P. Cardoso, et al.,
University of Porto, Portugal
Time: 09:10am - 09:40am
Location: Gold Room

Prof. Jörg Henkel, "iCore: A Run-time Adaptive Processor for ..."

Prof. Jörg Henkel
iCore: A Run-time Adaptive Processor for Embedded Multi-core Systems,
Prof. Jörg Henkel, Lars Bauer and Artjom Grudnitsky,
Karlsruhe Institute of Technology, Germany
Time: 09:50am - 10:20am
Location: Gold Room