Students of Al Davis

  Thesis/Dissertation/Project Chair -- University of Colorado at Colorado Springs

• Jennifer Barthel, Music-Induced Emotions, B.S., May 1997
• John Jay Billups IV, Seeing Symphonies, M.S., December 1997
• Kim Braun, Quality of a Requirements Scenario, M.S., December 1997
• Nancy Brennan, Emerging Technologies, Undergraduate Independent Study, Spring 2002
• Janice Canard, Requirements Normalization and Minimization, M.S., June 1993
• Ted Crouch, Databases for Requirements Repositories, M.S., August 1993
• June Hallenbrook, Innovative Analysis of a Company, M.S. project, June 1993
• Pam Henderson, Ten Steps of Project Management, M.S. seminar, August 1997
• Debra Hibbitts-Kramer, Requirements Language Design Support, M.S. project, June 1997
• Susan Ihns, Acquiring Quality Software, M.S., December 1992
• Melinda Mello, Home Pages for the Center for Software Systems Engineering, B.S., June 1997
• Maureen Midkiff, Re-Engineering From DBase3 to C++, M.S. project, June 1998
• Stephen O'Rear, Visualization Applied to Software Requirements Specifications, M.S., December 1995
• Chris Reifel, Cost Effects of Prototyping, M.S., September 1995
• Monica Savage, Requirements Reuse, M.S. project, December 1992
• Johanna Soli, Language-Independent Requirements Editor, M.S. project, September 1996
• Lars Starbuck, Management of Software Process, M.S. project, June 1993
• Hollis Tubbs, Effect of Releases on Rate of Error Reporting, M.S., August 1998
• Marin Turner, Re-engineering of a Satellite Communications Front End, M.S. project, December 1993
• Linda Underwood, Selection Criteria for V&V Techniques, M.S., December 1993
• David Watson, Canonical Representation of Timing Constraints in Software Requirements, M.S., August 1998
• Ann Zweig, Requirements Engineering Environment Display, M.S., December 1997

  Thesis/Dissertation Chair – George Mason University

• Linda Alexander, Process Model Selection Criteria, M.S., June 1990
• Pei-Yen Chung, Evolutionary Requirements, M.S., May 1990.
• Angelo J. Incorvaia, Case Studies of Software Reuse, M.S. project, August 1990
• Kathleen Jordan, Method-Independent Requirements Meta-Models, M.S., June 1991
• Mark Merriman, Formal Techniques to Prove Requirements Specification Quality, Ph.D. December 1998 (chair while at GMU)
• Scott Overmyer, Requirements Engineering, Ph.D., December 1994 (chair while at GMU)
• Pradip Sitaram, Concurrent Model of Software Development, M.S., December 1990

  Thesis/Dissertation Chair – University of Tennessee

• Beverly Button, Language-Independent Compile-Time Diagnostics, M.S., June 1977
• Carol Hull, Error Checking for Optical Scanners, M.S., August 1977
• James Moore, Innovative Compilation of FORTRAN, M.S., June 1977
• Alan Stone, Computer Assisted Instruction, M.S., August 1976
• Jane Wilder, Language Independent Syntax Analyzers, M.S., August 1977

Dissertation Opponent/External Reviewer

• Sami Jantunen, Ph.D., Making Sense of Software Product Requirements, opponent, Lappeenranta University of Technology, Finland, June 2012 (chairs: Kari Smolander and Donald Gause)
• Sharifah Syed Mohamad, Ph.D., An Empirical Investigation of Software Reliability Indicators, external reviewer, University of Technology, Sydney, 2011 (chair: Didar Zowghi)
• Nurmiliani, Ph.D., Card Sorting Techniques Applied to Requirements Change Classification, external reviewer , University of Technology, Sydney, 2007 (chair: Didar Zowghi)

Thesis/Dissertation Committee Member

• Steve Bleistein, Ph.D., Requirements Management, University of New South Wales, Australia, 2005 (chair: Karl Cox)
• Shaun Bohner, Ph.D., Configuration Management, GMU, December 1994 (member while at GMU; chair: James Palmer)
• Ruth Buys, Ph.D., Knowledge-Based Software Prototyping, Drexel University, June 1992 (chair: Stephen Andriole)
• Dante Carrizo, Ph.D., Framework for Selecting Requirements Elicitation Techniques, Universidad Politécnica de Madrid, Spain, May 2009 (chair: Natalia Juristo)
• Christopher Caruso, M.S., Optimization of Image Storage and Retrieval, UCCS, September 1993 (chair: Dushan Badal)
• James Chisan, M.Sc., Requirements Engineering Payoffs, University of Victoria, British Columbia, Canada, April 2005 (chair: Daniela Damian)
• Jerry Clark, M.S., Network Communications Protocols, UCCS, August 1997 (chair: Edward Chow)
• Fatma Dandashi, Ph.D., Requirements Engineering, GMU, 1995 (member while at GMU; chair: Hassan Gomaa)
• Oscar Dieste, Ph.D., An Analysis Method for Multi-Paradigm Conceptual Modeling, University of La Castilla -- La Mancha, Spain, May 2003 (chair: Ana Moreno)
• Anhtuan Dinh, Ph.D., A Development Method for Real-Time Software Using an Actor-Based Language, GMU, January 1994 (chair: Bo Sanden)
• Anhtuan Dinh, M.S., Correspondences Between Representations for Asynchronous Processes, GMU, December 1990 (chair: Bo Sanden)
• Joanne D'Souza, M.S., UCCS, June 1996 (chair: Edward Chow)
• Ardith Faulkner, M.S., Analysis of ATM Networks, UCCS, June 1996 (chair: Edward Chow)
• Lisa Jesse, M.S., Knowledge-Based Approach to Military Message Systems, UCCS, June 1993 (chair: Jugal Kalita)
• Bob Krumland, M.S., Web Paradigm for Internal Corporate Communications, UCCS, June 1996 (chair: Edward Chow)
• Kevin Leinbach, M.S., Neural Networks, UCCS, December 1996 (chair: Marijke Augusteijn)
• Chad McAllister, Ph.D., Requirements Determination for Information Systems, Capella University, 2006 (chair: John Latham)
• Richard Naylor, M.S., Message Encoding/Decoding, UCCS, September 1992 (chair: Marijke Augusteijn)
• Elizabeth O'Hara, Ph.D., Multiple-View Design, GMU, June 1994 (chair: Hassan Gomaa)
• Ron Owens, Ph.D., GMU, 1994 (member while at GMU; chair: Ed Sibley)
• Rick Pavlik, M.S., Knowledge Based Inductive Learning of Medical Necessity Determination Rules, UCCS, May 1998 (chair: Jugal Kalita)
• Louis Sanchez, M.S., UCCS, December 1996 (chair: Lewis Pinson)
• Mark Shisler, M.S., UCCS, June 1996 (chair: Richard Wiener)
• Tim Trainor, M.S., UCCS, June 1995 (chair: Edward Chow)
• Mike Winterbottom, Multi-Order Neural Networks, M.S., UCCS, December 1994 (chair: Marijke Augusteijn)