首页 > 最新文献

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的软件测量程序的环境的类模型
Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23924
Luiz Paulo Alves Franca, A. V. Staa, Hamilton José Sales Fonte II
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.
通过采用成熟度模型对软件开发过程的关注增加了对软件质量支持系统的需求。在这项工作中,我们提出了一个适合于测量系统建设的类模型,满足以下要求:灵活的生产过程;用户友好的界面,集成到开发环境中;低成本允许小型软件组织采用。类模型还必须支持环境构建的不同测量程序的演进和集成。该模型被COMPASSO:一个基于Web的测量程序开发环境所使用。这个环境从一个可实例化的通用模型派生出特定的测量程序。通用模型和实例化模型都可以发展,即使已经有填充的测量基地。COMPASSO旨在提供工具,在小型组织中建立、充实和探索有效和可行的测量系统。
{"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
Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23917
Tathiana da Silva Barrére, A. F. Prado, Vitor César Bonafe
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.
本文介绍了一个案例工具,用于指定具有多视图和自动面向对象实现的系统需求,称为MVCASE。MVCASE由一个名为JavaRC的图形工具和一个名为Draco的面向领域的转换系统组成。JavaRC有一个用于系统需求的图形和文本编辑的界面,以及获取这些需求的多个视图的资源。Draco系统从需求规范开始,负责自动生成可执行语言代码和自动生成系统数据库。MVCASE还集成了一个名为Visual cafe dbDE的工具,该工具具有使用框架或java applet对系统图形界面进行可视化编程的功能。
{"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 整合前期和后期需求:一个工厂案例研究
Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23913
F. Alencar, J. Castro
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.
需求工程(RE)作为软件系统生命周期开发的关键阶段,越来越受到人们的关注。最近的工作已经区分了早期可再生能源和后期可再生能源。早期可再生能源活动通常是非正式的,并且处理非功能性需求。后期阶段的可重构通常关注于需求的完整性、一致性和自动验证。在本文中,我们展示了早期和晚期需求规格说明是如何集成的。对于组织建模,我们使用i*技术[1],它允许更好地描述系统的各种代理之间的组织关系,以及对所采取决策的基本原理的理解。对于需求的正式功能规范,我们使用结构化模态动作逻辑(MAL)[2]。提出了两阶段集成的一些指导方针。在整个论文中,我们以一家矿泉水厂为例来描述该方法。
{"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 整合元级编程和组态编程
Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23931
O. Loques, J. Leite, M. Lobosco, Alexandre Sztajnberg
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.
基于体系结构描述语言的组态编程和元级编程被认为是软件工程领域中很有前途的方法。本文表明,在配置编程和元级编程的一些关键概念之间存在着直接的对应关系,并且在实际系统中部署它们所要解决的一些主要问题非常相似。主要的主张是,在单个配置编程框架中集成这两种方法可以帮助实现元级编程,从而实现关注点分离并提高软件重用。
{"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 有限自动机:网络课程的形式主义
Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23923
J. P. Machado, Leonardo Penczek, C. Morais, P. Menezes
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.
这项工作提出了通过WWW提供的课程建模,使用的形式结构称为确定性有限自动机与输出。介绍了“课程是自动机”的概念,作为一个分层结构,允许轻松实现和创建超媒体材料独立于导航方案。该模型允许使用相同的结构设计超媒体课程,在其他课程中重用其内容,并允许重用教学材料。这个项目的主要目标是创建一个系统半-automatizado课程的支持通过Web应用程序的概念与理论计算机科学,特别是自动机理论的分类,以及在hiperdocumentos技术两方面的好处。
{"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 支持领域工程知识合作获取的基础设施
Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23915
C. Werner, F. C. Santos, Marcos R. S. Borges, M. T. Machado
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.
这项工作提出了一个基础设施,以支持在领域工程的背景下以合作的方式进行知识获取。我们讨论了它的主要需求和组成它的体系结构的元素,强调了负责通过用例引出和表示知识的工具。我们还提出了一个用Java语言实现的工具原型。
{"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 面向对象分布式平台的软件再造
Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23928
Elisângela Sato de Jesus, Ana Paula Fukuda, A. F. Prado
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.
本文提出了一种软件再造策略,通过使遗留系统在新的硬件和软件平台上运行来重建遗留系统。从遗留系统的源代码开始,根据面向对象的原则,使用Fusion/RE方法的技术对其进行重组。然后将获得的代码转换为MDL建模语言的规范。这些规范由CASE Rational Rose工具导入,从而获得遗留系统的面向对象设计。在Rational Rose工具中,软件工程师可以重新设计系统,使用Catalysis方法的技术分发它的对象,以便在客户机/服务器体系结构中运行。重新设计后,分布式面向对象系统在MDL建模语言的规范中再次保持不变。最后,系统以面向对象的语言自动重新实现。为了探索软件生成器领域的新想法,我们采用Draco-PUC转换系统和Rational Rose工具作为本项目的主要技术。
{"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:支持软件过程定义的基于知识的向导
Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23919
R. Falbo
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.
软件质量的一个重要要求是定义一个软件开发过程。然而,软件过程定义是一项复杂的活动,需要大量使用知识。因此,为这一活动提供知识支持是值得的。在本文中,我们提出了Assist-Pro,一个基于知识的助手,以帮助软件工程师定义软件过程。我们还讨论了使用知识服务器中可用的知识组件的开发过程。
{"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 在有限状态机验证中应用突变体分析的成本评估研究
Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23930
R. A. D. Carvalho, Sandra Camargo P. F. Fabbri, J. Maldonado
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.
有限状态机(FSM)是用于规范反应系统行为方面(例如,通信协议)的最常用技术之一。这些规范的验证,在协议的情况下,一致性测试,是一个相关的话题和许多研究的目标。确定了对错误模型进行特征化以执行验证活动的趋势。最近,在FSM验证的背景下,研究了传统上用于程序测试的突变分析准则(MA)使用的充分性。本文给出了一项实验的结果,该实验旨在评估突变分析的应用成本,并在此方向上研究了FSM的基本突变算子集,旨在降低成本而不影响测试和验证活动的质量。提出的结果有助于在FSM环境中定义增量的、低成本的测试和验证策略的观点上建立一个知识体系。
{"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 支持地理应用系统接口构建的技术、模型和工具
Pub Date : 1999-10-13 DOI: 10.5753/sbes.1999.23932
J. L. D. Oliveira, Claudia Bauzer Medeiros
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.
这项工作提出了一个基础设施来支持地理接口的设计和实现。该方案采用了务实和创新的方法,考虑了界面的两个关键方面:用户交互和与底层系统的连接。主要成果是:设计和实现地理接口的软件架构;用于构建接口的对象模型,该接口能够在运行时合并修改(动态接口);以及基于活动数据库的接口定制机制。这些建议被用于两个地理应用系统的接口的设计和实现,大大有助于降低成本和提高这些接口的开发效率。
{"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
期刊
Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1