发布求助
文献互助 智能选刊 最新文献

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

筛选
英文 中文
Cobertura dos Critérios Potenciais-Usos e a Confiabilidade do Software 覆盖潜在的使用标准和软件的可靠性
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24060
A. Crespo, Alberto Pasquini, Mario Jino, J. Maldonado
{"title":"Cobertura dos Critérios Potenciais-Usos e a Confiabilidade do Software","authors":"A. Crespo, Alberto Pasquini, Mario Jino, J. Maldonado","doi":"10.5753/sbes.1997.24060","DOIUrl":"https://doi.org/10.5753/sbes.1997.24060","url":null,"abstract":"O objetivo principal deste artigo é apresentar os resultados de um experimento realizado para se investigar a relação entre a cobertura do código e a confiabilidade do software. Outras relações também foram investigadas: cobertura do código e dados de teste, cobertura do código e defeitos removidos, confiabilidade do software e defeitos removidos e finalmente confiabilidade do software e dados de teste. O experimento foi realizado para se investigar essas relações, aplicando-se a familia de critérios de teste estruturais Potenciais-Usos. Os dados de teste foram gerados aleatoriamente, condicionados ao perfil operacional do usuário. A cobertura dos elementos requeridos dos critérios foi calculada utilizando-se a ferramenta de teste POKETOOL e a confiabilidade do software foi estimada utilizando-se um algoritmo específico. Estes resultados mostram-nos que pode valer a pena investigar o uso de informação sobre cobertura de elementos requeridos nos modelos de crescimento de confiabilidade de software.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"139 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127464392","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
Elicitação dos Requisitos de Meta-Ambientes de Engenharia de Software através da Análise de Negócios 通过业务分析引出软件工程元环境的需求
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24039
M. Serrano, A. V. Staa
{"title":"Elicitação dos Requisitos de Meta-Ambientes de Engenharia de Software através da Análise de Negócios","authors":"M. Serrano, A. V. Staa","doi":"10.5753/sbes.1997.24039","DOIUrl":"https://doi.org/10.5753/sbes.1997.24039","url":null,"abstract":"Utilizando técnicas de análise de negócios, são identificadas e justificadas as propriedades essenciais de meta-ambientes de engenharia de software, dentro de uma abordagem mais ampla para o processo de desenvolvimento de software, visando a instanciação de ambientes de negócio dirigidos à engenharia de software. O contexto do desenvolvimento de software é organizado em três eixos ortogonais, atuando em dois ambientes de negócio diferentes: geração das necessidades (domínio de indivíduos), solução do problema (domínio do negócio) e implementação da solução do problema (domínio da tecnologia), aplicados ao negócio engenharia de software e ao negócio aplicação. O modelo baseia-se em ciclos de realimentação e é construído para evoluir e ser capaz de aprender a partir das necessidades de uso.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129528849","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
SISCO-RIO: Um Sistema Assíncrono para Apoiar a Preparação de Reuniões SISCO-RIO:支持会议准备的异步系统
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24067
Maria Cláudia Reis Cavalcanti, Marcos R. S. Borges, Marcos Yuly Endo
{"title":"SISCO-RIO: Um Sistema Assíncrono para Apoiar a Preparação de Reuniões","authors":"Maria Cláudia Reis Cavalcanti, Marcos R. S. Borges, Marcos Yuly Endo","doi":"10.5753/sbes.1997.24067","DOIUrl":"https://doi.org/10.5753/sbes.1997.24067","url":null,"abstract":"Este artigo não possui resumo.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"42 19","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113974619","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
Um Modelo Fuzzy para Avaliação da Qualidade de Software 软件质量评估的模糊模型
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24059
A. Belchior, Geraldo Xexéo, A. R. Rocha
{"title":"Um Modelo Fuzzy para Avaliação da Qualidade de Software","authors":"A. Belchior, Geraldo Xexéo, A. R. Rocha","doi":"10.5753/sbes.1997.24059","DOIUrl":"https://doi.org/10.5753/sbes.1997.24059","url":null,"abstract":"Este trabalho desenvolve um modelo fuzzy para à avaliação da qualidade de software, a partir da extensão de um modelo para avaliação da qualidade, anteriormente proposto, e utiliza, para isto, conceitos e propriedades da teoria dos conjuntos fuzzy. O modelo proposto possui cinco etapas, para a execução de seus objetivos, podendo envolver três situações distintas. A primeira, objetiva obter um padrão de qualidade para o produto de software, ou para o domínio de aplicação considerado. A segunda, avalia a qualidade de um produto de software, apoiando-se em um padrão de qualidade já definido, anteriormente, para esse produto ou seu domínio de aplicação. A terceira, estima a qualidade de um produto de software, quando não há um padrão de qualidade disponível. Uma experiência com a avaliação da qualidade de especificações de software foi realizada através deste modelo fuzzy com o objetivo de validá-lo e exemplificar seu uso. Os resultados experimentais obtidos corroboraram com os resultados previstos axiomaticamente.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"205 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133188872","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}
引用次数: 10
Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação 通过仿真验证与时间相关的系统的正式规范
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24050
Roberto Milton Scheffel, M. Camargo
{"title":"Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação","authors":"Roberto Milton Scheffel, M. Camargo","doi":"10.5753/sbes.1997.24050","DOIUrl":"https://doi.org/10.5753/sbes.1997.24050","url":null,"abstract":"Este artigo apresenta uma abordagem baseada em simulação para a validação de sistemas dependentes de tempo, especificados numa extensão temporal da linguagem LOTOS denominada RT-LOTOS (Real-Time LOTOS). A primeira parte do artigo apresenta as principais características de RT-LOTOS, com uma discussão de sua sintaxe e semântica. A seguir, é apresentada uma metodologia de validação de especificações RT-LOTOS, baseada em simulação. Para tal, o presente artigo apresenta uma ferramenta que suporta a simulação interativa e automática das especificações, apresentando suas funcionalidades. Para uma melhor compreensão, no final do artigo é apresentado um estudo de caso, baseado na especificação de um protocolo, usando a ferramenta para a validação dos seus requisitos.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132887707","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
Suporte por Computador ao Desenvolvimento Cooperativo de Software: Classificação e Propostas 协作软件开发的计算机支持:分类和建议
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24055
R. Araujo, Márcio Dias, M. Borges
{"title":"Suporte por Computador ao Desenvolvimento Cooperativo de Software: Classificação e Propostas","authors":"R. Araujo, Márcio Dias, M. Borges","doi":"10.5753/sbes.1997.24055","DOIUrl":"https://doi.org/10.5753/sbes.1997.24055","url":null,"abstract":"O objetivo deste trabalho é o de apresentar um esquema de classificação dos principais aspectos envolvidos no apoio ao desenvolvimento cooperativo de software. Partindo da visão do processo de desenvolvimento como um processo contínuo de entendimento, essa classificação se baseia em quatro aspectos necessários para seu suporte: a comunicação, o registro da memória de grupo, os mecanismos de percepção e a coordenação. A partir desta classificação, descrevemos as abordagens de suporte à cooperação utilizadas por ambientes e ferramentas propostas até o momento atual.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130819741","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
Incorporando Funcionalidades de Suporte ao Trabalho Cooperativo Em Ferramentas de Hipertexto 在超文本工具中加入支持协作工作的功能
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24056
Márcia Ferreira Bento, M. Campos, Marcos R. S. Borges
{"title":"Incorporando Funcionalidades de Suporte ao Trabalho Cooperativo Em Ferramentas de Hipertexto","authors":"Márcia Ferreira Bento, M. Campos, Marcos R. S. Borges","doi":"10.5753/sbes.1997.24056","DOIUrl":"https://doi.org/10.5753/sbes.1997.24056","url":null,"abstract":"Este artigo tem por objetivo apresentar um modelo hipermídia estendido com elementos para o suporte a ambientes de trabalho cooperativo. O modelo em questão serve de base para uma ferramenta, chamada HIPERBASE, para a contrução de aplicações hipermídia mais sofisticadas e flexíveis, incorporando funcionalidades de bancos de dados e hipertextos. A partir da análise dos requisitos dos principais processos envolvidos na cooperação - comunicação, compartilhamento, coordenação, percepção, segurança, autoria e adaptabilidade - são identificadas as funcionalidades necessárias em um sistema hipermídia e definido um conjunto de classes para dar suporte a essa funcionalidade.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"99 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133860967","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
A Framework for Developing Configurable Objects 开发可配置对象的框架
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24047
Dilma M. Silva, K. Schwan
{"title":"A Framework for Developing Configurable Objects","authors":"Dilma M. Silva, K. Schwan","doi":"10.5753/sbes.1997.24047","DOIUrl":"https://doi.org/10.5753/sbes.1997.24047","url":null,"abstract":"The recent boom of new application categories, such as multi-media systems, groupware, and the wide area distribution of information across the Internet, has led to further demands for flexibility in software. This paper presents a framework (COBSOM) for building configurable parallel and distributed programs where type-dependent object functionality is explicitly separated from its characteristics subject to configuration, including its performance, reliability, and timing properties. COBSOM supports a programming model where dealing with configuration issues is a central part of the design. It provides abstractions for incorporating flexibility into a distributed object-oriented application in a methodical fashion. In addition, performance issues are addressed by considering run-time execution adjustments of the basic mechanisms that influence them. We introduce the basic elements of the model. We also present Data. Object, which has been developed with COBSOM. Data Object is a complex configurable object that encapsulates data output from a high performance parallel and distributed scientific application.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127616855","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
Aplicação do Critério Análise de Mutantes na Validação de Especificações Baseadas em Statecharts 突变体分析标准在基于报表的规范验证中的应用
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24063
S. Fabbri, J. Maldonado, P. C. Masiero
{"title":"Aplicação do Critério Análise de Mutantes na Validação de Especificações Baseadas em Statecharts","authors":"S. Fabbri, J. Maldonado, P. C. Masiero","doi":"10.5753/sbes.1997.24063","DOIUrl":"https://doi.org/10.5753/sbes.1997.24063","url":null,"abstract":"A qualidade da atividade de VV&T — Verificação, Validação e Teste — de especificações é fundamental no processo de desenvolvimento de software. Técnicas e critérios de teste têm sido investigados no contexto de VV&T de especificações do aspecto comportamental de Sistemas Reativos fornecendo mecanismos para a avaliação da qualidade dessa atividade. Este artigo apresenta a aplicação do critério de teste Análise de Mutantes, um critério desenvolvido originalmente para o teste de programas, para a atividade de teste de especificações que utilizam a técnica Statecharts. A aplicação desse critério é baseada em um conjunto de operadores de mutação. Assim, apresentam-se os operadores de mutação definidos para Statecharts, que estão divididos em três classes, bem como estratégias de abstração de componentes de Statecharts que permitem conduzir a atividade de validação de forma incremental, explorando aspectos particulares dessa técnica, como hierarquia, ortogonalidade e história.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116276141","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
On the Design of Bouncer: A Robust and Flexible License Management Service for Avoiding Illegal Use of Software 论Bouncer的设计:一种鲁棒灵活的防止软件非法使用的许可管理服务
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24038
F. Brasileiro, Tarcio R. Bezerra, Walfredo Costa Cirne Filho, José M. F. Moura
{"title":"On the Design of Bouncer: A Robust and Flexible License Management Service for Avoiding Illegal Use of Software","authors":"F. Brasileiro, Tarcio R. Bezerra, Walfredo Costa Cirne Filho, José M. F. Moura","doi":"10.5753/sbes.1997.24038","DOIUrl":"https://doi.org/10.5753/sbes.1997.24038","url":null,"abstract":"The phases of getting a software ready and introducing it into a target-market are seldom emphasised on traditional software engineering process models. Nevertheless, these phases are of the utmost importance in the production process of many commercial applications. Within a mumber of activities carried out on these phases, protection of intellectual property is a key issue that must be tackled. In this paper we present the design of a license management service that can be used to avoid illegal utilisation of applications, specially those executed over a network. The unique architectural model of our license management tool confers on it important characteristics such as robustness and flexibility, not present on other solutions currently available. We compare our approach with others and show that ours is more suitable for a wider range of applications.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130567909","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学术官方微信