View
217
Download
0
Category
Preview:
Citation preview
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
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
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.
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)
Recommended