Título: Revisão de Crenças para Especificação Formal em Z

    Palestrante: Thiago Carvalho de Sousa

    Resumo:

        Ao longo dos anos a comunidade de desenvolvimento criou verdadeiros
        tabus em relação a especificação formal de software. Alguns tabus não
        são exatamente confirmados. Os mais importantes, que são a dificuldade
        de aplicação e o aumento de custo de desenvolvimento, estão sendo
        contraprovados atualmente pelo uso prático em projetos importantes de
        várias empresas, entre elas a IBM e a Boeing.

	Entre os mais conhecidos métodos formais de especificação encontra-se
	a notação Z, que foi desenvolvida em Oxford no final dos anos 70 e que
	atualmente é bastante popular na indústria e meios acadêmicos e
	governamentais. Neste seminário iremos mostrar as principais
	características dessa notação e como a área de Revisão de Crenças pode
	se tornar uma ferramenta auxiliar para a manutenção de requisitos
	especificados em Z.