Allan M. Stavely

Address for academic correspondence:

Computer Science Department
New Mexico Tech
Socorro, NM 87801 USA

Email:

al@nmt.edu

I have given up my faculty position at New Mexico Tech, to concentrate on consulting and training in industry. For details, please see this description of my practice.

I regret that I am unable to answer inquiries about the Computer Science Department. For information about the department, please see the Computer Science Department's home page. For inquiries, including correspondence regarding graduate study, please see this contact information.

A course that I may still teach again (sometime, somewhere) is CS 427, Zero-Defect Software Development. It is based on my adaptation of Cleanroom methods (see below), and uses my own book, Toward Zero-Defect Programming (Addison Wesley Longman, 1999). Here is a paper describing the course and some of the results that we get using the techniques taught in it.

Research interests

• Development of very-high-quality software using the Cleanroom method.
  
  
• Other formal methods in software development, and other technology that contributes to the development of high-quality software.

Current projects

• Experiments in software development using Cleanroom methods, other formal methods, or both. Here is a paper (in downloadable Postscript) describing how I use the Z specification notation in Cleanroom-style development.
• Gathering experience with various ways of improving collaboration and communication within software project teams. The verification reviews of Cleanroom contribute to this, apart from their other benefits, as do conventional reviews and inspections. To help improve written communication through documentation, I am currently optimistic about a practice that I call "lightweight literate programming".