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
• Paulo Borba, Augusto Sampaio: Basic Laws of ROOL: an object-oriented language. 49-68
• Fernando Náufel do Amaral, Edward Hermann Haeusler: A logic-based approach for real-time object-oriented software development. 69-88
• Patrícia D. L. Machado: Formal testing from structured algebraic specifications: normalisationand the oracle problem. 89-108
• Aline Brum Loreto, Laira Vieira Toscani, Leila Ribeiro: Complexity analysis of reactive graph grammars. 109-128
• Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin: Using the ACL2 Theorem Prover to Reason about VHDL Components. 129-148

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
• 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
• Liang Zhao: Scene Segmentation by Oscillatory Correlation. 73-88
• Maria Andréia F. Rodrigues: Aplicações Gráficas em Medicina: Técnicas e Modelos Realistas de Deformação. 89-101