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

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

筛选
英文 中文
Recuperação de Componentes em Bibliotecas de Software: Uma Abordagem Conexionista 软件库中的组件恢复:连接主义方法
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24439
M. D. O. Barros, C. Werner, L. Calôba
{"title":"Recuperação de Componentes em Bibliotecas de Software: Uma Abordagem Conexionista","authors":"M. D. O. Barros, C. Werner, L. Calôba","doi":"10.5753/sbes.1996.24439","DOIUrl":"https://doi.org/10.5753/sbes.1996.24439","url":null,"abstract":"This paper presents a reusable component retrieval approach that uses a neural network based on the Kohonen's self-organizing layer and the faceted classification. The network is trained with the objective of correcting similarity relationships between facet terms, enhancing the selection precision in an evolutive way (i.e., based on the results of previous selections). This technique was used on the implementation of the reusable components' search mechanisms of the Memphis environment.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"153 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120991097","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 para Representação de Múltiplas Visões de Requisitos: O Metamodelo e Uma Linguagem de Transformação 表示多个需求视图的环境:元模型和转换语言
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24445
Tereza G. Kirner, A. F. Prado, Maria Adriana Vidigal de Lima, Rogéria Cristiane Gratão
{"title":"Ambiente para Representação de Múltiplas Visões de Requisitos: O Metamodelo e Uma Linguagem de Transformação","authors":"Tereza G. Kirner, A. F. Prado, Maria Adriana Vidigal de Lima, Rogéria Cristiane Gratão","doi":"10.5753/sbes.1996.24445","DOIUrl":"https://doi.org/10.5753/sbes.1996.24445","url":null,"abstract":"This article describes an environment to represent multiple views of software requirements. Two essential components of the environment are discussed, that is, the metamodel and a transformation language. The metamodel is a unique, common representation that supports the integrated use of representation techniques for different methods. The language permits to write the metamodel, aiming to automaticaly generate the system codding in an executable language.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"166 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132527228","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 ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS 协助RT-LOTOS规范验证过程的工具
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24447
R. F. Martins, M. Camargo, Jean-Marie Farines
{"title":"Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS","authors":"R. F. Martins, M. Camargo, Jean-Marie Farines","doi":"10.5753/sbes.1996.24447","DOIUrl":"https://doi.org/10.5753/sbes.1996.24447","url":null,"abstract":"In this paper, we present a methodology and tools for verifying specifications of real-time systems, written in RT-LOTOS, a timed extension of the LOTOS specification language. From the model in RT-LOTOS, it is generated the related Timed Automata, over which the verification can be done, by using formulas written in the TCTL Real-Time Temporal Logic. The translator of RT-LOTOS specifications into Timed Automata that was built is described in this work. His integration with existing tools that allow the verification is also shown. Finally, case-studies allow to analyze the use of this method and the tools presented.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123237622","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 Avaliação das Arquiteturas para Interoperabilidade entre Objetos 对象之间互操作性的体系结构评估
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24454
Renato Cerqueira, Roberto Ierusalimschy
{"title":"Uma Avaliação das Arquiteturas para Interoperabilidade entre Objetos","authors":"Renato Cerqueira, Roberto Ierusalimschy","doi":"10.5753/sbes.1996.24454","DOIUrl":"https://doi.org/10.5753/sbes.1996.24454","url":null,"abstract":"This paper studies some issues related to interoperability of object-oriented languages. First, it discusses the relationship between the development of software components for reuse and the object interoperability issue. After this discussion, it presents some aspects that make difficult this interoperability among objects defined in different languages and also among distributed objects, and the main proposals to solve the interoperability problem. Finaly, it does an analysis of the practical application of the main interoperability frameworks. This analysis has been based on a case study, and has tried to identify the main failures of studied frameworks and their possible evolution.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132029223","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
Proposta de uma Ferramenta para Elaboração e Monitoração de Aplicações Distribuídas 提出了一种用于开发和监控分布式应用程序的工具
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24448
R. A. L. Gonçalves, Durval Makoto Akamatu, I. M. S. Gimenes
{"title":"Proposta de uma Ferramenta para Elaboração e Monitoração de Aplicações Distribuídas","authors":"R. A. L. Gonçalves, Durval Makoto Akamatu, I. M. S. Gimenes","doi":"10.5753/sbes.1996.24448","DOIUrl":"https://doi.org/10.5753/sbes.1996.24448","url":null,"abstract":"The development of distributed applications enables either lightly loaded or idle processors to be grouped together for the execution of the same application, thus increasing applications speed up. This paper analyses the structures and resources of existing tools for the development of distributed applications in order to extract relevant concepts and techniques. Based on these information, a more simple tool is proposed which offers many interactive facilities to the user. The main techniques used are described showing the tool architecture and resources provided for distributed application programmers.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"127 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127401925","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
Editores Gráficos para Estruturas com Composições 图形编辑器的结构与组成
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24442
Débora Christina Muchaluat, Luiz Fernando Gomes Soares, M. Casanova
{"title":"Editores Gráficos para Estruturas com Composições","authors":"Débora Christina Muchaluat, Luiz Fernando Gomes Soares, M. Casanova","doi":"10.5753/sbes.1996.24442","DOIUrl":"https://doi.org/10.5753/sbes.1996.24442","url":null,"abstract":"This paper discusses compound graphs graphical editors. Besides offering relations modeled by arcs, also offer composition relations modeled by the content of nested subgraphs. When dealing with large and complex structures, we must not show all its components simultaneously, because the diagram would become very confusing and illegible. Our proposal presents an algorithm for filtering information using an extension of the fisheye-view strategy for compound graphs. This technique could be applied to many fields where the using of graphical editors is crucial. We present an implementation of our proposal for hypermedia systems, by building browsers that use and validate the algorithm.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"1072 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116020056","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
Extensões ao HMBS para Especificação de Apresentações Hipermídia 超媒体演示规范的HMBS扩展
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24456
Fabiano Borges Paulo, P. C. Masiero, Maria de Fátima Ferreira de Oliveira
{"title":"Extensões ao HMBS para Especificação de Apresentações Hipermídia","authors":"Fabiano Borges Paulo, P. C. Masiero, Maria de Fátima Ferreira de Oliveira","doi":"10.5753/sbes.1996.24456","DOIUrl":"https://doi.org/10.5753/sbes.1996.24456","url":null,"abstract":"Hypermedia refers to the integration of hypertext and multimedia in a single communication model. The use of models for specifying hypermedia applications (or hyperdocuments) provide a systematic approach towards development which can improve the quality of the final produts. HMBS is a model which allows the specification of hypertext navigational requirements. In this work, the scope of HMBS is expanded with the inclusion of mechanisms that enable the specification of hypermedia requirements.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129697520","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
On Deriving Statecharts Supervision Models from SDL Specifications Using SSM 利用SSM从SDL规范推导状态图监督模型
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24438
A.M. Silva Filho
{"title":"On Deriving Statecharts Supervision Models from SDL Specifications Using SSM","authors":"A.M. Silva Filho","doi":"10.5753/sbes.1996.24438","DOIUrl":"https://doi.org/10.5753/sbes.1996.24438","url":null,"abstract":"This paper presents a discussion of using software supervision as a means of improving the software reliability of reactive systems during the in-use phase. Supervision software consists of monitoring both the inputs and outputs of a target system and checking them against the target system's specification. All discrepancies between observed sequences of signals and the target system's specification are reported as failures. The emphasis of this paper is on showing the suitability of using Statecharts as a formal technique to specify the reactive system supervisor. The target reactive system is assumed to be specified in SDL (Specification and Description Language). Statecharts-based Supervisor Modeling (SSM) is presented by using examples. As well, benefits of this approach are discussed.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133866319","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
Um Framework Reflexivo para Ferramentas de Visualização de Software 软件可视化工具的反思性框架
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24443
Marcelo R. Campo, R. T. Price
{"title":"Um Framework Reflexivo para Ferramentas de Visualização de Software","authors":"Marcelo R. Campo, R. T. Price","doi":"10.5753/sbes.1996.24443","DOIUrl":"https://doi.org/10.5753/sbes.1996.24443","url":null,"abstract":"This paper presents Luthier, a Smalltalk-80 framework, designed to support the construction of visual tools for dynamic program analysis. Luthier integrates computational reflection techniques based on meta-objets with hypertext and direct-manipulation user interfaces techniques, especially designed to build dynamically adaptable visualization tools through composition of basic behaviours. The framework introduces two main contributions: a meta-object protocol based on the concept of meta-objet managers - which allow the construction of specialized mechanisms for meta-object association and activation - and the explicit support for abstraction scales for the dynamic (and continuos) reconfiguration of visualizations allowing different levels of abstraction. Through the combination of these mechanisms it is possible to build highly-complex structures independently of the implementation of specific visualizations. This allows a greater level of reusability of visualizations, which it is often the most limiting aspect of software visualization systems.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122034642","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
首页 上一页
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学术官方微信