Estos forman una importante base teórica para la ingeniería de software, especialmente cuando está involucrado la seguridad o robustez.