Atualizaes em

Informtica
Reitor
Pe. Jesus Hortal Snchez, S.J.

Vice-Reitor
Pe. Josaf Carlos de Siqueira, S.J.

Vice-Reitor para Assuntos Acadmicos

Prof. Danilo Marcondes de Souza Filho

Vice-Reitor para Assuntos Administrativos

Prof. Luiz Carlos Scavarda do Carmo

Vice-Reitor para Assuntos Comunitrios

Prof. Augusto Sampaio

Vice-Reitor para Assuntos de Desenvolvimento

Pe. Francisco Ivern, S.J.

Decanos
Prof Maria Clara Lucchetti Bingemer (CTCH)
Prof Gisele Cittadino (CCS)
Prof. Reinaldo Calixto de Campos (CTC)
Prof. Francisco de Paula Amarante Neto (CCBM)
Atualizaes em Informtica

Karin Breitman
Ricardo Anido
Editores
 Editora PUC-Rio
Rua Marqus de S. Vicente, 225 Projeto Comunicar
Praa Alceu Amoroso Lima, casa V
Gvea Rio de Janeiro RJ CEP 22453-900
Telefax: (21)3527-1838/3527-1760
Site: www.puc-rio.br/editorapucrio
E-mail: edpucrio@vrc.puc-rio.br

Conselho Editorial
Augusto Sampaio, Cesar Romero Jacob, Danilo Marcondes de
Souza Filho, Maria Clara Lucchetti Bingemer, Fernando S,
Gisele Cittadino, Reinaldo Calixto de Campos, Miguel Pereira.

Capa e Projeto Grfico

Jos Antonio de Oliveira

Reviso de originais
Gilberto Scheid

Todos os direitos reservados. Nenhuma parte desta obra pode

ser reproduzida ou transmitida por quaisquer meios (eletrnico ou
mecnico, incluindo fotocpia e gravao) ou arquivada em qualquer
sistema ou banco de dados sem permisso escrita da Editora.

Karin Breitman e Ricardo Anido

ISBN: 85-87926-19-5

Atualizaes em informtica / editores: Karin

Breitman, Ricardo Anido. Rio de Janeiro:
Editora PUC-Rio : SBC, 2006.

452 p. : il. ; 21 cm
Inclui referncias bibliogrficas

1. Informtica. 2. Engenharia de Software

3. Arquitetura de computador. I. Breitman, Karin.
II. Anido, Ricardo.

CDD: 004
 Agradecimentos

Otvio Augusto Lazzarini Lemos e Fabiano Cutigi Ferrari por seu apoio incon-
dicional na formatao dos textos em Latex e pela elaborao dos templates
que sero adotados como o padro para os futuros volumes da Srie Atuliza-
o em Informtica.

Lisandro Granville por seu apoio operacional junto ao JEMS.

A equipe da sede da SBC, em particular a Gabriela Conceio pelo apoio

operacional.

Ao Comit Gestor do Congresso da SBC pelo apoio durante a transio para o

novo formato das Jornadas de Atualizao em Informtica.

Ao CNPq, CAPES e Finep pelo apoio financeiro.

Editores
Karin Breitman PUC-Rio
Ricardo Anido UNICAMP

Corpo Editorial
Carla Maria Dal Sasso Freitas UFRGS
Daniel M. Berry University of Waterloo
Flvio Rech Wagner UFRGS
Lisandro Zambenedetti Granville UFRGS
Mariza A. S. Bigonha UFMG
Paulo Rosa IME
Raimundo Jos de Arajo Macdo UFBA
Taisy Silva Weber UFRGS
Tomasz Kowaltowski UNICAMP
 Sumrio

Autores e linhas de pesquisa........................................................................ 9

Apresentao................................................................................................ 11

Captulo 1 Teste de Software Orientado a Objetos e a Aspectos:

Teoria e Prtica......................................................................... 13

Captulo 2 Introduo ao Processamento de Imagens Mdicas

para Auxlio ao Diagnstico Uma Viso Prtica..................... 73

Captulo 3 Visualizao, Simulao e Games...........................................127

Captulo 4 Fundamentos, Tecnologias e Tendncias

Rumo a Redes P2P Seguras....................................................187

Captulo 5 Engenharia de Software Orientada a Agentes...................... 245

Captulo 6 Reconhecimento Sinttico e Estrutural de Padres................ 283

Captulo 7 Projeto e Desenvolvimento de Sistemas Embarcados

Multiprocessados.................................................................... .331

Captulo 8 Programao Orientada a Objetos com Grafos..................... ..387

 Autores e linhas de pesquisa

Captulo 1
Paulo C. Masiero, DSc, ICMC/USP Re-uso de Software, Desenvolvimento
Baseado em Interesses;

Otvio A. L. Lemos, MSc, ICMC/USP Teste de Sistemas de Software, Desen-

volvimento de Software OO e OA;

Fabiano C. Ferrari, BSc, ICMC/USP Teste de Sistemas de Software, Desen-

volvimento de Software OO e OA;

Jos C. Maldonado, DSc, ICMC/USP Teste de Sistemas de Software, Ensino

de Engenharia de Software, Engenharia de Software Experimental.

Captulo 2
Ftima L. S. Nunes, Dra, Centro Universitrio Eurpides de Marlia (UNIVEM)
Processamento de Imagens, Realidade Virtual, Banco de Dados

Captulo 3
Bruno Feij, PhD, PUC-Rio Visualizao, Computao Grfica, Animao,
jogos, Entretenimento Digital

