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… Expand
13 Citations
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
...
1
2
...

References

SHOWING 1-10 OF 16 REFERENCES
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
  • 589
  • 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
  • 163
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
  • 649
  • 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
  • 88
  • PDF
...
1
2
...