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.
Peso: | 0,29 kg |
Número de páginas: | 183 |
Ano de edição: | 1989 |
ISBN 10: | 0000215163 |
ISBN 13: | 9780000215161 |
Altura: | 23 |
Largura: | 16 |
Comprimento: | 1 |
Assuntos : | Engenharia Mecânica |
Nós usamos cookies para melhorar a sua experiência no site e, ao continuar navegando, você concorda com essas condições. Acesse o nosso Portal de Privacidade para visualizar nossas Política de Privacidade, Política de Cookies e Termo de Compromisso e Uso do Site.
Avaliações