METODOS PARA ESPECIFICAÇAO DE SISTEMAS

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 sistema-exemplo utilizando-se três métodos formais comabordagens distintas: algébrico, VDM e um método de especificação baseado em modelo operacional. a abordagem de questões gerais referentes ao desenvolvimento de software em larga escala, ciclo de vida de desenvolvimento de software, Inteligência Artificial e Engenharia de Software, reutilização e ferramentas automatizadas para especificação. O livro, contendo farta bibliografia, pode ser utilizado em cursos de graduação e pós-graduação. Destina-se, ainda, a profissionais da área de computação que desejem aprofundar seus conhecimentos em métodos de desenvolvimento de sistemas.