Automating the software development process

Authors:
R. H. Campbell;H. Render;R. N. Sum, Jr.;R. Terwilliger
Affiliations:
-;-;-;-
Venue:
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Year:
1988

Citing 0
Cited 2

An early report on encompass

ICSE '88 Proceedings of the 10th international conference on Software engineering
An overview and bibliography of ENCOMPASS: an environment for incremental software development using executable, logic-based specification

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract

Much of the software development process is repetitive, tedious to perform, but possible to automate. Our SAGA Project research includes building models of software development tasks that accurately reflect the processes involved and have direct and efficient implementations. In this paper we assume the desirability of a software engineering environment that supports the entire life-cycle; automation should greatly enhance the quality and efficiency of software production and maintenance. To study the problems involved, SAGA has constructed ENCOMPASS, a prototype environment which supports software development. ENCOMPASS has provided valuable insights and experience; however, during its development and use many limitations have surfaced. In this paper we emphasize the configuration and project management aspects of our work. We discuss the current capabilities and limitations of ENCOMPASS, as well as describing the new systems being constructed to overcome its limitations and extend its life-cycle coverage.