METODOS PARA ESPECIFICACAO DE SISTEMAS edgard blucher
Este livro apresenta vários métodos semi - formais e formais para especificação de requisitos de sistemas de computação, incluindo: A conceituação de especificações formais; A especificação de um sis...