XIII SIMPÓSIO BRASILEIRO

DE

ENGENHARIA DE SOFTWARE

13 a 15 de Outubro de 1999

Florianópolis – Santa Catarina BRASIL

 

 

ANAIS



Caderno de Ferramentas

 

Promoção

Comissão Especial de Engenharia de Software

SBC – Sociedade Brasileira de Computação

Edição

Daltro José Nunes

Murilo Silva de Camargo

 

Organização

Depto. de Informática e de Estatística – Universidade Federal de Santa Catarina

Instituto de Informática – Universidade Federal do Rio Grande do Sul

 

 

 

Apresentação

Primeiramente, gostaríamos, em nome de toda a Comissão Organizadora, de saudar os participantes do XIII Simpósio Brasileiro de Engenharia de Software (SBES’99).

O SBES é um evento promovido anualmente pela SBC - Sociedade Brasileira de Computação através da Comissão Especial de Engenharia de Software e organizado por uma Universidade. O SBES tem como objetivo a criação de um fórum para a discussão de temas de pesquisa, desenvolvimento e serviços na área de Engenharia de Software, congregando pesquisadores brasileiros e estrangeiros, como também profissionais com interesse no assunto.

Este ano o SBES está sendo realizado em Florianópolis, Santa Catarina e co-organizado pelo Departamento de Informática e de Estatística da Universidade Federal de Santa Catarina e pelo Instituto de Informática da Universidade Federal do Rio Grande do Sul.

Para o SBES’99 foram submetidos 100 artigos do Brasil e do exterior. Os artigos foram avaliados pelo Comitê de Programa do SBES o qual se constituiu de 30 pesquisadores dos principais centros de pesquisa em Engenharia de Software do Brasil e de 11 pesquisadores de centros de grande prestígio do exterior. Dos artigos submetidos, 94 foram originados do Brasil dos seguintes estados: Pernambuco (6), Pará (2), Rio Grande do Sul (18), São Paulo (28), Rio de Janeiro (18), Santa Catarina (8), Paraná (4), Minas Gerais (2), Paraíba (2), Ceará (1), Maranhão (3) e Espírito Santo (2). Do total, 6 artigos foram provenientes do exterior: Inglaterra (1), EUA (1), Tunisia (1), Canadá (1), Singapura (1) e México (1).

Dos 100 artigos submetidos, 26 foram selecionados para apresentação e encontram-se publicados nestes anais, em ordem de apresentação. Além destes, há também duas palestras convidadas internacionais.

Cada artigo foi submetido a três avaliadores. Após análise pelo Steering Committee, alguns artigos, em que a precisão/profundidade da avaliação poderia comprometer o resultado, foram avaliados por um quarto avaliador. Aqueles artigos onde se percebeu falta de harnonia nos conceitos atribuídos foram devolvidos aos avaliadores para, em conjunto, encontrar consenso. Tornadas as avaliações homogêneas, e após um processo interativo, o Steering Committee aprovou proposta da Coordenação, selecionando os 26 melhores artigos.

A realização deste evento contou com o apoio financeiro do CNPq, CAPES e da Sterling Software. Os apoios dados pela direção do Centro Tecnológico da Universidade Federal de Santa Catarina, bem como pela administração da UFSC foram fundamentais para a viabilização do SBES’99.

Agradecemos aos membros do Comitê de Programa cuja qualidade do trabalho reflete-se no conteúdo destes anais. Todo nosso reconhecimento aos mebros do Comitê de Organização, aos alunos do PET/CCO/UFSC e do curso de Bacharelado em Ciência da Computação da UFSC cujos esforços e trabalho tornaram possível a realização deste Simpósio.

Finalmente, agradecemos a cada um dos participantes, que com sua presença contribuiu para o sucesso do SBES’99.

Daltro José Nunes

Coordenador do Comitê de Programa

Murilo Silva de Camargo

Coordenador Geral do SBES’99

 

 

 

XIII Simpósio Brasileiro de Engenharia de Software

Coordenador Geral: Murilo Silva de Camargo

Departamento de Informática e de Estatística

Universidade Federal de Santa Catarina

Comitê de Programa

Coordenador: Daltro José Nunes

Alan Brown, Sterling Software/USA

Jaelson F. B. de Castro, UFPE/BR

Alcides Calsavara, PUC-PR/BR

John McDermid, University of York/UK

Ana Cristina C V de Melo, IME-USP/BR

Jose Carlos Maldonado, ICMC-USP-SC/BR

Ana Maria de Alencar Price, UFRGS/BR

