• 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.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=313044