Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)最新文献

筛选
英文 中文
Um Modelo de Classes para um Ambiente de Geração de Programas de Medição de Software Baseados na Web 用于生成基于Web的软件测量程序的环境的类模型
Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999) Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23924
Luiz Paulo Alves Franca, A. V. Staa, Hamilton José Sales Fonte II
{"title":"Um Modelo de Classes para um Ambiente de Geração de Programas de Medição de Software Baseados na Web","authors":"Luiz Paulo Alves Franca, A. V. Staa, Hamilton José Sales Fonte II","doi":"10.5753/sbes.1999.23924","DOIUrl":"https://doi.org/10.5753/sbes.1999.23924","url":null,"abstract":"O aumento de atenção no processo de desenvolvimento de software através da adoção de modelos de maturidade, gerou um crescimento da demanda por sistemas de apoio à qualidade de software. Neste trabalho, apresentamos um modelo de classes adequado à construção de sistemas de medição, satisfazendo os requisitos: Processo de produção flexível; Interface amigável e integrada ao ambiente de desenvolvimento; Baixo custo possibilitando a adoção por pequenas organizações de software. O modelo de classes deve suportar ainda a evolução e a integração de diferentes programas de medição construídos pelo ambiente. O modelo proposto é utilizado por COMPASSO: Um Ambiente de Elaboração de Programas de Medição Baseados na Web. Este ambiente deriva programas de medição específicos a partir de um modelo genérico instanciável. Tanto o modelo genérico como os modelos instanciados podem ser evoluídos, mesmo quando já existirem bases de medição povoadas. COMPASSO visa fornecer instrumentos para estabelecer, povoar e explorar sistemas de medição eficazes e viáveis em pequenas organizações.","PeriodicalId":325756,"journal":{"name":"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125924449","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
CASE Orientada a Objetos com Múltiplas Visões e Implementação Automática de Sistemas – MVCASE 具有多视图和自动系统实现的面向对象案例- MVCASE
Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999) Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23917
Tathiana da Silva Barrére, A. F. Prado, Vitor César Bonafe
{"title":"CASE Orientada a Objetos com Múltiplas Visões e Implementação Automática de Sistemas – MVCASE","authors":"Tathiana da Silva Barrére, A. F. Prado, Vitor César Bonafe","doi":"10.5753/sbes.1999.23917","DOIUrl":"https://doi.org/10.5753/sbes.1999.23917","url":null,"abstract":"Este artigo apresenta uma ferramenta CASE para especificação de requisitos de sistemas com múltiplas visões e implementação automática orientada a objetos, denominada MVCASE. A MVCASE é composta por uma ferramenta gráfica, denominada JavaRC, e por um sistema transformacional orientado a domínios, denominado Draco. A JavaRC dispõe de uma interface para edição gráfica e textual dos requisitos do sistema e de recursos para obtenção de múltiplas visões destes requisitos. O sistema Draco é responsável pela geração automática de código em linguagem executável e pela geração automática de bases de dados do sistema, partindo das especificações dos requisitos. A MVCASE também está integrada com uma ferramenta, denominada Visual Café dbDE, com recursos para programação visual das interfaces gráficas dos sistemas usando Frames ou Applets em java.","PeriodicalId":325756,"journal":{"name":"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133925919","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Integrating Early and Late-Phase Requirements: A Factory Case Study 整合前期和后期需求:一个工厂案例研究
Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999) Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23913
F. Alencar, J. Castro
{"title":"Integrating Early and Late-Phase Requirements: A Factory Case Study","authors":"F. Alencar, J. Castro","doi":"10.5753/sbes.1999.23913","DOIUrl":"https://doi.org/10.5753/sbes.1999.23913","url":null,"abstract":"Requirements Engineering (RE) is getting more attention as it has been recognized as a crucial phase in the development of the software system life cycle. Recent works have made a distinction between early-phase RE and later-phase RE. Early-phases RE activities are typically informal and addresses non-functional requirements. The later-phase RE usually focuses on completeness, consistency, and automated verification of requirements. In this paper, we show how early and late requirements specifications can be integrated. For the organization modeling we use the i* technique [1], which allows a better description of the organizational relationships among the various agents of a system as well as an understanding of the rationale of the decisions taken. For the formal functional specification of the requirements, we use Structured Modal Action Logic - MAL [2]. Some guidelines are presented for the integration of the two phases. Throughout the paper, we make use of a mineral water factory as an example, to describe the approach.","PeriodicalId":325756,"journal":{"name":"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120830762","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Towards Integrating Meta-Level Programming and Configuration Programming 整合元级编程和组态编程
Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999) Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23931
O. Loques, J. Leite, M. Lobosco, Alexandre Sztajnberg
{"title":"Towards Integrating Meta-Level Programming and Configuration Programming","authors":"O. Loques, J. Leite, M. Lobosco, Alexandre Sztajnberg","doi":"10.5753/sbes.1999.23931","DOIUrl":"https://doi.org/10.5753/sbes.1999.23931","url":null,"abstract":"Configuration Programming, based on Architecture Description Languages, and Meta-Level Programming are considered promising approaches in the software engineering field. This paper shows that there is an immediate correspondence between some key concepts of Configuration Programming and Meta-Level Programming and that some of the main issues to be solved for their deployment in real systems are quite similar. The main proposition is that the integration of both approaches in a single configuration programming framework can assist in putting into practice meta-level programming in order to achieve separation of concerns and improve software reuse.","PeriodicalId":325756,"journal":{"name":"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114038764","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Autômatos Finitos: um Formalismo para Cursos na Web 有限自动机:网络课程的形式主义
Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999) Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23923
J. P. Machado, Leonardo Penczek, C. Morais, P. Menezes
{"title":"Autômatos Finitos: um Formalismo para Cursos na Web","authors":"J. P. Machado, Leonardo Penczek, C. Morais, P. Menezes","doi":"10.5753/sbes.1999.23923","DOIUrl":"https://doi.org/10.5753/sbes.1999.23923","url":null,"abstract":"Este trabalho apresenta a modelagem de cursos disponibilizados via WWW utilizando-se construções formais conhecidas como Autômatos Finitos Determinísticos com Saída. É introduzido o conceito de \"cursos são autômatos\" como uma estrutura em camadas que permite fácil implementação e criação de material hipermídia independente do esquema de navegação. O modelo permite projetar cursos hipermídia com a mesma estrutura, reutilizando seu conteúdo em outros cursos e possibilitando o reuso do material didático. O objetivo fundamental deste projeto é criar um sistema semi-automatizado para o suporte de cursos na Web através da aplicação de conceitos inerentes à Ciência da Computação, em especial da Teoria de Autômatos e Teoria das Categorias, juntamente à tecnologia de hiperdocumentos, reunindo os benefícios de ambas.","PeriodicalId":325756,"journal":{"name":"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126034719","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Uma Infra-estrutura de Apoio à Aquisição Cooperativa de Conhecimento em Engenharia de Domínio 支持领域工程知识合作获取的基础设施
Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999) Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23915
C. Werner, F. C. Santos, Marcos R. S. Borges, M. T. Machado
{"title":"Uma Infra-estrutura de Apoio à Aquisição Cooperativa de Conhecimento em Engenharia de Domínio","authors":"C. Werner, F. C. Santos, Marcos R. S. Borges, M. T. Machado","doi":"10.5753/sbes.1999.23915","DOIUrl":"https://doi.org/10.5753/sbes.1999.23915","url":null,"abstract":"Este trabalho apresenta uma infra-estrutura de apoio à realização da aquisição de conhecimento de forma cooperativa, no contexto da engenharia de domínio. Discutimos seus requisitos principais e os elementos que compõem sua arquitetura, dando ênfase à ferramenta responsável pela elicitação e representação de conhecimento através de use cases. Apresentamos ainda um protótipo dessa ferramenta implementado na linguagem Java.","PeriodicalId":325756,"journal":{"name":"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115352881","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Reengenharia de Software para Plataformas Distribuídas Orientadas a Objetos 面向对象分布式平台的软件再造
Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999) Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23928
Elisângela Sato de Jesus, Ana Paula Fukuda, A. F. Prado
{"title":"Reengenharia de Software para Plataformas Distribuídas Orientadas a Objetos","authors":"Elisângela Sato de Jesus, Ana Paula Fukuda, A. F. Prado","doi":"10.5753/sbes.1999.23928","DOIUrl":"https://doi.org/10.5753/sbes.1999.23928","url":null,"abstract":"Este artigo apresenta uma estratégia para Reengenharia de Software que reconstrói sistemas legados, tornando-os operacionais em novas plataforma de hardware e software. A partir do código fonte do sistema legado, é feita a sua reorganização segundo os princípios da orientação a objetos, usando técnicas da abordagem Fusion/RE. O código obtido é então transformado em especificações na linguagem de modelagem MDL. Estas especificações são importadas pela ferramenta CASE Rational Rose, obtendo-se o projeto orientado a objetos do sistema legado. Na ferramenta Rational Rose o engenheiro de software pode reprojetar o sistema, distribuindo seus objetos, utilizando técnicas do método Catalysis, para executar em uma arquitetura Cliente/Servidor. Após o reprojeto, o sistema orientado a objetos distribuído é persistido novamente em especificações na linguagem de modelagem MDL. Finalmente o sistema é reimplementado automaticamente, em uma linguagem orientada a objetos. Com o objetivo de explorar novas idéias na área de geradores de software, adotou-se o sistema transformacional Draco-PUC e a ferramenta Rational Rose como principais tecnologias deste projeto.","PeriodicalId":325756,"journal":{"name":"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131058245","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Assist-Pro: Um Assistente Baseado em Conhecimento para Apoiar a Definição de Processos de Software Assist-Pro:支持软件过程定义的基于知识的向导
Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999) Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23919
R. Falbo
{"title":"Assist-Pro: Um Assistente Baseado em Conhecimento para Apoiar a Definição de Processos de Software","authors":"R. Falbo","doi":"10.5753/sbes.1999.23919","DOIUrl":"https://doi.org/10.5753/sbes.1999.23919","url":null,"abstract":"An important requirement for software quality is to define a software development process. However, software process definition is a complex activity that requires intensive use of knowledge. So, it is worth to offer knowledge-based support to this activity. In this paper we present Assist-Pro, a knowledge-based assistant to aid software engineers to define software processes. We also discuss its development process using knowledge components available in a Knowledge Server.","PeriodicalId":325756,"journal":{"name":"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117219883","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
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 在有限状态机验证中应用突变体分析的成本评估研究
Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999) Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23930
R. A. D. Carvalho, Sandra Camargo P. F. Fabbri, J. Maldonado
{"title":"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","authors":"R. A. D. Carvalho, Sandra Camargo P. F. Fabbri, J. Maldonado","doi":"10.5753/sbes.1999.23930","DOIUrl":"https://doi.org/10.5753/sbes.1999.23930","url":null,"abstract":"Finite State Machine (FSM) is one of the most used techniques for the specification of the Reactive Systems behavioral aspect, for instance, communication protocols. The validation of these specifications, in the case of protocols, conformance testing, is a relevant topic and the aim of many researches. A tendency to characterize an error model to conduct the validation activity is identified. Recently, the adequacy of the use of Mutation Analysis Criterion (MA), traditionaly used in program testing, has been studied in the context of FSM validation. This paper presents the results of an experiment that was conducted aiming at contributing to evaluate the application cost of Mutation Analysis and, in this direction, an essential mutant operators set for FSM is invetigated, aiming at the cost reduction without compromissing the quality of testing and validation activities. The results presented contribute for establishement of a knowledge body on the perspective of defining an incremental, low-cost testing and validation strategy in the context of FSM.","PeriodicalId":325756,"journal":{"name":"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115047765","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Técnicas, Modelos e Ferramentas para Suporte à Construção de Interfaces em Sistemas de Aplicações Geográficas 支持地理应用系统接口构建的技术、模型和工具
Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999) Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23932
J. L. D. Oliveira, Claudia Bauzer Medeiros
{"title":"Técnicas, Modelos e Ferramentas para Suporte à Construção de Interfaces em Sistemas de Aplicações Geográficas","authors":"J. L. D. Oliveira, Claudia Bauzer Medeiros","doi":"10.5753/sbes.1999.23932","DOIUrl":"https://doi.org/10.5753/sbes.1999.23932","url":null,"abstract":"Este trabalho apresenta uma infra-estrutura para suporte ao projeto e implementação de interfaces geográficas. A proposta adota um enfoque pragmático e inovador, considerando dois aspectos chave da interface: a interação com o usuário e a ligação com os sistemas subjacentes. Os principais resultados do trabalho são: uma arquitetura de software para projeto e implementação de interfaces geográficas; um modelo de objetos para construção de interfaces com capacidade de incorporar modificações em tempo de execução (interfaces dinâmicas); e um mecanismo para personalização de interfaces baseado em bancos de dados ativos. Estas propostas foram utilizadas no projeto e implementação de interfaces para dois sistemas de aplicações geográficas, tendo contribuído significativamente para a redução de custos e o aumento da eficiência no desenvolvimento destas interfaces.","PeriodicalId":325756,"journal":{"name":"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131300806","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信