Propriedade pela qual um conjunto de atividades é realizado sem confirmação de nenhum outro subsistema.

É o atributo individual do software que permite a um programa ser gerenciável intelectualmente.

Hierarquia de decomposição de um enunciado macroscópico de função, passo a passo, até alcançar declarações em linguagem de programação.

Sugere que os módulos sejam caracterizados por decisões de projetos, ou seja, os módulos devem ser especificados e projetados para que a informação contida em cada módulo seja inacessível a outros módulos que não necessitam desse tipo de informação.

Propriedade pela qual um projeto de software passa para se adaptar aos requisitos funcionais definidos pelo cliente.