Paulo Aristarco Pagliosa, Doutor, UFMS Mecnica Computacional, Visuali-

zao

Esteban Walter Gonzalez Clua, Doutor, PUC-Rio Visualizao, Computao

Grfica, Animao, Jogos, Entretenimento Digital

Captulo 4
Marinho Pilla Barcellos, PhD, PIPCA/UNISINOS Redes de Computadores e
Sistemas Distribudos, Avaliao de Desempenho;

Luciano Paschoal Gaspary, DSc, Instituto de Informtica/UFRGS Gerncia

de Redes, segurana de Sistemas.

Captulo 5
Jaelson Freire Brelaz de Castro, PhD, CIn/UFPE Engenharia de Requisitos,
Arquitetura de Software, Desenvolvimento Orientado Agentes, Desenvolvimen-
to Orientado a Aspectos;

Fernanda Maria Ribeiro Alencar, DSc,DES/UFPE Engenharia de Requisitos,

Modelagem Organizacional, Sistemas Multi-agentes, Orientao a Aspectos,
Engenharia de Software Aplicada Sade;
Carla Taciana Lima Loureno Silva, MSc, CIn/UFPE Engenharia de Software
Orientada a Agentes, Arquitetura de Software, Engenharia de Requisitos, Me-
todologias de Desenvolvimento de Software

Captulo 6
Jos Luiz de Souza Pio, DSc, UFAM/DCC Viso Robtica, Processamento de
Imagens, Reconhecimento de Padres;

Camillo Jorge Santos Oliveira MSc, UFMG/DCC Processamento Digital de

Imagens, Reconhecimento de Padres, Recuperao de Informao Visual,
Sistemas de Informao Multimdia;

Arnaldo de Albuquerque Arajo, DSc, UFMG/DCC Processamento Digital de

Imagens, Recuperao de Informao Visual, Sistemas de Informao Multi-
mdia;

Newton Jos Vieira, DSc, UFMG/DCC Mtodos Formais, Inteligncia Artifi-

cial, Sistemas Baseados em Conhecimento.

Captulo 7
Rodolfo Azevedo, Doutor, Instituto de Computao/UNICAMP Arquitetura de
Computadores, Projeto de Sistemas Dedicados, Linguagens de Programao
e Compiladores;

Sandro Rigo, Doutor, Instituto de Computao/UNICAMP Arquitetura de

Computadores, Linguagens de Programao e Compiladores, Projeto de Sis-
temas Dedicados;

Guido Araujo, PhD, Instituto de Computao/UNICAMP - Arquitetura de Com-

putadores, Linguagens de Programao e Compiladores, Projeto de Sistemas
Dedicados;

Captulo 8
Ana Paula Ldtke Ferreira, DSc Universidade do Vale do Rio dos Sinos (UNI-
SINOS). Mtodos Formais, Verificao Formal e Modelos de Computao.

Leila Ribeiro, DSc,- Instituto de Informtica Universidade Federal do Rio

Grande do Sul (UFRGS). Mtodos Formais, Engenharia de Software e Bio-
informtica


 Apresentao

com grande prazer que apresentamos o primeiro livro da srie Atuali-

zaes em Informtica. O objetivo desta srie oferecer a seus leitores textos
concisos sobre temas que no fazem parte dos currculos regulares de gradua-
o no Brasil. Escritos de maneira didtica por pesquisadores com atuao reco-
nhecida nesses temas, e revistos por um comit editorial, estes textos so uma
excelente referncia para que acadmicos e profissionais de informtica possam
se atualizar em temas relevantes e de ponta em Cincia da Computao.
A seleo deste ano conta com um leque variado de temas que certa-
mente vai despertar o interesse de acadmicos, profissionais e estudantes. O
primeiro captulo alia a tcnica emergente de aspectos ao tema fundamental
de teste de software. O captulo 2 traz uma excelente discusso acerca do
processamento de imagens para aplicaes em Medicina. O captulo 3 aborda
os populares Jogos 3-D sob um enfoque mais amplo, que vai permitir com que
seus leitores apliquem o conhecimento adquirido em outras aplicaes. O ca-
ptulo 4 aborda a atual questo de Segurana em redes P2P, com um enfoque
que transcende barreiras acadmicas. O captulo 5 traz uma inovadora aborda-
gem para o desenvolvimento de sistemas multi agente. O captulo 6 apresenta
de forma sinttica, direta e sobretudo simples um dos blocos fundamentais da
Cincia da Computao reconhecimento de padres. O captulo 7 apresen-
ta uma nova abordagem para a prototipagem de sistemas multi-processados,
face a obsolescncia de tcnicas mais antigas e novos requisitos impostos por
dispositivos tais como celulares e PDAs. Finalmente o captulo 8 discute de for-
ma definitiva um modelo que pode ser usado para especificar e programar sis-
temas concorrentes e orientados a objeto. Todos os captulos tm em comum
a preocupao com a qualidade do contedo e utilizao de uma linguagem
simples e direta, que possa ser compreendida por estudantes, profissionais e
pesquisadores de reas afins.
Os captulos deste livro servem como companhia para as Jornadas de
Atualizao em Informtica (JAI) do ano de 2006. Tradicionalmente realizadas
em conjunto com o Congresso da Sociedade Brasileira de Computao, as Jor-
nadas constituem um dos mais importantes eventos acadmicos de atualizao
cientfica e tecnolgica da comunidade de Cincia da Computao do Brasil.

Karin Breitman
Ricardo Anido
(Editores)

11