“É uma classificação de ferramentas baseadas em computadores que auxiliam atividades de Engenharia de Software, desde a análise de requisitos e modelagem até programação e testes. Podem ser consideradas como ferramentas automatizadas que têm como objetivo auxiliar o desenvolvedor de sistemas em uma ou várias etapas do ciclo de desenvolvimento de software.”

Considerando a criação e interpretação de especificações de sistemas computacionais, o trecho refere-se a: