From: jal@cs.rit.edu (Jeffrey A. Lasky)
Newsgroups: comp.software-eng,comp.edu,comp.specification
Subject: Cleanroom Engineering Workshop
Date: 6 Apr 92 20:38:28 GMT
Followup-To: comp.software-eng
Distribution: usa
Organization: Rochester Inst. of Tech. -- Info. Tech.


                             CALL FOR PARTICIPATION

                         CLEANROOM ENGINEERING WORKSHOP

                              May 31 - June 4, 1992

                        Rochester Institute of Technology
                                  Rochester, NY 

                  Sponsored by the National Science Foundation
                    Undergraduate Faculty Enhancement Program 


The purpose of this workshop is to provide undergraduate teaching faculty 
with an intensive exposure to the cleanroom engineering method of software 
development.  The workshop is offered to faculty who will typically have 
at least five years of undergraduate teaching experience.  Funds will be 
provided to cover lodging and meal costs during attendance at the 
workshop.  In addition, participants are eligible to receive a $250 
stipend.  (Employees of the federal government are not eligible for any 
financial support).  It is expected that the faculty member's home 
institution will provide travel funds.  The workshop begins on a Sunday so 
that participants can take advantage of discount airfares.  There is no 
workshop fee.  

Interested faculty should e-mail the application form to jal@cs.rit.edu or 
to JALICS@RITVAX.  Applications will be processed as received until 
available workshop places are filled.

Overview:

Cleanroom software engineering places software development under 
statistical quality control for ultra-high-quality software with high 
productivity. In the Cleanroom process, test teams are responsible for 
certifying the quality of software, not for debugging quality in, an 
impossible task. Development teams are responsible for producing 
zero/near-zero defect software for quality certification.

Such development performance depends on rigorous
specification and design techniques, and powerful function-theoretic 
correctness verification in place of unit testing and debugging. Cleanroom 
code undergoes first execution by test teams in statistical usage testing 
for quality certification in the system environment. Cleanroom teams in 
industry and government are achieving remarkable quality results

Course Outline:

The first day of the course introduces Cleanroom principles and 
technologies, including box-structure specification, function-theoretic 
verification, and statistical usage testing, as well as the Cleanroom 
management process of incremental user-function development.  It also 
reviews actual Cleanroom experience to date, including quality results  
achieved.  The course continues with an intensive 2 1/2 day study of Cleanroom 
verification, followed by 1 1/2 days on Cleanroom statistical 
certification, including discussion of how these topics can be taught in a 
semester-long undergraduate software engineering course.


Participant Benefits:

Opportunity to review cleanroom engineering results which demonstrate that 
development of zero-defect software is an achievable industrial target.

Instruction in fundamental Cleanroom principles and technologies, and 
their practical application for real-world software development.

Detailed presentation of the Cleanroom verification and certification 
technology, and how they are taught within IBM.


Workshop Leaders:

Richard Linger is a member of the Senior Technical Staff of IBM and is the 
manager of the IBM Cleanroom Software Technology Center.  He managed the 
development of IBM's first commercial Cleanroom product, and has 
co-authored two software engineering textbooks used in Cleanroom education 
and technology transfer.

Dr. Mark Pleszkoch is a member of the IBM Cleanroom Software Technology 
Center, specializing in statistical usage testing techniques for software 
quality certification.  He has provided technical leadership on several 
Cleanroom projects and is currently consulting with Cleanroom teams 
throughout IBM.


APPLICATION


Name	                                Title                                                                 

Address		

		
			

Work phone	                               Home phone	

Electronic mail address		

How many years experience do you have teaching undergraduates?	

In what area(s) do you usually teach?	


Please briefly state your motivation for attending the workshop:

	

	

	

RIT admits and hires men and women, veterans and disabled individuals of 
any race, color, national, or ethnic origin, or marital status in 
compliance with all appropriate legislation, including the Age 
Discrimination Act.  The compliance officer is James Papero.

Prof. Jeffrey A. Lasky
Rochester Institute of Technology
Dept. of Information Technology
Rochester, NY 14623
Internet: jal@cs.rit.edu
Bitnet: JALICS@RITVAX
(716)-475-5178
Newsgroups: comp.software-eng