The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support

@article{Heitmeyer1997TheSM,
  title={The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support},
  author={Constance L. Heitmeyer and James Kirby and Bruce G. Labaw},
  journal={Proceedings of the (19th) International Conference on Software Engineering},
  year={1997},
  pages={610-611}
}
  • Constance L. Heitmeyer, James Kirby, Bruce G. Labaw
  • Published in
    Proceedings of the (19th…
    1997
  • Computer Science
  • I N T R O D U C T I O N Given the high frequency of requirements errors, the serious accidents they may cause, and the high cost of correcting them, techniques for improving the quality of requirements specifications and for early detection of requirements errors are crucial. One promising approach to reducing software errors is to apply formal methods to the requirements specification. Using a formal notation to specify requirements can reduce errors by reducing ambiguity and imprecision… CONTINUE READING

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

    Citations

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

    Goal and scenario validation: a fluent combination

    VIEW 6 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Feasibility of Stepwise Design of Multitolerant Programs

    VIEW 5 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Extraction of System States from Natural Language Requirements

    Reuse and Integration of Specification Logics: The Hybridisation Perspective

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Systematic elicitation of mode models for multifunctional systems

    VIEW 3 EXCERPTS
    CITES METHODS

    Paradigm integration in a specification course

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Why feature dependencies challenge the requirements engineering of automotive systems: An empirical study

    Extent and characteristics of dependencies between vehicle functions in automotive software systems

    VIEW 1 EXCERPT
    CITES BACKGROUND