[SCR requirements, part of the Software Cost Reduction project, Heninger, IEEE Trans Softw. Engin 6.1 1980] is based on compositional, event-driven, mode-machines: @ … is a set of modes; the union of … exactly one mode of each modeclass at all … system state changes. @ Mode transitions are specified … of the system's behavior, and the global behavior …
Google-1
Google-2
Copyright clearance needed for quotation.