University of South Florida - click to return to home page
Search the USF Web site Site Map USF home page Links for Prospective Students Links for Our Students Links for Visitors Links for Faculty & Staff Links for Alumni & Parents USF Campuses Links for Business & Community

Software Engineering

Cleanroom Software Engineering: Intellectual Control in Software Development

Cleanroom software engineering is a theory-based, team-oriented process for the economic production of high-quality software systems.  The foundations of Cleanroom were established in the 1980’s when Harlan Mills, an IBM Fellow, applied fundamental ideas in mathematics, statistics, and engineering to the development of software.  Two basic insights drove the research: first, that software programs are rules for mathematical functions and second, that potential program executions are infinite populations requiring statistical sampling for quality certification.  I worked directly with Harlan Mills at IBM to build the theory-base for Cleanroom software engineering and to apply these ideas to the development of high-quality software systems.

Journal Publications, Books, and Book Chapters

    1. C. Trammel, M. Pleszkoch, R. Linger, and A. Hevner, "The Incremental Development Process in Cleanroom Software Engineering," Decision Support Systems, Vol. 17, No. 1, 1996, pp. 55-71. (Available at http://dx.doi.org/10.1016/0167-9236(95)00022-4  )
    2. A. Hevner and H. Mills, "Box-Structured Requirements Determination Methods," Decision Support Systems, Vol. 13, No. 3/4, March 1995, pp. 223-239. (Available at http://dx.doi.org/10.1016/0167-9236(94)E0044-R  )
    3. A. Hevner and H. Mills, "Object-Oriented Design with Box Structures," Chapter 9 in Studies in Computer Science: In Honor of Samuel D. Conte, Edited by J. Rice and R. DeMillo, Plenum Press, New York, 1994, pp. 191-211.
    4. A. Hevner and H. Mills, "Box Structured Methods for Systems Development with Objects," IBM Systems Journal, Vol. 32, No. 2, 1993, pp. 232-251. (Available at http://domino.research.ibm.com/tchjr/journalindex.nsf/e90fc5d047e64ebf85256bc80066919c/da6203a029e0cd8185256bfa00685cab?OpenDocument )
    5. A. Basu and A. Hevner, "The Analysis and Design of Embedded Knowledge-based Systems Using Box Structure Methods," Journal of Management Information Systems, Vol. 8, No. 4, Spring 1992, pp. 117-146. (Available at http://jmis.bentley.edu/articles/v8_n4_p117/index.html )
    6. A. Hevner, S. Becker, and L. Pedowitz, "Integrated CASE for Cleanroom Development," IEEE Software, Vol. 9, No. 2, March 1992, pp. 69-76. (Available at http://doi.ieeecomputersociety.org/10.1109/52.120604 )
    7. A. Hevner, "Object-Oriented System Development Methods," Chapter in Advances in Computers, Vol. 35, Edited by M. Yovits, Academic Press, Inc., 1992, pp. 135-198.
    8. S. Becker and A. Hevner, "A Dynamic System Modelling Tool Using Box Structures and Petri Nets," Chapter in Dynamic Modelling of Information Systems, II, Edited by H. Sol and R. Crosslin, North-Holland, 1992, pp. 145-165.
    9. A. Hevner, "An Integrated Systems Development Environment with Box Structures," Chapter 8 in Systems Analysis and Design: A Research Perspective, Edited by W.W. Cotterman and J.A. Senn, John Wiley and Sons, 1992, pp. 115-130.
    10. H. Mills, R. Linger, and A. Hevner, "Box Structured Information Systems Development," IBM Systems Journal, Vol. 26, No. 4, December 1987, pp. 395?]413. (Available at http://domino.research.ibm.com/tchjr/journalindex.nsf/e90fc5d047e64ebf85256bc80066919c/4d0eb443858b8c7d85256bfa00685bdd?OpenDocument )
    11. H. Mills, R. Linger, and A. Hevner, Principles of Information Systems Analysis and Design, Academic Press, Inc., 1986.

Refereed Conference Publications

    1. A. Hevner, D. Berndt, and J. Studnicki, “Strategic Information Systems Planning with Box Structures,” Proceedings of the 33rd Annual Hawaii International Conference on System Sciences, Hawaii, January 2000. (Available at http://doi.ieeecomputersociety.org/10.1109/HICSS.2000.926735 )
    2. A. Hevner and R. Linger, “Box Structures for Software Architecture Definition and Verification,” Proceedings of the Seventh Workshop on Information Technologies and Systems (WITS’97), Atlanta, December 1997, pp. 230-235.
    3. A. Hevner, "The Cleanroom Evolution of a Practical Software Development Process Model," Proceedings of the 3rd International Conference on Cleanroom Software Engineering Practices, College Park, October 1996, pp. VI(16-25).
    4. A. Hevner and E. Karlsson, "Research Issues in Object-Oriented Cleanroom Software Engineering," Proceedings of the 2nd Annual European Industrial Symposium on Cleanroom Software Engineering, Berlin, March 1995, pp. 11(1)-11(11).
    5. A. Hevner, "KISS and TELL: Strategies for Developing an Industrial-Strength Software Development Process," Proceedings of the International Symposium on Applied Corporate Computing, Monterrey, Mexico, October 1994, pp. 3-12.
    6. S. Becker, P. Beiler, and A. Hevner, "Object-Oriented Box Structures for Developing Complex Systems," Proceedings of the 27th Annual Hawaii International Conference on System Sciences, Vol. III - Information Systems: DSS/Knowledge-Based Systems Track, Hawaii, January 1994, pp. 43-52.
    7. R. Linger and A. Hevner, "The Incremental Development Process in Cleanroom Software Engineering," Proceedings of the 3rd Workshop on Information Technologies & Systems (WITS-93), Orlando, December 1993, pp. 162-171.
    8. A. Hevner and S. Becker, "Reverse Engineering in the Cleanroom Software Specification Process," Proceedings of the 3rd Annual Software Engineering Economics Conference, MITRE Corporation, McLean, VA, March 1993.
    9. R. Linger and A. Hevner, "Achieving Software Quality Through Cleanroom Software Engineering," Proceedings of the 26th Annual Hawaii International Conference on System Sciences, Vol. IV - Organizational Systems and Technology Track, Hawaii, January 1993, pp. 740-748.
    10. S. Becker, E. Carmel, and A. Hevner, "Integrating Joint Application Development (JAD) into Cleanroom Development with ICASE," Proceedings of the 26th Annual Hawaii International Conference on System Sciences, Vol. III - Information Systems: DSS/Knowledge-Based Systems Track, Hawaii, January 1993, pp. 13-21.
    11. A. Hevner and S. Becker, "Central Repository Data Models for Cleanroom Systems Development," Proceedings of the 25th Annual Hawaii International Conference on System Sciences, Vol. II - Software Technology Track, Hawaii, January 1992, pp. 459-468.
    12. A. Hevner, "Box Structured Requirements Determination Methods," Proceedings of the First Workshop on Information Technologies & Systems (WITS-91), Boston, December 1991, pp. 82-97.
    13. A. Basu and A. Hevner, "Box Structured Development of Embedded Knowledge Based Systems: A Case Study," Proceedings of the IEEE/ACM International Conference on Developing and Managing Expert System Programs, Washington D.C., October 1991, pp. 304-313.
    14. S. Becker and A. Hevner, "A White Box Analysis of Concurrent System Designs," Proceedings of the Tenth Annual IEEE International Phoenix Conference on Computers and Communications, Phoenix, March 1991, pp. 332-338.
    15. A. Hevner, J. Wilkey, and S. Becker, "CASE Support for Box Structure Systems Development: A Case Study," Proceedings of the 24th Annual Hawaii International Conference on System Sciences, Vol. II - Software Technology Track, Hawaii, January 1991, pp. 532-542.
    16. S. Becker and A. Hevner, "Concurrent System Design with Box Structures," Proceedings of the 13th Annual International Computer Software and Applications Conference (IEEE COMPSAC), Orlando, September 1989, pp. 32-40.
    17. H. Mills, R. Linger, and A. Hevner, "Mathematical Aspects of Box Structures," Proceedings of the 21st Annual Hawaii International Conference on System Sciences, Vol. 1 ?] Software Track, Hawaii, January 1988, pp. 745-753.
    18. H. Mills, R. Linger, and A. Hevner, "Fundamental Principles of Information Systems Development," Proceedings of the Information Systems Education Conference 1986, Atlanta, October 25?]27, 1986, pp. 1?]5.