Um processo de software pode ser definido como uma metodologia para as atividades, ações e tarefas necessárias para desenvolver um software de alta qualidade. Neste contexto, um modelo de processo que engloba um conjunto de atividades que conduzem à especificação matemática formal do software, é conhecido como modelo: