Software Engineering Research at University of West Florida

Software Maintenance
• The Generic University of West Florida Maintenance Process (GUMP)
  Norman Wilde and Laura J. White have developed this process for use by software maintenance organizations. This is a defined process for maintaining software that is used in the Software Engineering Project courses at the University of West Florida. The process documents are available on-line for educators and industry as a resource to use in teaching about modern software engineering processes. For further information visit the GUMP home page.
  
  
• Spotlighting the Code
  Software engineers spend a lot of time trying to figure out: "Where in this program is feature X implemented?" Software Reconnaissance is a simple new technique to help answer this question.
  For a brief description of the Software Reconnaissance technique and links to technical reports describing some applications, see the overview.
  For a free tool for doing Software Reconnaissance on C and C++ code see Recon2.

Formal Methods

• ZEM (Z Embedded in Mathematica)
  Linda Sherrell has co-developed (with William Paulsen) a new tool for animating Z specifications. The tool targets two primary audiences: 1) software developers who choose to use exploratory prototyping to confirm customer requirements and 2) instructors who would like to teach the Z specification language with an interactive tool.
  This research was first presented as a talk "ZEM: An Interactive Tool for Visualizing Z Specifications" at FM '99: World Congress on Formal Methods (Z User Group Educational Session) in Toulouse, France on September 23, 1999. A prototype of the tool will be demonstrated at the Fourth IEEE International Conference on Requirements Engineering (ICRE2000) to be held June 19-23 in Schaumberg, Illinois.

Web Engineering

• CWSD Methodology
  Linda Sherrell has co-designed (with Lei-da Chen) a software life cycle model and associated methodology for the development of corporate web sites. By following the steps of the Corporate Web Site Development (CWSD) Methodology, corporate web development groups can prevent ad hoc development practices, which are unfortunately the norm in most organizations today.
  The CWSD Methodology was first presented at the ICSE99 (International Conference on Software Engineering) Workshop on Web Engineering and appears in the associated proceedings.
  For more information, see the following reference:
  L. Chen, L. B. Sherrell, and C. Hsu, "A Development Methodology for Corporate Web Sites", Proceedings of the ICSE99 Workshop on Web Engineering, Los Angeles, USA, May 1999, pp. 19-28.
  Note: Both the model and methodology have been extensively modified since the workshop. An expanded version of this paper describing the newer model has recently been submitted to a journal.