Associadas à especificação de sistemas críticos, as técnicas de decomposição de riscos podem ser (1) dedutivas - do risco em direção à falha possível ou, ao contrário, (2) indutivas - da falha proposta em direção aos possíveis perigos que levariam-na a ocorrer, ou seja, respectivamente, técnicas