Teses de Mestrado Orientadas

``Especificação Formal de Um Sistema de Controle Acadêmico''.,
Roberto Souto Maior, Setembro de 1988.
``Zc: Uma Notação para Especificação Formal de Sistemas Complexos''.,
Augusto Cesar Alves Sampaio, Novembro de 1988.
``Especificação Protótipo e Implementação de Abstrações de Dados''.,
Maria Liege de Lima Sombra, Dezembro de 1988.
``A Semântica Denotacional de A''.,
Max Cavalcanti de Albuquerque, Agosto de 1989.
``Uma Proposta de Interface para Sistemas de Hipertexto''.,
Alexandre Marcos de Vasconcelos, Agosto de 1989.
``Tipos de Dados em Linguagens Funcionais''.,
Hermano Perrelli Moura, Agosto de 1989.
``Especificação Formal de uma Rede Telefônica''.,
Nelson Cauas Asfora, Outubro de 1989.
``Sistemas de Hipertexto''.,
Eduardo Simões de Albuquerque, Dezembro de 1989.
``Especificação Formal de Sistemas de Hipertexto''.,
Ana Cristina Vieira de Melo, Dezembro de 1989.
``Análise de Métodos Construtivos para Especificação Formal de Software''.,
Ana Lucia Caneca Cavalcanti, Junho de 1990.
``Semântica Formal Aplicada a Tradução Fonte-a-Fonte de Linguagens de Programação''.,
Alberto Raul Pardo Costa, Novembro de 1990.
``Um Gerenciador de Objetos para Sistemas de Hipertexto''.,
José Fernando Tepedino Martins, Julho de 1991.
``Pragmática de Processos em Linguagens Funcionais''.,
Mônica Lara de Souza, Agosto de 1991.
``ForMooZ: Um Ambiente Multi-usuário Baseado em Hipertexto de Suporte a Construção de Especificações Formais Orientadas a Objetos".,
Cássio Souza Santos, Julho de 1992.
``A Aplicação de Especificações Formais no Projeto Lógico de Software''.,
Ismar Neumann Kaufmann, Agosto de 1992.
``Especificações Formais Orientadas a Objetos: Aplicação no Desenvolvimento de um Sistema para Processamento do Eletrocardiograma de Esforço'',,
Gustavo Henrique M. B. Motta, Dezembro de 1992.
``Sobre a Aplicação de Especificação Formal Orientada a Objetos à Semantica Formal de Linguagens Orientadas a Objetos''.,
Sergio Martini de Holanda, Abril de 1993.
``AcquaSound: Uma Extensão Multimídia Sonora Orientada a Objetos para o Sistema de Hipertexto Acqua''.,
Cloves Ferreira Junior, Agosto de 1993.
``Reflexão em Smalltalk: Ambientes e Extensões para Sistemas Reais''.,
Paulo Henrique Cavalcanti Lisboa, Outubro de 1993.
``X-Ray: Um Ambiente de Apoio ao Desenvolvimento de Software por Composição de Componentes Reus&aactute;veis''. ,
Adaucto de Melo Didier, Outubro de 1993.
``Uma Semântica Formal para MooZ''.,
Lin Tse Min, Dezembro de 1993.
``Uma Linguagem Funcional com Processos e sua Semântica''.,
Giovanny Lucero Palma, Dezembro de 1993.
``Uma Linguagem para Construção de Roteiros de Apresentações Multimídia''.,
Ana Eliza Lopes Moura, Dezembro de 1993.