This workshop is one of five approved satellite workshops to be held on July 23, 2001, the final day of the CAV'01 (Computer Assisted Verification) Conference (see http://www.lsv.ens-cachan.fr/cav01 for more details).
Despite more than 30 years of effort to improve quality, software is still released with many errors. Many major products are known to have thousands of bugs. It is not for lack of trying; all major software developers have a software quality assurance effort and attempt to remove bugs before release. The problem is the complexity of the code. It is very easy to review code but fail to notice significant errors.
Researchers have responded to these problems by studying methods of formal correctness verification for programs. In theory, we now know how to prove programs correct with the same degree of rigour that we apply to mathematical theorems. In fact, this is rarely practical and rarely done. Most research papers on verification make simplifying assumptions (e.g. a 1:1 correspondence between variables and variable names) that are not valid for real programs. Proofs of realistic programs involve long and complex expressions and require patience, time, and diligence that is simply not available. This workshop will study methods that are more effective than informal reviews and less effort than formal proof. Software developers need a systematic inspection process that can be applied for critical software.
WISE'01 seeks to bring researchers, practitioners, and regulators together in the hope of finding new, more effective approaches to software inspection. The workshop will include invited lectures, paper presentations, panel discussions and a poster session on all aspects of software inspection.
The full proceedings of the workshop are available for download in both postscript and PDF formats via the online proceedings at: http://www.cas.mcmaster.ca/wise/wise01. The papers being presented at the workshop describe recent work, work-in-progress, proposals for improvements to existing methods and new methods of software inspection. We also encouraged "wild ideas", as well as experience reports detailing industrial applications of software inspection.
Topics of interest at WISE'01 include, but are not limited to, the following:
Tools to assist in inspection techniques.
Inspection oriented software design and documentation.
Integration of inspection with other elements of the software engineering process (e.g., specification, verification, coding, testing, etc.).
Making inspection practical for large scale systems.
Regulatory approval of software systems.
Case studies and experience reports describing industrial applications of inspection methods.
Authors of selected papers will be invited to submit a revised full length article for review for inclusion in a special issue or section of IEEE Transactions on Software Engineering, which will be coordinated with a special section of IEEE Software.
Once a paper is accepted for the special issues, authors will also be asked to prepare an introductory, magazine style, article based upon their work that will be included in a companion issue. The IEEE Software articles will be introductory in nature and designed to interest readers of IEEE Software Magazine to read the more complete and scholarly, IEEE TSE article.
The workshop is organized in the form of panel sessions on three themes:
Tool Support and Inspections,
Theory into Practice, and
The following is the preliminary workshop schedule.
|9:15-10:15||Invited Talk: Measurable Software Quality Improvement through Innovative Software Inspection Technologies by Brigitte Klein (Allianz)|
|10:30-11:30||Tools Support and Inspection Session|
|13:30-14:30||Invited Talk: Inspection of Safety Critical Software: Expectations of the Regulator by Kurt Asmis (Formerly with the Canadian Nuclear Safety Commission)|
|14:30-15:30||Theory into Practice Session|
|15:45-16:45||Improving Inspections Session|
|Mark Lawford - co-Chair||(McMaster University, Canada)|
|Dave Parnas - co-Chair||(McMaster University, Canada)|
|Kurt Asmis||(Canadian Nuclear Safety Commission, Canada)|
|Pierre-Jacques Courtois||(AVN and Université Catholique de Louvain, Belgium)|
|Nader Kameli||(Guidant Corporation, USA)|
|Dieter Rombach||(Fraunhofer Institute for Experimental Software Engineering, Germany)|
|Mike Viola||(Ontario Power Generation, Canada)|
You can register to attend the workshop via any of the following three methods:
Online. Register when you register for the main conference via the CAV'01 Registration webpage.
By Fax. You can register directly for the workshop using a credit card or via bank transfer by filling out and faxing in the WISE'01 Registration form.
In person. Be at the Mutualite on the 23rd of July in the morning between 8h and 9h. You will then be able to only pay by cash (in FRANCS) or with a cheque (in EUROS or in FRANCS).
The workshop will be held at the main CAV conference site in Salons de la Mutualité, located at rue Saint-Victor in the "Quartier Latin" of Paris, France. For more information see the main CAV'01 conference location webpage. Further details regarding the location, accommodations, and transportation are available at the CAV'01 Homepage (http://www.lsv.ens-cachan.fr/cav01) via the "Practical Information" link.