Contratos formais para derivação e verificação de componentes paralelos

Contratos formais para derivação e verificação de componentes paralelos

MARCILON, Thiago Braga. Contratos formais para derivação e verificação de componentes paralelos. 2012. 156 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. === Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T18:10:13Z No. of...

Full description

Bibliographic Details
Main Author: Marcilon, Thiago Braga
Other Authors: Carvalho Junior, Francisco Heron de
Language:Portuguese
Published: 2016
Subjects:
Ciência da computação
Métodos formais
Programação paralela
Componentes de software
Formal methods
Parallel programing
Online Access:http://www.repositorio.ufc.br/handle/riufc/18652

Internet

http://www.repositorio.ufc.br/handle/riufc/18652

Similar Items