Title :
Formalising humans in software processes
Author :
Nakagawa, Ataru T. ; Futatsugi, Kokichi
Author_Institution :
SRA Corp., Arlington, VA, USA
Abstract :
In formally specifying software processes, the effects of human behaviour may best be classified in two broad categories. An executioner of a certain task plays a passive role, which does not affect the course of the process. A decision-maker does affect its course, sometimes radically. This difference reveals itself when we try to formulate axioms, where the effects of the former reduce to operators, while those of the latter reduce to conditions
Keywords :
algebraic specification; human factors; rewriting systems; conditions; decision-maker; formal specification; human behaviour; human formalisation; operators; software processes; task executioner; Carbon capture and storage; Equations; Formal specifications; Guidelines; Humans; Logic devices; Logic functions; Software systems; Specification languages;
Conference_Titel :
Software Process Workshop, 1994. Proceedings., Ninth International
Conference_Location :
Airlie, VA
Print_ISBN :
0-8186-6770-2
DOI :
10.1109/ISPW.1994.512764
