Atualizações em Informática

(1)

Atualizações em

Informática

(2)

Reitor

Pe. Jesus Hortal Sánchez, S.J. Vice-Reitor

Pe. Josafá Carlos de Siqueira, S.J. Vice-Reitor para Assuntos Acadêmicos Prof. Danilo Marcondes de Souza Filho Vice-Reitor para Assuntos Administrativos Prof. Luiz Carlos Scavarda do Carmo Vice-Reitor para Assuntos Comunitários 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)

(3)

Editores

Karin Breitman

Ricardo Anido

(4)

Rua Marquês de S. Vicente, 225 – Projeto Comunicar Praça Alceu Amoroso Lima, casa V Gávea – Rio de Janeiro – RJ – CEP 22453-900

Telefax: (21)3527-1838/3527-1760 Site: www.puc-rio.br/editorapucrio

E-mail: [email protected] 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 Gráfico José Antonio de Oliveira

Revisão de originais Gilberto Scheid

sistema ou banco de dados sem permissão escrita da Editora.

Atualizações em informática / editores: Karin Breitman, Ricardo Anido. – Rio de Janeiro: Editora PUC-Rio : SBC, 2006.

452 p. : il. ; 21 cm

Inclui referências bibliográficas

1. Informática. 2. Engenharia de Software 3. Arquitetura de computador. I. Breitman, Karin. II. Anido, Ricardo.

(5)

Agradecimentos

Otávio Augusto Lazzarini Lemos e Fabiano Cutigi Ferrari por seu apoio incon-dicional na formatação dos textos em Latex e pela elaboração dos templates que serão adotados como o padrão para os futuros volumes da Série Atuliza-ção em Informática.

Lisandro Granville por seu apoio operacional junto ao JEMS.

A equipe da sede da SBC, em particular a Gabriela Conceição pelo apoio operacional.

Ao Comitê Gestor do Congresso da SBC pelo apoio durante a transição para o novo formato das Jornadas de Atualização em Informática.

(6)

Editores

Karin Breitman – PUC-Rio Ricardo Anido – UNICAMP

Corpo Editorial

Carla Maria Dal Sasso Freitas – UFRGS Daniel M. Berry – University of Waterloo Flávio Rech Wagner – UFRGS

Lisandro Zambenedetti Granville– UFRGS Mariza A. S. Bigonha – UFMG

Paulo Rosa – IME

Raimundo José de Araújo Macêdo – UFBA Taisy Silva Weber – UFRGS

(7)

Sumário

Autores e linhas de pesquisa ... 9 Apresentação ... 11 Capítulo 1 – Teste de Software Orientado a Objetos e a Aspectos:

Teoria e Prática ... 13 Capítulo 2 – Introdução ao Processamento de Imagens Médicas

para Auxílio ao Diagnóstico – Uma Visão Prática ... 73 Capítulo 3 – Visualização, Simulação e Games...127 Capítulo 4 – Fundamentos, Tecnologias e Tendências

Rumo a Redes P2P Seguras...187 Capítulo 5 – Engenharia de Software Orientada a Agentes... 245 Capítulo 6 – Reconhecimento Sintático e Estrutural de Padrões ... 283 Capítulo 7 – Projeto e Desenvolvimento de Sistemas Embarcados

Multiprocessados... .331 Capítulo 8 – Programação Orientada a Objetos com Grafos... ..387

(8)

Autores e linhas de pesquisa

Capítulo 1

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

Otávio 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.

Capítulo 2

Fátima L. S. Nunes, Dra, Centro Universitário Eurípides de Marília (UNIVEM) – Processamento de Imagens, Realidade Virtual, Banco de Dados

Capítulo 3

Bruno Feijó, PhD, PUC-Rio – Visualização, Computação Gráfica, Animação, jogos, Entretenimento Digital

Paulo Aristarco Pagliosa, Doutor, UFMS – Mecânica Computacional, Visuali-zação

Esteban Walter Gonzalez Clua, Doutor, PUC-Rio – Visualização, Computação Gráfica, Animação, Jogos, Entretenimento Digital

Capítulo 4

Marinho Pilla Barcellos, PhD, PIPCA/UNISINOS – Redes de Computadores e Sistemas Distribuídos, Avaliação de Desempenho;

Luciano Paschoal Gaspary, DSc, Instituto de Informática/UFRGS – Gerência de Redes, segurança de Sistemas.

Capítulo 5

Jaelson Freire Brelaz de Castro, PhD, CIn/UFPE – Engenharia de Requisitos, Arquitetura de Software, Desenvolvimento Orientado Agentes, Desenvolvimen-to Orientado a AspecDesenvolvimen-tos;

