TY - JOUR
T1 - ENCOMPASS
T2 - A SAGA BASED ENVIRONMENT FOR THE COMPOSITION OF PROGRAMS AND SPECIFICATIONS.
AU - Terwilliger, Robert B.
AU - Campbell, Roy H.
PY - 1986/12/1
Y1 - 1986/12/1
N2 - ENCOMPASS is an example integrated software engineering environment being constructed by the SAGA project. ENCOMPASS supports the specification, design, and construction of efficient, validated, and verified programs in a modular programming language. We present the development paradigm, schema of software configurations, and hierarchical library structure used by ENCOMPASS. We illustrate these with an example of software development. In ENCOMPASS, a development proceeds through the phases planning, requirements definition, validation, refinement, and system integration. The refinement phase may be decomposed into a number of steps, each consisting of a design transformation and its verification. The components in a software system are modeled as entities which have relationships between them. An entity may have different versions and different views of the same project are allowed. The simple entities supported by ENCOMPASS may be combined into modules which may be collected into projects. ENCOMPASS supports multiple programmers and projects using a hierarchical library system containing a workspace for each programmer; a project library for each project, and a global library common to all projects. A prototype implementation of ENCOMPASS is being constructed on the Unix operating system using an existing revision control system.
AB - ENCOMPASS is an example integrated software engineering environment being constructed by the SAGA project. ENCOMPASS supports the specification, design, and construction of efficient, validated, and verified programs in a modular programming language. We present the development paradigm, schema of software configurations, and hierarchical library structure used by ENCOMPASS. We illustrate these with an example of software development. In ENCOMPASS, a development proceeds through the phases planning, requirements definition, validation, refinement, and system integration. The refinement phase may be decomposed into a number of steps, each consisting of a design transformation and its verification. The components in a software system are modeled as entities which have relationships between them. An entity may have different versions and different views of the same project are allowed. The simple entities supported by ENCOMPASS may be combined into modules which may be collected into projects. ENCOMPASS supports multiple programmers and projects using a hierarchical library system containing a workspace for each programmer; a project library for each project, and a global library common to all projects. A prototype implementation of ENCOMPASS is being constructed on the Unix operating system using an existing revision control system.
UR - http://www.scopus.com/inward/record.url?scp=0022954704&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0022954704&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:0022954704
VL - 2 a
SP - 436
EP - 447
JO - Proceedings of the Hawaii International Conference on System Sciences
JF - Proceedings of the Hawaii International Conference on System Sciences
SN - 1060-3425
ER -