Uso de Sistemas de Transições Modais de Kripke para Representacão de Comportamento Parcial no Desenvolvimento incremental e interativo de software
Submitted by Marcos Samuel (msamjunior@gmail.com) on 2017-03-17T15:13:25Z No. of bitstreams: 1 dissertacao mestrado após alterações banca Copy.pdf: 2165404 bytes, checksum: 143e78d2a8df23ce0aa098625991160f (MD5) === Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-0...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Instituto de Matemática. Departamento de Computação.
2017
|
| Subjects: | |
| Online Access: | http://repositorio.ufba.br/ri/handle/ri/21697 |