Transformations in Specification-Based Software Evolution
Abstract
This paper presents a classification schema for the concepts and applications of software transformation in software evolution. Correctness preserving program transformations have been widely used for program development from an initial specification. We consider a more realistic case, where the specification evolves, rather than being fixed in advance. We outline a transformational software prototyping methodology, and develop an associated model to describe the process. An example illustrates the ideas. Software tool support and directions for future research are discussed.
Description
Author-contributed print item
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.NPS Report Number
NPS 52-90-034Related items
Showing items related by title, author, creator and subject.
-
Total Ownership Cost—System Software Impacts
Naegle, Brad R. (Monterey, California. Naval Postgraduate School, 2017-04); NPS-CE-17-042Department of Defense (DoD) software-intensive systems and the software content in other systems will continue to grow and may dominate total ownership costs (TOC) in the future. These costs are exacerbated by the fact ... -
Total ownership cost - system software impacts
Naegle, Brad R. (Monterey, California. Naval Postgraduate School, 2017-04-19); NPS-CE-17-042Department of Defense (DoD) software-intensive systems and the software content in other systems will continue to grow and may dominate total ownership costs (TOC) in the future. These costs are exacerbated by the fact ... -
Achieving Better Buying Power for Mobile Open Architecture Software Systems through Diverse Acquisition Scenarios
Scacchi, Walt; Alspaugh, Thomas A. (Monterey, California. Naval Postgraduate School, 2017-05); UCI-AM-17-041This research seeks to identify, track, and analyze software component costs and cost reduction opportunities within diverse acquisition life cycle scenarios for open architecture systems accommodating Web-based and mobile ...