Personal tools
  •  
You are here: Home WORLDCOMP'11 Keynotes WORLDCOMP'11 Featured Keynote Lecture - Prof. David Lorge Parnas
News
All tracks of WORLDCOMP have now been listed as "Top-ranked Conferences" by Microsoft Academic Search (based on no. of citations to papers)
Click Here for details

Important Date
July 18-21, 2011
The WORLDCOMP'11
22 joint conferences


« September 2015 »
Su Mo Tu We Th Fr Sa
12345
6789101112
13141516171819
20212223242526
27282930
Current Event
WORLDCOMP'15
Click Here

Past Events
WORLDCOMP'14
Click Here

WORLDCOMP'13
Click Here

WORLDCOMP'12
Click Here

WORLDCOMP'10
Click Here

WORLDCOMP'09
Click Here

WORLDCOMP'08
Click Here

WORLDCOMP'07 & '06
Click Here


Join Our Mailing List
Sign up to receive email announcements and updates about conferences and future events




 

WORLDCOMP'11 Featured Keynote Lecture - Prof. David Lorge Parnas

Last modified 2011-07-28 22:10

How Engineering Mathematics can Improve Software
Prof. David Lorge Parnas, Ph.D.
Dr.h.c.: ETH Zurich, Louvain, Lugano
Organization: Middle Road Software, Inc.
Professor Emeritus, McMaster University, Canada
Professor Emeritus, University of Limerick, Ireland
Fellow of IEEE, ACM, RSC, CAE, GI; MRIA.

www.sigsoft.org/SEN/parnas.html
en.wikipedia.org/wiki/David_Parnas


Download Slide Presentation for This Keynote

Date: July 18, 2011
Time: 08:50 - 09:45am
Location: The Monte Carlo Theater


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.

Biography

    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 Zurich (Switzerland), the Catholic University of Louvain (Belgium), and the University of Italian Switzerland (Lugano). 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. 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.

Academic Co-Sponsors
The Berkeley Initiative in Soft Computing (BISC)
University of California, Berkeley, USA

Biomedical Cybernetics Laboratory, HST of Harvard University
Massachusetts Institute of Technology (MIT)

Intelligent Data Exploration and Analysis Laboratory
University of Texas at Austin, Austin, Texas, USA

Collaboratory for Advanced Computing and Simulations (CACS)
University of Southern California, USA

Minnesota Supercomputing Institute
University of Minnesota, USA

Knowledge Management & Intelligent System Center (KMIS)
University of Siegen, Germany

UMIT, Institute of Bioinformatics and Translational Research, Austria
BioMedical Informatics & Bio-Imaging Laboratory
Georgia Institute of Technology and Emory University, Atlanta, Georgia, USA


Hawkeye Radiology Informatics, Department of Radiology, College of Medicine, University of Iowa, Iowa, USA

Supercomputer Software Department (SSD), Institute of Computational Mathematics & Mathematical Geophysics, Russian Academy of Sciences
SECLAB of University of Naples Federico II
University of Naples Parthenope, & Second University of Naples, Italy

Medical Image HPC & Informatics Lab (MiHi Lab)
University of Iowa, Iowa, USA

Intelligent Cyberspace Engineering Lab., ICEL, Texas A&M; University (Com./Texas), USA
Model-Based Engineering Laboratory, University of North Dakota, North Dakota, USA


Corporate Sponsor

Intel Corporation



Altera Corporation

Pico Computing

High Performance Computing for Nanotechnology (HPCNano)

International Society of Intelligent Biological Medicine

World Academy of Biomedical Sciences and Technologies
The International Council on Medical and Care Compunetics
The UK Department for Business, Enterprise & Regulatory Reform
Scientific Technologies Corporation

HoIP - Health without Boundaries


 


Administered by UCMSS
Universal Conference Management Systems & Support
San Diego, California, USA
Contact: Kaveh Arbtan

If you can read this text, it means you are not experiencing the Plone design at its best. Plone makes heavy use of CSS, which means it is accessible to any internet browser, but the design needs a standards-compliant browser to look like we intended it. Just so you know ;)