Composição de componentes de software : especificação formal de requisitos e automatização do processo de validação

Composição de componentes de software : especificação formal de requisitos e automatização do processo de validação

Orientadores : Mario Jino, Fuad Gattaz Sobrinho === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica === Made available in DSpace on 2018-07-14T02:48:40Z (GMT). No. of bitstreams: 1 Camargo_FaniBarbosa_M.pdf: 6914690 bytes, checksum: eac206e5526bf3b6a6ac5b...

Full description

Bibliographic Details
Main Author: Camargo, Fani Barbosa
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 1991
Subjects:
Software - Desenvolvimento
Engenharia elétrica
Online Access:CAMARGO, Fani Barbosa. Composição de componentes de software: especificação formal de requisitos e automatização do processo de validação. 1991. [108]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/261541>. Acesso em: 13 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/261541

Internet

CAMARGO, Fani Barbosa. Composição de componentes de software: especificação formal de requisitos e automatização do processo de validação. 1991. [108]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/261541>. Acesso em: 13 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/261541

Similar Items