Rigorous requirements for real-time systems: evolution and application of the SCR method (tutorial)

• Authors:

• Stuart Faulk;Constance Heitmeyer

• Affiliations:

• University of Oregon, Eugene, Oregon;Naval Research Laboratory (Code 5546), Washington, DC

• Venue:
• ICSE '97 Proceedings of the 19th international conference on Software engineering
• Year:
• 1997