DocumentCode :
313044
Title :
Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method
Author :
Faulk, Stuart ; Heitmeyer, Constance
Author_Institution :
University of Oregon
fYear :
1997
fDate :
17-23 May 1997
Firstpage :
637
Lastpage :
638
Keywords :
Application software; Computer industry; Costs; Defense industry; Formal specifications; Military aircraft; Programming; Real time systems; Technology transfer; Thyristors;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 (19th) International Conference on
ISSN :
0270-5257
Print_ISBN :
0-89791-914-9
Type :
conf
DOI :
10.1109/ICSE.1997.610443
Filename :
610443
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=313044
بازگشت