PLEASE: Executable specifications for incremental software development

@article{Terwilliger1989PLEASEES,
  title={PLEASE: Executable specifications for incremental software development},
  author={R. B. Terwilliger and R. Campbell},
  journal={J. Syst. Softw.},
  year={1989},
  volume={10},
  pages={97-112}
}
  • 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

    References

    Publications referenced by this paper.