Revista de Informática Teórica e Aplicada - RITA, Volume 7

Volume 7, Number 1, September 2000

• David Déharbe, Anamaria Martins Moreira, Leila Ribeiro, Vanderlei Moraes Rodrigues: Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. 7-48 BibTeX
• Paulo Borba, Augusto Sampaio: Basic Laws of ROOL: an object-oriented language. 49-68 BibTeX
• Fernando Náufel do Amaral, Edward Hermann Haeusler: A logic-based approach for real-time object-oriented software development. 69-88 BibTeX
• Patrícia D. L. Machado: Formal testing from structured algebraic specifications: normalisationand the oracle problem. 89-108 BibTeX
• Aline Brum Loreto, Laira Vieira Toscani, Leila Ribeiro: Complexity analysis of reactive graph grammars. 109-128 BibTeX
• Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin: Using the ACL2 Theorem Prover to Reason about VHDL Components. 129-148 BibTeX

Volume 7, Number 2, December 2000

• Alberto Barbosa Raposo, Adailton José Alves Da Cruz, Alessandro de Lima Bicho, Alfredo K. Kojima, Carlos A. M. dos Santos, Isla C. F. da Silva, Léo Pini Magalhães, Paulo C. P. de Andrade: Ferramentas de Programação Livres para Computação Gráfica e Animação por Computador. 7-42 BibTeX
• Arnaldo de Albuquerque Araújo, Silvio Jamil Ferzoli Guimarães: Recuperação de Informação Visual com Base no Conteúdo em Imagens e Vídeos Digitais. 43-72 BibTeX
• Liang Zhao: Scene Segmentation by Oscillatory Correlation. 73-88 BibTeX
• Maria Andréia F. Rodrigues: Aplicações Gráficas em Medicina: Técnicas e Modelos Realistas de Deformação. 89-101 BibTeX