Métodos para a Especificação de Sistemas
TERESA CRISTINA AGUIAR
Este livro apresenta vários métodos semi-formais e formais para loja especificação de requisitos de sistemas preco de computação, incluindo:
teresa cristina aguiar A conceituação de loja especificações formais; A especificação Métodos para a Especificação de Sistemas de um sistema-exemplo utilizando-se três métodos formais com abordagens distintas: algébrico, VDM e um método venda de especificação baseado em modelo escritor operacional. A abordagem teresa cristina aguiar de questões gerais venda referentes ao desenvolvimento de Métodos para a Especificação de Sistemas software em larga escala, ciclo de vida de desenvolvimento de software, Inteligência Artificial e Engenharia preco de Software, reutilização e ferramentas submarino automatizadas para especificação. teresa cristina aguiar O livro, contendo preco farta bibliografia, pode ser Métodos para a Especificação de Sistemas utilizado em cursos de graduação e pós-graduação. Destina-se, ainda, a profissionais da área de computação escritor que desejem aprofundar seus conhecimentos autor em métodos de teresa cristina aguiar desenvolvimento de sistemas.
escritor
Notícias