Tese de doutoramento Acesso aberto

Um processo de modelação de sistemas software com integração de especificações rigorosas