PLEASE: A LANGUAGE FOR INCREMENTAL SOFTWARE DEVELOPMENT.

Robert B. Terwilliger, Roy H. Campbell

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

Abstract

PLEASE is an executable specification language that supports program development by incremental refinement. The authors present the PLEASE specification for a small library database. PLEASE is part of the ENCOMPASS environment, that provides automated support for all aspects of the software development process. Software components are first specified using a combination of conventional programming languages and predicate logic. These abstract components are then incrementally refined into components in an implementation language. Each refinement is verified before another is applied; therefore, the final components produced by the development satisfy the original specifications. PLEASE allows a procedure or function to be specified with pre- and postconditions written using Horn clauses. PLEASE specifications may be used in proofs of correctness. They may also be transformed into prototypes that use Prolog to execute pre- and postconditions.

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
PublisherIEEE
Pages249-256
Number of pages8
ISBN (Print)0818607696
StatePublished - Jan 1 1987

Fingerprint

Software engineering
Specifications
Specification languages
Computer programming languages

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Terwilliger, R. B., & Campbell, R. H. (1987). PLEASE: A LANGUAGE FOR INCREMENTAL SOFTWARE DEVELOPMENT. In Unknown Host Publication Title (pp. 249-256). IEEE.

PLEASE : A LANGUAGE FOR INCREMENTAL SOFTWARE DEVELOPMENT. / Terwilliger, Robert B.; Campbell, Roy H.

Unknown Host Publication Title. IEEE, 1987. p. 249-256.

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

Terwilliger, RB & Campbell, RH 1987, PLEASE: A LANGUAGE FOR INCREMENTAL SOFTWARE DEVELOPMENT. in Unknown Host Publication Title. IEEE, pp. 249-256.
Terwilliger RB, Campbell RH. PLEASE: A LANGUAGE FOR INCREMENTAL SOFTWARE DEVELOPMENT. In Unknown Host Publication Title. IEEE. 1987. p. 249-256
Terwilliger, Robert B. ; Campbell, Roy H. / PLEASE : A LANGUAGE FOR INCREMENTAL SOFTWARE DEVELOPMENT. Unknown Host Publication Title. IEEE, 1987. pp. 249-256
@inproceedings{c75828f464a8440a9d7d03af9215eb14,
title = "PLEASE: A LANGUAGE FOR INCREMENTAL SOFTWARE DEVELOPMENT.",
abstract = "PLEASE is an executable specification language that supports program development by incremental refinement. The authors present the PLEASE specification for a small library database. PLEASE is part of the ENCOMPASS environment, that provides automated support for all aspects of the software development process. Software components are first specified using a combination of conventional programming languages and predicate logic. These abstract components are then incrementally refined into components in an implementation language. Each refinement is verified before another is applied; therefore, the final components produced by the development satisfy the original specifications. PLEASE allows a procedure or function to be specified with pre- and postconditions written using Horn clauses. PLEASE specifications may be used in proofs of correctness. They may also be transformed into prototypes that use Prolog to execute pre- and postconditions.",
author = "Terwilliger, {Robert B.} and Campbell, {Roy H.}",
year = "1987",
month = "1",
day = "1",
language = "English (US)",
isbn = "0818607696",
publisher = "IEEE",
pages = "249--256",
booktitle = "Unknown Host Publication Title",

}

TY - GEN

T1 - PLEASE

T2 - A LANGUAGE FOR INCREMENTAL SOFTWARE DEVELOPMENT.

AU - Terwilliger, Robert B.

AU - Campbell, Roy H.

PY - 1987/1/1

Y1 - 1987/1/1

N2 - PLEASE is an executable specification language that supports program development by incremental refinement. The authors present the PLEASE specification for a small library database. PLEASE is part of the ENCOMPASS environment, that provides automated support for all aspects of the software development process. Software components are first specified using a combination of conventional programming languages and predicate logic. These abstract components are then incrementally refined into components in an implementation language. Each refinement is verified before another is applied; therefore, the final components produced by the development satisfy the original specifications. PLEASE allows a procedure or function to be specified with pre- and postconditions written using Horn clauses. PLEASE specifications may be used in proofs of correctness. They may also be transformed into prototypes that use Prolog to execute pre- and postconditions.

AB - PLEASE is an executable specification language that supports program development by incremental refinement. The authors present the PLEASE specification for a small library database. PLEASE is part of the ENCOMPASS environment, that provides automated support for all aspects of the software development process. Software components are first specified using a combination of conventional programming languages and predicate logic. These abstract components are then incrementally refined into components in an implementation language. Each refinement is verified before another is applied; therefore, the final components produced by the development satisfy the original specifications. PLEASE allows a procedure or function to be specified with pre- and postconditions written using Horn clauses. PLEASE specifications may be used in proofs of correctness. They may also be transformed into prototypes that use Prolog to execute pre- and postconditions.

UR - http://www.scopus.com/inward/record.url?scp=0023207306&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0023207306&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0023207306

SN - 0818607696

SP - 249

EP - 256

BT - Unknown Host Publication Title

PB - IEEE

ER -