4 search results - page 1 / 1 » Formalising Behaviour Trees with CSP |
IFM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
ENTCS
2008
13 years 4 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...