Fernanda Maria Ribeiro Alencar, DSc,DES/UFPE – Engenharia de Requisitos, Modelagem Organizacional, Sistemas Multi-agentes, Orientação a Aspectos, Engenharia de Software Aplicada à Saúde;

(9)

9 Carla Taciana Lima Lourenço Silva, MSc, CIn/UFPE – Engenharia de Software Orientada a Agentes, Arquitetura de Software, Engenharia de Requisitos, Me-todologias de Desenvolvimento de Software

Capítulo 6

José Luiz de Souza Pio, DSc, UFAM/DCC – Visão Robótica, Processamento de Imagens, Reconhecimento de Padrões;

Camillo Jorge Santos Oliveira MSc, UFMG/DCC – Processamento Digital de Imagens, Reconhecimento de Padrões, Recuperação de Informação Visual, Sistemas de Informação Multimídia;

Arnaldo de Albuquerque Araújo, DSc, UFMG/DCC – Processamento Digital de Imagens, Recuperação de Informação Visual, Sistemas de Informação Multi-mídia;

Newton José Vieira, DSc, UFMG/DCC – Métodos Formais, Inteligência Artifi-cial, Sistemas Baseados em Conhecimento.

Capítulo 7

Rodolfo Azevedo, Doutor, Instituto de Computação/UNICAMP – Arquitetura de Computadores, Projeto de Sistemas Dedicados, Linguagens de Programação e Compiladores;

Sandro Rigo, Doutor, Instituto de Computação/UNICAMP – Arquitetura de Computadores, Linguagens de Programação e Compiladores, Projeto de Sis-temas Dedicados;

Guido Araujo, PhD, Instituto de Computação/UNICAMP - Arquitetura de Com-putadores, Linguagens de Programação e Compiladores, Projeto de Sistemas Dedicados;

Capítulo 8

Ana Paula Lüdtke Ferreira, DSc – Universidade do Vale do Rio dos Sinos (UNI-SINOS). Métodos Formais, Verificação Formal e Modelos de Computação. Leila Ribeiro, DSc,- Instituto de Informática – Universidade Federal do Rio Grande do Sul (UFRGS). Métodos Formais, Engenharia de Software e Bio-informática

(10)

(11)

11

Apresentação

É com grande prazer que apresentamos o primeiro livro da série Atuali-zações em Informática. O objetivo desta série é oferecer a seus leitores textos

concisos sobre temas que não fazem parte dos currículos regulares de gradua-ção no Brasil. Escritos de maneira didática por pesquisadores com atuagradua-ção reco-nhecida nesses temas, e revistos por um comitê editorial, estes textos são uma excelente referência para que acadêmicos e profissionais de informática possam se atualizar em temas relevantes e de ponta em Ciência da Computação.

A seleção deste ano conta com um leque variado de temas que certa-mente vai despertar o interesse de acadêmicos, profissionais e estudantes. O primeiro capítulo alia a técnica emergente de aspectos ao tema fundamental de teste de software. O capítulo 2 traz uma excelente discussão acerca do processamento de imagens para aplicações em Medicina. O capítulo 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 aplicações. O ca-pítulo 4 aborda a atual questão de Segurança em redes P2P, com um enfoque que transcende barreiras acadêmicas. O capítulo 5 traz uma inovadora aborda-gem para o desenvolvimento de sistemas multi agente. O capítulo 6 apresenta de forma sintética, direta e sobretudo simples um dos blocos fundamentais da Ciência da Computação – reconhecimento de padrões. O capítulo 7 apresen-ta uma nova abordagem para a prototipagem de sistemas multi-processados, face a obsolescência de técnicas mais antigas e novos requisitos impostos por dispositivos tais como celulares e PDAs. Finalmente o capítulo 8 discute de for-ma definitiva um modelo que pode ser usado para especificar e prografor-mar sis-temas concorrentes e orientados a objeto. Todos os capítulos têm em comum a preocupação com a qualidade do conteúdo e utilização de uma linguagem simples e direta, que possa ser compreendida por estudantes, profissionais e pesquisadores de áreas afins.

Os capítulos deste livro servem como companhia para as Jornadas de Atualização em Informática (JAI) do ano de 2006. Tradicionalmente realizadas em conjunto com o Congresso da Sociedade Brasileira de Computação, as Jor-nadas constituem um dos mais importantes eventos acadêmicos de atualização científica e tecnológica da comunidade de Ciência da Computação do Brasil.

Karin Breitman Ricardo Anido