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 com abordagens 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.