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

Fani Barbosa Camargo

DISSERTAÇÃO

Português

T/UNICAMP C14c

Campinas, SP : [s.n.], 1991.

[108]f. : il.

Orientadores : Mario Jino, Fuad Gattaz Sobrinho

Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica

Resumo: A atual tecnologia de produçao de software encontra-se em estágio artesanal e caracterizada por baixa qualidade e produtividade. Formas promissoras de ir de encontro a uma produçao industrial de sistemas de software encontram-se em paradigmas de reuso e formalismo. o objetivo deste trabalho...

Abstract: The current software production technology is found to be in a craftsman stage, with low quality and productivity standards. Promising avenues towards an industrial
production of software systems lie in paradigms of reuse and formalism. The objective of this work is to propose an...

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

Fani Barbosa Camargo


										

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

Fani Barbosa Camargo

    Exemplares