Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa

Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa

Silvio Roberto Medeiros Evangelista

DISSERTAÇÃO

Português

(Broch.)

T/UNICAMP Ev14a

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

[216]f. : il.

(Publicação FEE)

Orientadores: Beatriz Mascia Daltrini, Fuad Gattaz Sobrinho

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

Resumo: Este trabalho tem por objetivo desenvolver e implementar um modelo para abstraçao funcional de programas, a qual é definida nesta pesquisa como a precisa determinação do efeito de um programa sobre as suas variáveis em todas as situações possíveis. O modelo de abstração funcional proposto é...

Abstract: Not informed.

Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa

Silvio Roberto Medeiros Evangelista


										

Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa

Silvio Roberto Medeiros Evangelista

    Exemplares