Na etapa de análise de projeto da Engenharia de Software, considere as seguintes atividades:

I. desenvolvimento de modelos formais, verificáveis matematicamente;

II. definição do documento de requisitos e a sua assinatura por parte do cliente;

III. criação de interfaces bem definidas no código fonte.

Sobre as atividades, pode-se dizer que faz(em) parte da atividade de formalização o contido apenas em