• DocumentCode
    3283675
  • Title

    Non-Functional Computing: Towards a More Scientific Treatment to Non-Functional Requirements

  • Author

    Cai, Kai-Yuan

  • Author_Institution
    Beijing Univ. of Aeronaut. & Astronaut., Beijing
  • Volume
    2
  • fYear
    2007
  • fDate
    24-27 July 2007
  • Firstpage
    493
  • Lastpage
    494
  • Abstract
    Non-functional computing should be developed in parallel with functional computing. In order to do so, a plausible starting point is to examine non-functional attributes of existing computing models. A finite state machine (FSM) specifies one or more accept states.
  • Keywords
    finite state machines; formal specification; finite state machine; functional computing; nonfunctional computing; nonfunctional requirements specification; scientific treatment; Algorithm design and analysis; Availability; Delay; Extraterrestrial measurements; Maintenance; Physics computing; Quality of service; Safety; Security; Space technology;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
  • Conference_Location
    Beijing
  • ISSN
    0730-3157
  • Print_ISBN
    0-7695-2870-8
  • Type

    conf

  • DOI
    10.1109/COMPSAC.2007.156
  • Filename
    4291167