Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
The automated production control documentation system
Trammell C., Binder L., Snyder C. ACM Transactions on Software Engineering and Methodology1 (1):81-94,1992.Type:Article
Date Reviewed: Mar 1 1993

The authors describe the development of a prototype database system in the high-level language Foxbase, using cleanroom techniques in conjunction with the pseudocode-based Box Description Language design methodology. The paper describes the techniques used and goes on to quantify and  classify  the errors found at various stages in the process. Unfortunately, no analysis is made of such questions as how the use of a higher-level language affected the number of errors; how many of the errors were found more easily through the document-based cleanroom approach than through the use of modern debuggers; how using the paper-based cleanroom technique affected development time; or how many of the benefits described were due to cleanroom techniques and how many were due to the design methodology.

The project is small (four people, two person-years, and 1820 lines of code), so the results found will not necessarily scale up to using these techniques on a significantly large real-world problem. The paper describes the progress of a typical small development project and how it produced robust and correct code at the end of the day. Unfortunately, any significant analysis of how this was achieved is lacking.

Reviewer:  Tim Thornton Review #: CR124004
Bookmark and Share
 
Methodologies (D.2.1 ... )
 
 
Correctness Proofs (D.2.4 ... )
 
 
Programming Teams (D.2.9 ... )
 
 
Reliability (D.2.4 ... )
 
 
Software Development (K.6.3 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Methodologies": Date
Multilevel specification of real time systems
Gabrielian A., Franklin M. Communications of the ACM 34(5): 50-60, 1991. Type: Article
May 1 1992
Software requirements
Davis A., Prentice-Hall, Inc., Upper Saddle River, NJ, 1993. Type: Book (9780138057633)
Nov 1 1994
An experimental study of fault detection in user requirements documents
Schneider G., Martin J., Tsai W. ACM Transactions on Software Engineering and Methodology 1(2): 188-204, 1992. Type: Article
Mar 1 1993
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy