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

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.

[1]  Julio Cesar Sampaio do Prado Leite,et al.  On Non-Functional Requirements in Software Engineering , 2009, Conceptual Modeling: Foundations and Applications.

[2]  31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1 , 2007, Annual International Computer Software and Applications Conference.

[3]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[4]  John F. Meyer,et al.  Performability: A Retrospective and Some Pointers to the Future , 1992, Perform. Evaluation.

[5]  Kai-Yuan Cai,et al.  Software Reliability Experimentation and Control , 2006, Journal of Computer Science and Technology.

[6]  Antonio Casimiro,et al.  The Timely Computing Base Model and Architecture , 2002, IEEE Trans. Computers.

[7]  Matt Bishop,et al.  Computer Security: Art and Science , 2002 .

[8]  Kai-Yuan Cai,et al.  A mathematical modeling framework for software reliability testing , 2007, Int. J. Gen. Syst..