Se usa en un sentido formal en la ingeniería de sistemas, ingeniería de software e ingeniería de requisitos.