Using the SCR* toolset to specify software requirements

@article{Heitmeyer1998UsingTS,
  title={Using the SCR* toolset to specify software requirements},
  author={C. Heitmeyer},
  journal={Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques},
  year={1998},
  pages={12-13}
}
  • C. Heitmeyer
  • Published 1998
  • Computer Science
  • Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques
  • Formulated in the late 1970s to specify the requirements of the Operational Flight Program of the A-7 aircraft, the SCR (Software Cost Reduction) requirements method is a method based on tables for specifying the requirements of software systems. During the 1980s and the early 1990s, many companies, including Bell Laboratories, Grumman, Ontario Hydro, and Lockheed, applied the SCR requirements method to practical systems. Each of these applications of SCR had, at most, weak tool support. To… CONTINUE READING
    13 Citations

    Topics from this paper

    A novel requirement analysis approach for periodic control systems
    • 4
    An Approach to Requirement Analysis for Periodic Control Systems
    • J. Li, G. Pu, +4 authors B. Gu
    • Computer Science
    • 2012 35th Annual IEEE Software Engineering Workshop
    • 2012
    • 2
    Test-driven specification: paradigm and automation
    • 4
    • PDF
    SPARDL: A Requirement Modeling Language for Periodic Control System
    • 9
    Extent and characteristics of dependencies between vehicle functions in automotive software systems
    • 10
    • PDF
    Why feature dependencies challenge the requirements engineering of automotive systems: An empirical study
    • 33
    • PDF
    A framework for defining and analysing access policies in requirements models
    • PDF

    References

    SHOWING 1-10 OF 16 REFERENCES
    Specifying Software Requirements for Complex Systems: New Techniques and Their Application
    • 586
    • PDF
    SCR: a toolset for specifying and analyzing requirements
    • C. Heitmeyer, A. Bull, C. Gasarch, B. Labaw
    • Computer Science
    • COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'
    • 1995
    • 164
    Experiences Using Lightweight Formal Methods for Requirements Modeling
    • 178
    • PDF
    Tools for formal specification, verification, and validation of requirements
    • 72
    • PDF
    Automated consistency checking of requirements specifications
    • 647
    • PDF
    Specifying the mode logic of a flight guidance system in CoRE and SCR
    • 113
    Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
    • 206
    • PDF
    Automatic generation of state invariants from requirements specifications
    • 87
    • PDF