EARLY REPORT ON ENCOMPASS.

Robert B. Terwilliger, Roy H. Campbell

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

ENCOMPASS is an environment designed to support the incremental construction of Ada programs using executable specifications and formal techniques similar to the Vienna Development Method. ENCOMPASS supports the rigorous development of software: parts of a project may use completely formal methods, while other, less critical parts use less expensive techniques. ENCOMPASS provides automated support for all aspects of the development process including specification, prototyping, testing, formal verification, documentation, configuration control, and project management. In ENCOMPASS, software can be specified using PLEASE, an Ada-based executable specification language which can be automatically translated into Prolog. A prototype implementation of ENCOMPASS has been constructed. The authors give an overview of ENCOMPASS, describe the decisions made in the design of the prototype, and discuss the lessions learned in the process.

Original languageEnglish (US)
Title of host publicationProceedings - International Conference on Software Engineering
PublisherIEEE
Pages344-354
Number of pages11
ISBN (Print)0897912586
StatePublished - Jan 1 1988
Externally publishedYes

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'EARLY REPORT ON ENCOMPASS.'. Together they form a unique fingerprint.

Cite this