Fani Barbosa Camargo

Informações coletadas do Lattes

Acadêmico

Seção coletada automaticamente pelo Escavador

Foi orientado por

Mario Jino

Composição de Componentes de Software: Especificação Formal de Requisitos e Automatização do Processo de Validação; 1991; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Orientador: Mario Jino;

Fuad Gattaz Sobrinho

Composição de componentes de software: especificação formal de requisitos e automatização do processo de validação; 1992; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,; Orientador: Fuad Gattaz Sobrinho;

Marcelo Ladeira

SRI - Software de Recuperação de Informação: Módulo Linguagem de Recuperação; 1988; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Marcelo Ladeira;