- Engenharia de SoftwareAnálise e Projeto de Software
- Engenharia de SoftwareEngenharia de Requisitos
- Engenharia de SoftwarePrincípios de Engenharia de Software
No processo de desenvolvimento de uma especificação, a definição de nomes das operações e a descrição das condições para a veracidade das distintas combinações entre as operações é realizada na: