TY - GEN
T1 - The SAGA approach to automated project management
AU - Campbell, Roy H.
AU - Terwilliger, Robert B.
N1 - Funding Information:
(Supported by NASA grant NAG i-I38 and an AT~T Corporation research grant)
Publisher Copyright:
© 1986, Springer-Verlag.
PY - 1986
Y1 - 1986
N2 - ENCOMPASS, a prototype software development environment, is being constructed from components built by the SAGA project. Application of SAGA to the major phases of the lifecycle will be demonstrated through ENCOMPASS. The system will include configuration management; a software design paradigm based on the Vienna Development Method; executable specifications; languages which can be used to support modular programming, like Berkeley Pascal or ADA; verification and validation tools and methods; and basic management tools. ENCOMPASS is intended to examine many of the requirements for the design of complex software development environments such as might be used to construct the space station software. It is intended to be used as a prototype for examining many of the more advanced features that will be required in future generations of software development environments which support aerospace applications. In this paper, we describe the framework adopted within ENCOMPASS to provide automated management. We exemplify the approach using an example taken from problem tracking and change control during software maintenance.
AB - ENCOMPASS, a prototype software development environment, is being constructed from components built by the SAGA project. Application of SAGA to the major phases of the lifecycle will be demonstrated through ENCOMPASS. The system will include configuration management; a software design paradigm based on the Vienna Development Method; executable specifications; languages which can be used to support modular programming, like Berkeley Pascal or ADA; verification and validation tools and methods; and basic management tools. ENCOMPASS is intended to examine many of the requirements for the design of complex software development environments such as might be used to construct the space station software. It is intended to be used as a prototype for examining many of the more advanced features that will be required in future generations of software development environments which support aerospace applications. In this paper, we describe the framework adopted within ENCOMPASS to provide automated management. We exemplify the approach using an example taken from problem tracking and change control during software maintenance.
UR - http://www.scopus.com/inward/record.url?scp=85034620009&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85034620009&partnerID=8YFLogxK
U2 - 10.1007/3-540-17189-4_95
DO - 10.1007/3-540-17189-4_95
M3 - Conference contribution
AN - SCOPUS:85034620009
SN - 9783540171898
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 142
EP - 155
BT - Advanced Programming Environments - Proceedings of an International Workshop
A2 - Wanvik, Dag H.
A2 - Conradi, Reidar
A2 - Didriksen, Tor M.
PB - Springer
T2 - International Workshop on Advanced Programming Environments, 1986
Y2 - 16 June 1986 through 18 June 1986
ER -