PLEASE: Executable specifications for incremental software development

  title={PLEASE: Executable specifications for incremental software development},
  author={R. B. Terwilliger and R. Campbell},
  journal={J. Syst. Softw.},
  • R. B. Terwilliger, R. Campbell
  • Published 1989
  • Computer Science
  • J. Syst. Softw.
  • Abstract PLEASE is an executable specification language that supports software development by incremental refinement. PLEASE is part of the ENCOMPASS environment that provides automated support for all aspects of the development process. In ENCOMPASS, software components are first specified using a combination of conventional programming languages and predicate logic. These abstract components are then incrementally redefined into components in an implementation language. Each refinement is… CONTINUE READING


    Publications referenced by this paper.