Executing formal specifications need not be harmful

@article{Gravell1996ExecutingFS,
  title={Executing formal specifications need not be harmful},
  author={Andrew M. Gravell and Peter Henderson},
  journal={Softw. Eng. J.},
  year={1996},
  volume={11},
  pages={104-110}
}
  • Andrew M. Gravell, Peter Henderson
  • Published in Softw. Eng. J. 1996
  • Computer Science
  • The various arguments that have been advanced for and against the use of executable specifications are reviewed. Examples are provided of the problems that may arise in applying this technique and of the benefits which may accrue. A case study is reported in which execution is used to validate the published specification of a commercially available package. It is concluded that there are circumstances when executable specifications can be of high value but that execution must be used together… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 44 CITATIONS

    Programming Methodology

    VIEW 9 EXCERPTS
    CITES BACKGROUND, RESULTS & METHODS
    HIGHLY INFLUENCED

    A property based specification formalism classification

    VIEW 2 EXCERPTS
    CITES BACKGROUND

    Validation of Scenario-Based Business Requirements with Coloured Petri Nets

    VIEW 1 EXCERPT
    CITES METHODS

    Computer-aided Support for Secure Tropos

    VIEW 1 EXCERPT
    CITES BACKGROUND