“…3-4, pp. 251-265, 2017 Com relação aos aspectos de software, a mesma equipe desenvolveu uma nova arquitetura de software, denominada de arquitetura em Cruz (PERICO et al, 2014;PERICO et al, 2015). Trata-se de uma arquitetura híbrida, que combina principais aspectos do paradigma reativo (BROOKS, 1985), como rapidez e comportamental, com os aspectos do paradigma hi- Davis (1986), Davis (1990 "x está desconectado de y" P (x,y) ≡ def ∀z [C(z,x) → C(z,y)] "x é parte de y" P P (x,y) ≡ def P (x,y) ∧ ¬P (y,x) "x é parte própria de y" EQ(x,y) ≡ def P (x,y) ∧ P (y,x) "x = y" : "x é idêntico a y"…”