Jose Luiz Fiadeiro, Univ. de Lisboa/PT

Ana Regina Rocha, COPPE-UFRJ/BR

Julio Cesar Leite, PUC-RJ/BR

Arndt Von Staa, PUC-RJ/BR

Leila Ribeiro Korff, UFRGS/BR

Antonio Francisco Prado, UFSCar/BR

Leonor Barroca, The Open University/UK

Augusto Sampaio, UFPE/BR

Marcio Eduardo Delamaro, UEM/BR

Bashar Nuseibeh, Imperial College/UK

Marcos Borges, NCE-UFRJ/BR

Carlos Heuser, UFRGS/BR

Mario Jino, FEEC-UNICAMP/BR

Cecilia Rubira, IC-UNICAMP/BR

Mauro Pezze, Politecnico d Milano/IT

Claudia Werner, COPPE-UFRJ/BR

Paulo Cesar Masiero, ICMSC-USP-SC/BR

Walcelio Melo, Oracle do Brasil e UCB/BR

Plinio R. S. Vilela, Bellcore/USA

Douglas Renaux, CEFET-PR/BR

Roberto Almeida, CITS-PR/BR

Edward Hermann Haeusler, PUC-RJ/BR

Roberto Bigonha, UFMG/BR

Eric Wong, Bellcore/USA

Roberto Tom Price, UFRGS/BR

Guilherme Travassos, COPPE-UFRJ/BR

Rogerio Drumond, IC-UNICAMP/BR

Gustavo Rossi, Universidad de La Plata, AR

Romildo Monte, CTI/BR

Henri Basson, Université de Litoral /FR

Silvia Regina Vergilio, UFPR/BR

Itana Maria de Souza Gimenes, UEM-PR/BR

Daniel Berry, Technion/U. of Waterloo, Israel/Canada

 

Cordenador de Minicursos

Antônio Carlos Mariani - UFSC

Cordenador da Sessão de Ferramentas

Márcio Delamaro – UEM

Cordenadora do Workshop de Teses

Ana Regina C. da Rocha - UFRJ

Cordenadora do Workshop de Qualidade

Claudia M. L. Werner - UFRJ

 

 

 

Steering Committee

Augusto Sampaio, UFPE

Daltro José Nunes, UFRGS

Itana Maria de Souza Gimenes, UEM

José Carlos Maldonado, ICMSC/USP

Marcos Borges, NCE/RJ

 

 

 

Comitê de Organização

Departamento de Informática e de Estatística da

Universidade Federal de Santa Catarina

Coordenador: Murilo Silva de Camargo

Antônio Carlos Mariani

Júlio Felipe Szeremeta

Rogério Cid Bastos

Vitorio Bruno Mazzola

Jovelino Falqueto

Raul Sidnei Wazlawick

José Mazzucco Júnior

Rosvelter J. Coelho da Costa

Aldo von Wangenheim

Christiane Gresse von Wangeheim

Maria Marta Leite

Roberto Willrich

Walter de Abreu Cybis

Vera Lúcia Sodré Teixeira

 

 

Relação dos Avaliadores de Artigos

Adalberto Nobiato Crespo

João Eduardo de R. Dantas

Adriana Maria Cunha Melo Figueiredo

José Palazzo M. de Oliveira

Alexandre Marcos Lins de Vasconcelos

Juan F Ramil

Alfio Martini

Juliana Silva Herbert

Ana Cavalcanti

Junia Coutinho Anacleto Silva

André Freitas

M. Cecília C. Baranauskas

André Santos

Márcia Costa

Antônia Lopes

Márcio Barros

Antonio Carlos dos Santos

Marcus Felipe Fontoura

Ariadne Maria Brito Rizzoni Carvalho

Maria Cristina F. de Oliveira

Baskar Sridharan

Nuno Barreiro

Carla Alessandra Lima Reis

Nuno Guimarães

Carlos Alberto Maziero

Paulo Borba

Carlos Furuti

Pedro Rangel Henriques

Claudia Bauzer Medeiros

Regina Borges de Araujo

Clênio F. Salviano

Regina Braga

Dilvan de Abreu Moreira

Regina M. T. Colombo

Edgard Jamhour

Renata Pontin de Mattos Fortes

Edmundo Sérgio Spoto

Ricardo Anido

Edson Emílio Scalabrin

Roberto Souto Maior de Barros

Eliane Martins

Rodolfo S. Resende

Elisa Hatsue Moriya Huzita

Rodrigo Quites Reis

Henrique Andrade

Rosane Minghim

Hermano Perrelli de Moura

Rosângela Penteado

Inês de Castro Dutra

Rosely Sanches

Isabel Cafezeiro

Rui Oliveira

Isabel Nunes

Sérgio E. R. de Carvalho

Jacques Wainer

Sérgio Lifschitz

Jeff Kramer

Silvia Gordillo

João Álvaro Carvalho

Wilson Rosa de Oliveira Jr.

 

 

 

Sociedade Brasileira de Computação

 

Diretoria

Flávio Rech Wagner, UFRGS, Presidente

Luiz Fernanado Gomes Soares, PUC-Rio, Vice-Presidente

Dilma Menezes da Silva, IME/USP, Eventos e Comissões Especiais

Taisy Weber, UFRGS, Administrativa e Finanças

Sergio de Melo Schneider, UFU, Educação

Ricardo de Oliveira Anido, UNICAMP, Publicações

Claudionor Coelho Junior, UFMG, Planejamento e Programas Especiais

Robert Carlisle Burnett, PUCPR, Secretarias Regionais

Geber Ramalho, UFPE, Divulgação e Marketing

Conselho

Membros Titulares

Membros Suplentes

Roberto da Silva Bigonha, UFMG

Rosa Maria Viccari, UFRGS

Siang Wun Song, USP

Itana Maria Gimenez, UEM

Júlio Cesar Sampaio do Prado Leite, PUC-RJ

Eratóstenes Ramalho de Araujo, SOFTEX

Daniel Schwabe, PUC-RJ

Tarcisio Haroldo Cavalcante Pequeno, UFC

Ricardo Augusto da Luz Reis, UFRGS

Jayme Simão Sichman, USP

Daltro José Nunes, UFRGS

 

Silvio Romero de Lemos Meira, UFPE

 

José Carlos Maldonado, USP

 

Therezinha Souza Costa, PUC-RIO

 

Claudia Bauzer Medeiros, UNICAMNP

 

Coordenador da Comissão Especial de Engenharia de Software

Jaelson F. B. de Castro, UFPE

 

Sumário

 

Palestras Convidadas

 

Minicursos

 

Sessão Técnica: Construção de Software Baseada em Componentes

 

Suporte ao desenvolvimento e uso de componentes flexíveis

Ricardo Pereira e Silva – UFSC, Roberto Tom Price - UFRGS

 

Configurando protocolos de interação na abordagem R-RIO

Alexandre Sztajnberg – IME/UERJ, Marcelo Lobosco – UFF, Orlando Loques - UFF

 

Sessão Técnica: Engenharia de Requisitos

 

Integrating Early and Late-Phase Requirements: A factory case study

Fernanda Maria Ribeiro Alencar – UFPE, Jaelson Freire Brelaz de Castro - UFPE

 

Utilização dos Preceitos da Teoria da Atividade na Elicitação dos Requisitos do Software

Luiz Eduardo Galvão Martins – UNIMEP, Beatriz Mascia Daltrini – UNICAMP

 

Sessão Técnica: Técnicas de Produção de Software para Apoiar o Trabalho Cooperativo

 

Uma Infra-estrutura de apoio a Aquisição Cooperativa de Conhecimento em Engenharia de Domínio

Marcelo Trannin Machado – UFRJ, Flávia Cerqueira Santos – UFRJ, Cláudia Maria Lima Werner – UFRJ, Marcos Roberto da Silva Borges – UFRJ

 

 

Especificação Formal de uma Ferramenta de Trabalho Colaborativo através da Composição de Objetos Náutilus

Cirney Ricardo Carneiro – UFRGS, Rodrigo Quites Reis – UFPA/UFRGS, Paulo Blauth Menezes – UFRGS

 

Sessão Técnica: Desenvolvimento orientado a objetos

 

CASE Orientada a Objetos com Múltiplas Visões e Implementação Automática de Sistemas – MVCASE

Tathiana da Silva Barrére – UFSCar, Antônio Francisco Prado – UFSCar, Vitor Cesar Bonafé – UFSCar

 

Em Direção a um Modelo de Custos de Desenvolvimento de Software Orientado a Objetos

Cláudia Dib Cruz – IBM/UFRJ, Cláudia Maria Lima Werner – UFRJ, Jeferson Ferreira Soares – IBM

 

Sessão Técnica: Modelagem e Automação do Processo de Software

 

Assist-Pro: Um Assistente Baseado em Conhecimento para Apoiar a Definição de Processos de Software

