Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)
28-Apr-1994	Especificação formal, em estelle, de sistemas digitais.	ARAÚJO, Alfredo Jackson Pereira de.
Oct-1998	A formação e a prática do profissional de programação incluindo a discussão de estratégias para a aprendizagem continuada.	SOUSA, Dênio Mariz Timóteo de.
7-Dec-1995	Um estudo comparativo entre algoritmos indutivos incrementais e não incrementais utilizados na geração de bases de conhecimento a partir de exemplos.	BEZERRA, Haroldo Cesar Frota.
Sep-1990	Desenvolvimento de uma estação de rede MAP para a automação industrial.	TURNELL, David John.
27-Dec-1998	Projeto e implementação de esquemas externos baseados no modelo de entidades e relacionamentos.	LIMA, Luciano Romero Soares de.
11-Dec-1992	Normalizador: uma ferramenta para geração de esquemas relacionais normalizados.	FARIAS, Jorge Augusto Lacerda de.
Dec-1999	Tolerância a falhas em java através de comunicação em grupo.	CIRNE, Lilianne Dantas.
9-Aug-1993	Uma metodologia para projeto de bancos de dados temporal orientado a objetos.	FURTADO, Maria Elizabeth Sucupira.
10-Aug-1995	Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados.	RICCIO, Nicia Cristina Rocha.
May-1997	Sistema neurosimbólico para construção de árvores filogenéticas.	VIEIRA, Roberta Vilhena.
May-1992	Um estudo de solução numérica de problemas de valor de contorno para equações diferenciais ordinárias.	SILVA, Rosana Marques da.
27-Dec-2001	Adaptação de modelos em redes de petri coloridas.	GORGÔNIO, Kyller Costa.
16-May-2003	O impacto da métrica e do escalonador sobre a performance dos supercomputadores paralelos.	MOREIRA, Josilene Aires.
22-Aug-2008	Abordagem de desenvolvimento evolutivo de interface do usuário baseada em modelos e múltipla prototipagem: FastInterface.	OLIVEIRA, Karolyne Maria Alves de.
24-Feb-2003	OntoEditor: um editor para manipular ontologias na web.	VASCONCELOS, Karine de Freitas.
25-Jul-2001	Especificação de componentes para um ambiente de simulação de redes TCP/IP.	LULA, Juliana Camboim Lopes de Andrade.
17-Dec-2002	Projeto e construção de um ambiente para extrair conhecimento de bancos de dados da Petrobras. Estudo de caso: identificação automática de litofácies em poços de petróleo.	TOEBE, Josué.
26-Feb-2003	Suporte à análise e verificação de modelos RPOO.	SANTOS, José Amancio Macedo.
2-Feb-2001	Integração de sistemas heterogêneos através da interface com o usuário.	CAVALCANTI, Janeide Albuquerque.
28-Aug-2009	Geração automática de testes de conformidade para programas de controladores lógicos programáveis.	OLIVEIRA, Kézia de Vasconcelos.