Technology Transition

• Siemens Research is using the process description and function specification formalism FR for describing required user behavior in Requirements Engineering.
• The Analytix Group, Houston Texas is commercializing UNPROG for software maintenance and in the Fortran reengineering tool contract with NASA Goddard Spaceflight Center (SBIR). Because UNPROG creates a mini-ADL for program function, it can mediate reengineering.
• Educational efforts. Ohio State University, West Virginia University, Indiana University Southeast, and Muskingum College are using the RESOLVE discipline and components in software engineering classes (WVU instructional activities funded by ARPA). RESOLVE tutorials successfully offered at TRI-ADA, 1993 and 1994.
• Hollingsworth Solutions, Inc. is using RESOLVE/C++ discipline and components in development of commercial application software for Windows-based PC and Macintosh.