Title :
Non-Functional Computing: Towards a More Scientific Treatment to Non-Functional Requirements
Author_Institution :
Beijing Univ. of Aeronaut. & Astronaut., Beijing
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;
Conference_Titel :
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
Conference_Location :
Beijing
Print_ISBN :
0-7695-2870-8
DOI :
10.1109/COMPSAC.2007.156
