XIII SIMPÓSIO BRASILEIRO DE

ENGENHARIA DE SOFTWARE13 a 15 de Outubro de 1999

Florianópolis – Santa Catarina BRASIL

ANAIS

PromoçãoComissão Especial de Engenharia de SoftwareSBC – Sociedade Brasileira de Computação

EdiçãoDaltro José NunesMurilo Silva de Camargo

OrganizaçãoDepto. de Informática e de Estatística – Universidade Federal de Santa CatarinaInstituto de Informática – Universidade Federal do Rio Grande do Sul

Simpósio Brasileiro de Engenharia de Software (13. : 1999 : Florianópolis)S612a Anais = Proceedings / XIII Simpósio Brasileiro de Engenharia de Software ; Edição Daltro José Nunes, Murilo Silva de Camargo. - Florianópolis : UFRGS, II : UFSC, INE, 1999.

… p.

Destaque da capa: SBES’99

1. Engenharia de Software. I. Nunes, Daltro José. II. Camargo, Murilo Silva de. III. Universidade Federal de Santa Catarina. Departamento de Informática e de Estatística, org. IV. Universidade Federal do Rio Grande do Sul. Instituto de Informática, org. V. SBES’99. VI. Título.

CDU: 681.31:519.683.2

Esta obra foi impressa a partir de originais entregues, já compostos, pelos autores.

13th BRAZILIAN SYMPOSIUM ON

SOFTWARE ENGINEERINGOctober, 13th to 15th , 1999

Florianópolis – Santa Catarina BRAZIL

PROCEEDINGS

Promoter:Specialist Committee on Software EngineeringSBC – Brazilian Computing Society

EditorsDaltro José NunesMurilo Silva de Camargo

Organizers:

Departamento de Informática e de Estatística – Universidade Federal de Santa CatarinaInstituto de Informática – Universidade Federal do Rio Grande do Sul

ApresentaçãoPrimeiramente, 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 Murilo Silva de Camargo

Coordenador do Comitê de Programa Coordenador Geral do SBES’99

XIII Simpósio Brasileiro de Engenharia de SoftwareCoordenador Geral: Murilo Silva de CamargoDepartamento de Informática e de Estatística

Universidade Federal de Santa Catarina

Comitê de ProgramaCoordenador: Daltro José Nunes

Alan Brown, Sterling Software/USA Jaelson F. B. de Castro, UFPE/BRAlcides Calsavara, PUC-PR/BR John McDermid, University of York/UKAna Cristina C V de Melo, IME-USP/BR Jose Carlos Maldonado, ICMC-USP-SC/BRAna Maria de Alencar Price, UFRGS/BR Jose Luiz Fiadeiro, Univ. de Lisboa/PTAna Regina Rocha, COPPE-UFRJ/BR Julio Cesar Leite, PUC-RJ/BRArndt Von Staa, PUC-RJ/BR Leila Ribeiro Korff, UFRGS/BRAntonio Francisco Prado, UFSCar/BR Leonor Barroca, The Open University/UKAugusto Sampaio, UFPE/BR Marcio Eduardo Delamaro, UEM/BRBashar Nuseibeh, Imperial College/UK Marcos Borges, NCE-UFRJ/BRCarlos Heuser, UFRGS/BR Mario Jino, FEEC-UNICAMP/BRCecilia Rubira, IC-UNICAMP/BR Mauro Pezze, Politecnico d Milano/ITClaudia Werner, COPPE-UFRJ/BR Paulo Cesar Masiero, ICMSC-USP-SC/BRWalcelio Melo, Oracle do Brasil e UCB/BR Plinio R. S. Vilela, Bellcore/USADouglas Renaux, CEFET-PR/BR Roberto Almeida, CITS-PR/BREdward Hermann Haeusler, PUC-RJ/BR Roberto Bigonha, UFMG/BREric Wong, Bellcore/USA Roberto Tom Price, UFRGS/BRGuilherme Travassos, COPPE-UFRJ/BR Rogerio Drumond, IC-UNICAMP/BRGustavo Rossi, Universidad de La Plata, AR Romildo Monte, CTI/BRHenri Basson, Université de Litoral /FR Silvia Regina Vergilio, UFPR/BRItana Maria de Souza Gimenes, UEM-PR/BR Daniel Berry, Technion/U. of Waterloo,

Israel/Canada

Cordenador de MinicursosAntônio Carlos Mariani - UFSC

Cordenador da Sessão de FerramentasMárcio Delamaro – UEM

Cordenadora do Workshop de TesesAna Regina C. da Rocha - UFRJ

Cordenadora do Workshop de QualidadeClaudia M. L. Werner - UFRJ

