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

Full Text:

Pdf

Buy this Article

Authors:	Stuart Faulk	University of Oregon, Eugene, Oregon
	Constance Heitmeyer	Naval Research Laboratory (Code 5546), Washington, DC

Published in:

· Proceeding

ICSE '97 Proceedings of the 19th international conference on Software engineering

ACM New York, NY, USA ©1997
table of contents ISBN:0-89791-914-9 doi>10.1145/253228.253542

	1997 Article
Bibliometrics
· Downloads (6 Weeks): 5 · Downloads (12 Months): 22 · Citation Count: 0

Tools and Resources

Tags: consistency checking design formal methods formal specification performance real-time real-time and embedded systems real-time systems and embedded systems requirements specification theory validation validation verification verification