Uso de Sistemas de Transi????es Modais de Kripke para Representac??o de Comportamento Parcial no Desenvolvimento incremental e interativo de software

Tesis

Fecha

2017-03-17

Registro en:

http://repositorio.ufba.br/ri/handle/ri/21697

http://repositorioslatinoamericanos.uchile.cl/handle/2250/2716030

Autor

Machado, Efraim Zalmoxis de Almeida

Institución

Universidade Federal da Bahia (Brasil)

Resumen

Materias

Informa????o Parcial

Desenvolvimento de Software

Composi????o Paralela

Jogo de Refinamento

Reparo de Refinamento

Mostrar el registro completo del ítem