Ricardo de Almeida Falbo – UFRJ/UFES, Credine Silva de Menezes – UFES, Ana regina C. da Rocha – UFRJ

 

Um Modelo de Simulação de Processos de Software baseado em Agentes Cooperativos

Fábio Augusto das Dores Silva – UFRGS, Rodrigo Quites Reis - UFPA/UFRGS, Carla Alessandra Lima Reis - UFPA/UFRGS, Daltro José Nunes – UFRGS

 

Sessão Técnica: Arquitetura de software

 

Uma Arquitetura para Reduzir a Complexidade e Aumentar a Produtividade do Ciclo de Vida do Desenvolvimento de Sistemas

André Luis Costa de Oliveira – UFRGS, José Palazzo Moreira de Oliveira - UFRGS

 

Projeto de uma Arquitetura de Software Reflexiva para a Linguagem Xchart

Renato O. Stehling – UNICAMP, Hans K. E. Liesenberg – UNICAMP

 

Sessão Técnica: Produção de Software para WEB

 

Autômatos Finitos: Um Formalismo para Cursos na Web

Júlio P. Machado – UFRGS, Leonardo Penczek – UFRGS, Carlos Tadeu Q. Morais – UFRGS, Paulo Blauth Menezes – UFRGS

 

 

Um Modelo de Classes para um Ambiente de Geração de Programas de Medição de Software Baseado na Web

Luiz Paulo Alves Franca - PUC-Rio, Arndt von Staa - PUC-Rio, Hamilton Fonte II - PUC-Rio

 

Um Mecanismo de Adaptação para Aplicações Tempo Real Baseado em Computação Imprecisa e Reflexão Computacional

Rômulo Silva de Oliveira – UFRGS, Olinto José Varela Furtado – INE/UFSC

 

Sessão Técnica: Reengenharia de Software

 

Aspectos de Validação do Método de Engenharia Reversa Fusion-RE/I Aplicado a um Sistema Hipermídia

Valéria Delissandra Feltrim – USP, Renata Pontin de M. Fortes – USP, Willian Francisco Silva – USP

 

Reengenharia com o Uso de Padrões de Projeto

Maria Istela Cagnin – UFSCAR, Rosângela Penteado – UFSCAR, Fernão S. R. Germano – USP, Paulo Cesar Masiero – USP,

 

Reengenharia de Software para Plataformas Distribuídas Orientadas a Objetos

Elisângela Sato de Jesus – UFSCar, Ana Paula Fukuda – UFSCar, Antônio Francisco Prado – UFSCar

 

Sessão Técnica: Verificação, Validação e Teste de Software I

 

Geração Automática de Dados e Tratamento de Não Executabilidade no Teste Estrutural de Software

Paulo Marcos Siqueira Bueno – UNICAMP, Mário Jino – UNICAMP

 

Um Estudo sobre a Avaliação do Custo de Aplicação da Análise de Mutantes na Validação de Máquinas de Estados Finitos

Renata A. de Carvalho – UFSCar, Sandra Camargo P.F. Fabbri – UFSCar, José Carlos Maldonado – USP

 

 

Sessão Técnica: Técnicas e métodos de Programação I

 

Towards Integrating Meta-Level Programming and Configuration Programming

Orlando Loques – UFF, Julius Leite – UFF, Marcelo Lobosco – UFF, Alexandre Sztajnberg – IME/UERJ

 

Técnicas, Modelos e Ferramentas para Suporte à Construção de Interfaces em Sistemas de Aplicações Geográficas

Juliano Lopes Oliveira – UFG, Cláudia Bauzer Medeiros – UNICAMP

 

Sessão Técnica: Verificação, Validação e Teste de Software II

 

Operadores Essenciais de Interface: Um estudo de caso

Auri Marcelo Rizzo Vincenzi – USP, José Carlos Maldonado – USP, Ellen Francine Barbosa – USP, Márcio Eduardo Delamaro - UEM

 

Data Flow Based Integration Testing

Plínio Vilela - Telcordia Technologies, José Carlos Maldonado – USP, Mario Jino – UNICAMP

 

Sessão Técnica: Técnicas e métodos de Programação II

 

A Mechanism for Assessing Class Interactions Using Dynamic Coupling During the Analysis Phase

Henrique W. Paques, Lois Delcambre - Oregon Graduate Institute of Sci. & Tech.

 

Aquisição de Conhecimento no Contexto de Análise de Dominio

Mônica Zopelari Roseti – UFRJ, Cláudia Maria Lima Werner – UFRJ

 

 

Sessão de Ferramentas Completo