ENCOMPASS: A SAGA BASED ENVIRONMENT FOR THE COMPOSITION OF PROGRAMS AND SPECIFICATIONS.

Robert B. Terwilliger, Roy H. Campbell

Research output: Contribution to journalConference article

Abstract

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.

Original languageEnglish (US)
Pages (from-to)436-447
Number of pages12
JournalProceedings of the Hawaii International Conference on System Science
Volume2 a
StatePublished - Dec 1 1986

Fingerprint

Specifications
Chemical analysis
Software engineering
Computer programming languages
Control systems
Planning

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

ENCOMPASS : A SAGA BASED ENVIRONMENT FOR THE COMPOSITION OF PROGRAMS AND SPECIFICATIONS. / Terwilliger, Robert B.; Campbell, Roy H.

In: Proceedings of the Hawaii International Conference on System Science, Vol. 2 a, 01.12.1986, p. 436-447.

Research output: Contribution to journalConference article

@article{98b7fa4a8e4e4f35a87a5d91526cea58,
title = "ENCOMPASS: A SAGA BASED ENVIRONMENT FOR THE COMPOSITION OF PROGRAMS AND SPECIFICATIONS.",
abstract = "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.",
author = "Terwilliger, {Robert B.} and Campbell, {Roy H.}",
year = "1986",
month = "12",
day = "1",
language = "English (US)",
volume = "2 a",
pages = "436--447",
journal = "Proceedings of the Hawaii International Conference on System Sciences",
issn = "1060-3425",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

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 -