Case Study: The Paisley Approach Applied to Its Own Software Tools

@article{Zave1986CaseST,
  title={Case Study: The Paisley Approach Applied to Its Own Software Tools},
  author={Pamela Zave},
  journal={Comput. Lang.},
  year={1986},
  volume={11},
  pages={15-28}
}
  • Pamela Zave
  • Published 1986
  • Computer Science
  • Comput. Lang.
  • Abstract The operational approach to software development is based on executable specifications and transformational implementation. PAISLey is an operational specification language intended to be the core of a method which is an instance of the operational approach, although only the initial (specification) phase of the method has been developed. This paper describes and evaluates the application of this method to the PAISLey implementation. Since PAISLey is intended for real-time systems and… CONTINUE READING

    Figures and Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-5 OF 5 CITATIONS