Steering CommitteeAugusto 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 SzeremetaRogério Cid Bastos Vitorio Bruno MazzolaJovelino Falqueto Raul Sidnei WazlawickJosé 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. DantasAdriana Maria Cunha Melo Figueiredo José Palazzo M. de OliveiraAlexandre Marcos Lins de Vasconcelos Juan F RamilAlfio Martini Juliana Silva HerbertAna Cavalcanti Junia Coutinho Anacleto SilvaAndré Freitas M. Cecília C. BaranauskasAndré Santos Márcia CostaAntônia Lopes Márcio BarrosAntonio Carlos dos Santos Marcus Felipe FontouraAriadne Maria Brito Rizzoni Carvalho Maria Cristina F. de OliveiraBaskar Sridharan Nuno BarreiroCarla Alessandra Lima Reis Nuno GuimarãesCarlos Alberto Maziero Paulo BorbaCarlos Furuti Pedro Rangel HenriquesClaudia Bauzer Medeiros Regina Borges de AraujoClênio F. Salviano Regina BragaDilvan de Abreu Moreira Regina M. T. ColomboEdgard Jamhour Renata Pontin de Mattos FortesEdmundo Sérgio Spoto Ricardo AnidoEdson Emílio Scalabrin Roberto Souto Maior de BarrosEliane Martins Rodolfo S. ResendeElisa Hatsue Moriya Huzita Rodrigo Quites ReisHenrique Andrade Rosane MinghimHermano Perrelli de Moura Rosângela PenteadoInês de Castro Dutra Rosely SanchesIsabel Cafezeiro Rui OliveiraIsabel Nunes Sérgio E. R. de CarvalhoJacques Wainer Sérgio LifschitzJeff Kramer Silvia GordilloJoão Álvaro Carvalho Wilson Rosa de Oliveira Jr.

Sociedade Brasileira de Computação

Diretoria

Flávio Rech Wagner, UFRGS, PresidenteLuiz Fernanado Gomes Soares, PUC-Rio, Vice-Presidente

Dilma Menezes da Silva, IME/USP, Eventos e Comissões EspeciaisTaisy Weber, UFRGS, Administrativa e Finanças

Sergio de Melo Schneider, UFU, EducaçãoRicardo de Oliveira Anido, UNICAMP, Publicações

Claudionor Coelho Junior, UFMG, Planejamento e Programas EspeciaisRobert Carlisle Burnett, PUCPR, Secretarias Regionais

Geber Ramalho, UFPE, Divulgação e Marketing

Conselho

Membros Titulares Membros SuplentesRoberto da Silva Bigonha, UFMG Rosa Maria Viccari, UFRGSSiang Wun Song, USP Itana Maria Gimenez, UEMJúlio Cesar Sampaio do Prado Leite, PUC-RJ Eratóstenes Ramalho de Araujo, SOFTEXDaniel Schwabe, PUC-RJ Tarcisio Haroldo Cavalcante Pequeno, UFCRicardo Augusto da Luz Reis, UFRGS Jayme Simão Sichman, USPDaltro José Nunes, UFRGSSilvio Romero de Lemos Meira, UFPE José Carlos Maldonado, USPTherezinha Souza Costa, PUC-RIOClaudia 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

PALESTRAS CONVIDADAS

Palestra convidada 1:

Design and Documentation of Program Structures

David Lorge Parnas, P. Eng.

Department of Computing and SoftwareMcMaster University

Hamilton, Ontario, Canadá

Abstract

In the last few years, there has been increasing use of the word "architecture" in connection with software. "Architecture" is a vaguely defined word that denotes a set of major design decisions. Those who write about architecture, stress that basic decisions should be made before coding begins and that those decisions should then constrain what the programmers subsequently build.

I will argue that the word "architecture" can be misleading. Even "real" architects do not produce "architectures" and they certainly don't design architectural styles. Architects produce a set of clearly distinct drawings; each drawing shows a distinct structure or "view" of the product. These drawings serve as guidelines for the actual builders. If they do not follow them, they are responsible for the consequences. Software architects should play the same role.

This talk reviews some of the most important structures and discusses design criteria for each. It closes with a discussion of why we have neither software architects nor software engineers today.

Palestra convidada 2:

Evolving and Packaging Reading Techniques

Victor R. Basili, Ph.D.

Department of Computer Science andInstitute for Advanced Computer Studies

University of MarylandFraunhofer Center for Experimental Software Engineering –

Maryland, USA.

Abstract

Reading is a fundamental technique for achieving quality software. This talk provides a motivation for reading as a quality improvement technology, based upon experiences in the Software Engineering Laboratory at NASA Goddard Space Flight Center and shows the evolution of our study of reading via a series of experiments. The experiments range from the early reading vs. testing experiments to various Cleanroom experiments that employed reading to the development of new reading technologies currently under study.

MINICURSOS

Minicurso 1:“Introdução a Unified Modeling Language (UML)”Professor Jaelson Freire Brelaz de Castro, Ph.D., (UFPE)

Minicurso 2:“Uso de Groupware em Desenvolvimento de Software” Professor Marcos Borges, Ph.D. e Renata Araujo (UFRJ)

Minicurso 3:“Requisitos Não Funcionais: uma Abordagem Prática”Professores Luiz Marcio Cysneiros (PUC-Rio) e Julio Cesar Sampaio do Prado Leite, Ph.D., (PUC-Rio)

Minicurso 4:“Planejamento e Gerenciamento de Projeto de Software” Professores Marcelo Schneck de Paula Pessôa, Ph.D. (USP/UNIP) e Mauro de Mesquita Spinola, (USP/UNIP)

Minicurso 5:“A Practical Perspective for Software Process Improvement” Professor Marcello Visconti, Ph.D., (Chile)