Contratos formais para derivaÃÃo e verificaÃÃo de componentes paralelos.

Contratos formais para derivaÃÃo e verificaÃÃo de componentes paralelos.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico === A aplicaÃÃo de nuvens computacionais para oferecer serviÃos de ComputaÃÃo de Alto Desempenho (CAD) à um assunto bastante discutido no meio acadÃmico e industrial. Esta dissertaÃÃo està inserida no contexto do projeto de uma nuvem comp...

Full description

Bibliographic Details
Main Author: Thiago Braga Marcilon
Other Authors: Francisco Heron de Carvalho Junior
Format: Others
Language:Portuguese
Published: Universidade Federal do Cearà 2012
Subjects:
MÃtodos Formais
ProgramaÃÃo Paralela
Componentes de Software
Formal Methods
Parallel Programing
Software Components
CIENCIA DA COMPUTACAO
Online Access:http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=8691

Internet

http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=8691

Similar Items