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

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

筛选
英文 中文
Graph Grammars for the Specification of Concurrent Systems 并行系统规范的图语法
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24049
L. Ribeiro, M. Korff
{"title":"Graph Grammars for the Specification of Concurrent Systems","authors":"L. Ribeiro, M. Korff","doi":"10.5753/sbes.1997.24049","DOIUrl":"https://doi.org/10.5753/sbes.1997.24049","url":null,"abstract":"Graph grammars have origined from generalizing Chomsky grammars from Strings to Graphs. They visually support intuition, have a solid theoretical foundation, and provide a formal, implementation independent means for the description of discretely evolving computations and their formal and tractable analysis. In this paper we present the outline of a case study of specifying a telephone system and report on the resulting semantical and analytical issues.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"47 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":"128300540","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
Componente Gerenciador de Dados Configurável 可配置的数据管理器组件
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24054
M. Ferreira, Tatuo Nakanishi, João Bosco S. Cunha
{"title":"Componente Gerenciador de Dados Configurável","authors":"M. Ferreira, Tatuo Nakanishi, João Bosco S. Cunha","doi":"10.5753/sbes.1997.24054","DOIUrl":"https://doi.org/10.5753/sbes.1997.24054","url":null,"abstract":"A enorme ênfase em produtividade nesta década tem levado a indústria de software a propor mecanismos que acelerem o desenvolvimento de sistemas de software principalmente utilizando a reutilização. Desta forma a proposição de um Componente Gerenciador de Dados (CGD) Configurável tem por objetivo a sua reutilização por diferentes aplicações evitando-se que as mesmas precisem conter códigos específicos para acessar a base de dados. O aspecto importante da proposta é a substituição da produção de códigos para acessar a base de dados pela configuração de um componente de software durante o desenvolvimento de um sistema. O CGD é portanto uma camada de software que fica entre a aplicação e o banco de dados, facilitando os trabalhos dos desenvolvedores de software nas metodologias orientadas a objeto. O CGD recebe as solicitações do aplicativo para armazenar ou recuperar objetos, e ele realiza esta tarefa, seja interfaceando com um banco de dados relacional ou com um sistema de arquivos.[8]","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"76 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":"124682699","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
Alquimista: uma Ferramenta para Desenvolvimento Visual de Software Paralelo para Modelos de Programação baseados em Memória Compartilhada Alquimista:基于共享内存的编程模型的可视化并行软件开发工具
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24071
M. D. O. Barros, J. S. Aude
{"title":"Alquimista: uma Ferramenta para Desenvolvimento Visual de Software Paralelo para Modelos de Programação baseados em Memória Compartilhada","authors":"M. D. O. Barros, J. S. Aude","doi":"10.5753/sbes.1997.24071","DOIUrl":"https://doi.org/10.5753/sbes.1997.24071","url":null,"abstract":"This paper presents Alquimista, a visual programming tool for parallel software development. Alquimista is based on multithreaded programming and uses shared memory for communication. It allows users to build complex programs based on primitive programming blocks. Alquimista works upon meta-schemes of parallel programming models and generates code in any model described with these meta-schemes. Alquimista is implemented in Java and is currently available on Solaris platform.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"145 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114092390","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
Uma Abordagem 3D para a Visualização de Padrões de Projeto 可视化设计模式的3D方法
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24042
Marcelo R. Campo, R. T. Price, Alfredo Teyseyre
{"title":"Uma Abordagem 3D para a Visualização de Padrões de Projeto","authors":"Marcelo R. Campo, R. T. Price, Alfredo Teyseyre","doi":"10.5753/sbes.1997.24042","DOIUrl":"https://doi.org/10.5753/sbes.1997.24042","url":null,"abstract":"Neste trabalho apresenta-se uma abordagem para a visualização da informação de padrões de projeto existentes em um framework utilizando uma representação visual tridimensional. Sob esta abordagem, uma classe é visualizada como um volume composto pelos três eixos do espaço tridimensional. Cada eixo representa uma das três categorias nas quais os padrões são classificados. Cada padrão existente numa classe é representado por um poliedro de forma característica e a cor do poliedro relaciona as diferentes classes associadas pelo padrão. Através desta representação é possível visualizar de forma integrada a informação de classes, seus relacionamentos e a informação relativa aos padrões que definem a estrutura do framework, sem a necessidade de múltiplas visualizações bidimensionais. Esta abordagem foi implementada como uma extensão da ferramenta MetaExplorer, utilizando-se de uma extensão 3D do sub-framework de visualização do framework Luthier, desenvolvido pára a construção de ferramentas de visualização de software.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"33 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":"114645836","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 Abordagem Reflexiva para a Construção de Frameworks para Interfaces Homem-Computador 构建人机界面框架的反思性方法
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24044
M. Coelho, C. M. F. Rubira
{"title":"Uma Abordagem Reflexiva para a Construção de Frameworks para Interfaces Homem-Computador","authors":"M. Coelho, C. M. F. Rubira","doi":"10.5753/sbes.1997.24044","DOIUrl":"https://doi.org/10.5753/sbes.1997.24044","url":null,"abstract":"Este trabalho propõe o uso de reflexão computacional para à construção de frameworks orientados a objetos para interfaces homem-computador. À principal limitação desses frameworks é sua complexidade de projeto, que dificulta o programador da aplicação entender os mecanismos implementados no framework. O objetivo deste trabalho é mostrar como reflexão computacional pode ser utilizada para implementar a independência de diálogo em frameworks para interfaces homem-computador no meta-nível, a fim de reduzir a complexidade dos mesmos. Os serviços de visualização da interface gráfica podem ser fornecidos de forma não intrusiva e transparente através de reflexão computacional para o programador da aplicação. Este trabalho descreve inicialmente uma aplicação desenvolvida a partir do ET++, um framework para aplicações gráficas. Em seguida, essa mesma aplicação é descrita utilizando uma abordagem reflexiva. Uma comparação entre essas duas soluções mostra os benefícios da abordagem reflexiva.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"37 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":"133473177","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
Igrep - Um Sistema para Busca Aproximada em Textos Indexados Igrep -索引文本的近似搜索系统
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24065
Márcio Drumond Araújo, Nivio Ziviani
{"title":"Igrep - Um Sistema para Busca Aproximada em Textos Indexados","authors":"Márcio Drumond Araújo, Nivio Ziviani","doi":"10.5753/sbes.1997.24065","DOIUrl":"https://doi.org/10.5753/sbes.1997.24065","url":null,"abstract":"O presente trabalho apresenta o sistema IGREP para busca aproximada em textos de grande porte desenvolvido através da dissertação [Ara97]. O IGREP faz uso de uma lista invertida, composta por uma tabela contendo o vocabulário de palavras do texto e uma lista de endereços no texto correspondendo às ocorrências no mesmo de cada palavra do vocabulário. O tamanho do vocabulário é menos do que 1% do tamanho do texto como um todo, fazendo com que seja possível a sua manutenção em memória principal durante todo o processo de busca. Para consultas contendo uma palavra, a busca fica restrita apenas ao vocabulário. Para consultas contendo mais de uma palavra, a busca fica restrita ao vocabulário e respectivas listas de endereços, não havendo pois nenhum acesso ao texto na fase de pesquisa. O sistema permite desde a busca com erros ou não de palavras e frases até buscas de sequências complexas contendo conjuntos de caracteres, caracteres coringa e expressões regulares arbitrárias. O tempo de busca é O(√n) para casos típicos. Os resultados experimentais mostram que o sistema funciona bem na prática: para um texto de 1 gigabyte, casamentos compostos por 3 palavras com até 1 erro são recuperados em aproximadamente 6 segundos. No caso de busca sem erro, as ocorrências são obtidas em menos de meio segundo. O sistema contém duas ferramentas: O IGREPINDEX destinado a construção da lista invertida e o IGREP responsável pela parte de busca de padrões.","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":"114911004","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
CGILua: A Multi-Paradigmatic Tool for Creating Dynamic WWW Pages CGILua:创建动态WWW页面的多范例工具
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24058
Anna Hester, R. Borges, R. Ierusalimschy
{"title":"CGILua: A Multi-Paradigmatic Tool for Creating Dynamic WWW Pages","authors":"Anna Hester, R. Borges, R. Ierusalimschy","doi":"10.5753/sbes.1997.24058","DOIUrl":"https://doi.org/10.5753/sbes.1997.24058","url":null,"abstract":"The dramatic growth of the Internet and the World Wide Web creates great demand for tools to support the construction and maintenance of WWW sites. CGILua intends to simplify the task of creating dynamic Web pages, supporting three different paradigms for describing dynamic Web pages: Programming, templates, and database. Besides fully supporting these three paradigms, the user can also freely mix them, allowing the use of CGILua in new interesting ways, even in the description of static pages. CGILua is fully implemented, and is already being used in industrial sites.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"34 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":"117029573","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}
引用次数: 8
Estratégia de Geração de Dados de Teste Baseada na Análise Simbólica e Dinâmica do Programa 基于程序符号和动态分析的测试数据生成策略
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24061
Juliana Silva de Herbert, A. M. Price
{"title":"Estratégia de Geração de Dados de Teste Baseada na Análise Simbólica e Dinâmica do Programa","authors":"Juliana Silva de Herbert, A. M. Price","doi":"10.5753/sbes.1997.24061","DOIUrl":"https://doi.org/10.5753/sbes.1997.24061","url":null,"abstract":"A geração automática de dados é considerada a tarefa mais crítica do teste estrutural. A obtenção de um conjunto de dados confiável, de propósito geral, não é computável. Assim sendo, os estudos de geração de dados devem basear-se em critérios específicos de teste. Os critérios utilizados para o teste estrutural abordados neste trabalho são os que selecionam caminhos a partir da análise dos fluxos de controle e de dados do programa. Para que a cobertura seja atingida, dados devem ser gerados de tal forma que permitam a execução de todos os caminhos selecionados. Por outro lado, a programação em lógica tem sido bastante utilizada para a implementação de protótipos de ferramentas de apoio às fases do desenvolvimento de software, inclusive à fase de validação. A linguagem Prolog, por exemplo, possui características, próprias para o processamento simbólico, tais como: formalismo DCG, reversibilidade e prova de teoremas, que são extremamente adequadas ao teste estrutural de software, mais especificamente à geração automática de dados para teste. Este artigo apresenta uma proposta de estratégia de geração automática de dados para o teste estrutural, baseada na programação em lógica. Nesta estratégia, são realizadas análises simbólica e dinâmica do programa, a partir das quais são extraídas informações que, combinadas, constituem-se em heurísticas para a geração de dados.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"24 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":"123818938","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
BRight: A Distributed System for Web lnformation lndexing and Searching BRight:一个分布式的网络信息索引和搜索系统
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24057
P. Gonçalves, S. Meira, A. Salgado
{"title":"BRight: A Distributed System for Web lnformation lndexing and Searching","authors":"P. Gonçalves, S. Meira, A. Salgado","doi":"10.5753/sbes.1997.24057","DOIUrl":"https://doi.org/10.5753/sbes.1997.24057","url":null,"abstract":"The extraordinary size and the exponential growth of the World-Wide Web demand new approaches to the problems of information indexing and searching in its structure. In this paper, we discuss the limitations of the centralized approach in use today, comment recent work on distributed architectures for Networked Information Retrieval, and present BRight!, distributed system to index and search information in the World-Wide Web. We then focus on BRight! to discuss its architecture and underlying concept of Web Views, compare it with other systems, and show how it scales to Web growth. The current version of a prototype is presented, and future work is outlined.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"64 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":"130277488","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
Ambiente Memphis: Estágio Atual 孟菲斯环境:当前阶段
Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997) Pub Date : 1997-10-15 DOI: 10.5753/sbes.1997.24074
C. Werner, G. H. Travassos, A. R. Rocha, A. M. D. Cima, Luciana de O. Vilanova, Ana Cecília B. Coelho, Paulo L. Alenquer
{"title":"Ambiente Memphis: Estágio Atual","authors":"C. Werner, G. H. Travassos, A. R. Rocha, A. M. D. Cima, Luciana de O. Vilanova, Ana Cecília B. Coelho, Paulo L. Alenquer","doi":"10.5753/sbes.1997.24074","DOIUrl":"https://doi.org/10.5753/sbes.1997.24074","url":null,"abstract":"This work presents the current version of the MEMPHIS Environment, developed at COPPE/UFRJ. The MEMPHIS Environment is a Reuse Based Software Engineering Environment that uses TABA's Instantiated Environments Model. The environment was built in Sun workstations with the Unix system and the Eiffel programming language.","PeriodicalId":342565,"journal":{"name":"Anais do XI Simpósio Brasileiro de Engenharia de Software (SBES 1997)","volume":"41 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":"134639201","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学术官方微信