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

筛选
英文 中文
Em direção a uma metodologia para o desenvolvimento de frameworks de aplicação orientados a objetos 面向对象应用程序框架开发的方法论
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24451
Ricardo Pereira e Silva, R. T. Price
{"title":"Em direção a uma metodologia para o desenvolvimento de frameworks de aplicação orientados a objetos","authors":"Ricardo Pereira e Silva, R. T. Price","doi":"10.5753/sbes.1996.24451","DOIUrl":"https://doi.org/10.5753/sbes.1996.24451","url":null,"abstract":"The analisys of some framework development methodologies, shows the lack of modeling techniques and a detailed development process. In contrast, this features are contained in most object-oriented application development methodologies. Starting with analisys of these methodologies, is discussed how to adapt their modeling techniques to be used in frameworks development. The perceived need is to extend the static modeling techniques with class and method categorization, and to stress the use of colaborations for the dynamic modeling.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"32 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":"129220163","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
Software Design Baseado em Subsistemas Autônomos - Focalizando o Reuso 基于自治子系统的软件设计——关注重用
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24449
Maria Luiza d´Almeida Sanchez, Bruno Maffeo
{"title":"Software Design Baseado em Subsistemas Autônomos - Focalizando o Reuso","authors":"Maria Luiza d´Almeida Sanchez, Bruno Maffeo","doi":"10.5753/sbes.1996.24449","DOIUrl":"https://doi.org/10.5753/sbes.1996.24449","url":null,"abstract":"This work focus on reuse features of a design method for real-time process-control systems. The method is based on \"Information Hiding and Exchange of Messages between Independent Subsystems\". It employs information hiding and concepts inherited from development techniques using Configuration Languages. It allows the partition of a complex system into more manageable subsystems intended for reuse in other systems that have to perform similar functions.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"46 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":"123916765","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
Desenvolvimento de Sistemas Orientados a Objetos Utilizando o Sistema Transformacional Draco-Puc 使用Draco-Puc转换系统开发面向对象系统
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24455
U. Bergmam, A. F. Prado, Julio Cesar Sampaio do Prado Leite
{"title":"Desenvolvimento de Sistemas Orientados a Objetos Utilizando o Sistema Transformacional Draco-Puc","authors":"U. Bergmam, A. F. Prado, Julio Cesar Sampaio do Prado Leite","doi":"10.5753/sbes.1996.24455","DOIUrl":"https://doi.org/10.5753/sbes.1996.24455","url":null,"abstract":"Even not being an unanimity in Software Engineering, there is no way of denying the impact of Object Oriented Technology in all phases of the development process. Besides coming out many object oriented languages, many methods and techniques were born to support specification work and design of object oriented systems. This paper reports the building and how to use a support environment of object oriented development. The environment aggregates a graphical interface with the Draco-Puc machine transformational system. The environment characterizes itself by utilizing transformation technology that allows automatic C++ code generation from specifications of high level abstraction. The paper emphasizes Draco-Puc machine integration as well as its use for code generating. A real case based example is utilized to demonstrate the capacities and utilities of the proposed environment.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"116 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":"117237319","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
Evaluating User Disorientation: A Comparison of Hypertext and Continuous Zooming Interfaces 评估用户迷失方向:超文本和连续缩放界面的比较
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24446
Jose Bezerra da Silva-Fh., G. Marchionini
{"title":"Evaluating User Disorientation: A Comparison of Hypertext and Continuous Zooming Interfaces","authors":"Jose Bezerra da Silva-Fh., G. Marchionini","doi":"10.5753/sbes.1996.24446","DOIUrl":"https://doi.org/10.5753/sbes.1996.24446","url":null,"abstract":"Hypertext systems have reached ubiquity in the World Wide Web (WWW). One of the most common side effects of hypertext use is disorientation and this problem is exacerbated in the WWW environment. Powerful workstations allow software engineers to create innovative interfaces that improve user performance while minimizing such side effects. One such innovation is continuous zooming, an interface mechanism that provides alternative control to scrolling and jumping. A series of studies were conducted to investigate how a continuous zooming interface affected user text comprehension performance in general and user disorientation. Results suggest that zooming in text is at least as good as hypertext jumping for comprehension tasks and that users are satisfied with zooming even with minimal practice.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"4 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":"125507152","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
Towards an Environment to Support Requirements Formalisation 建立支持需求形式化的环境
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24444
J. Castro, C. Gautreau, Marco Antonio Toranzo Cespedes
{"title":"Towards an Environment to Support Requirements Formalisation","authors":"J. Castro, C. Gautreau, Marco Antonio Toranzo Cespedes","doi":"10.5753/sbes.1996.24444","DOIUrl":"https://doi.org/10.5753/sbes.1996.24444","url":null,"abstract":"A major issue in requirements engineering is how to bridge the gap between ill-defined application situations and production of precise, formal specification of functional requirements. Although various formal languages have been proposed in the literature, practitioners still have great difficulties specifying requirements in their chosen formal language. One way of overcoming this barrier is to integrate formal techniques with existing methodologies (CORE, OMT, etc) and providing tool support for building formal specifications incrementally. In this paper we present The Multiview Tool, which addresses the problem of capturing requirements in the context of formal specification. Multiview enables multiple stakeholders to express their viewpoints based on a number of interrelated models, written in a variety of different notations. A detailed description of the project of the Multiview is provided. We start with the System Interface Context Diagram and a general overview of the tool Domain. A critical part of this domain is elaborated in terms of an Information Model. We also show one of the metamodels supported by the tool (Object Class representation schema). Several Interface Prototypes are also presented, together with an Object Message Model for a specific scenario. Statecharts are used to represent the behaviour of editors supported by the tool.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"29 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":"133243896","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
De occam para o transputer: compilação via reescrita de termos 从奥卡姆到转发器:通过重写术语进行编译
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24440
Renata Spencer, A. Sampaio
{"title":"De occam para o transputer: compilação via reescrita de termos","authors":"Renata Spencer, A. Sampaio","doi":"10.5753/sbes.1996.24440","DOIUrl":"https://doi.org/10.5753/sbes.1996.24440","url":null,"abstract":"The aim of this work is the development of a prototype compiler from occam to the transputer, in such a way that the correctness of the compiler is ensured by construction. The method used reduces the source program, through a series of algebraic transformations, to a normal form which can be directly mapped into the instructions of the target machine. Using the term rewriting facilities provided by OBJ3, the correctness proof gives as a byproduct a compiler prototype, so that at the end of the process, a running prototype will be available. This compilation method was already available, and its application was illustrated for a very simple language; our purpose here is to extend the method to deal with realistic languages and machines, such as occam and the transputer.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"54 28 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":"124701517","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
Task Allocation Strategies: A Study with a Multi-Agents System in Fully Distributed Information Systems 全分布信息系统中多智能体系统的任务分配策略研究
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24450
F. Corchado, Liming Chen, M. Bui, D. Donsez, P. Faudemay
{"title":"Task Allocation Strategies: A Study with a Multi-Agents System in Fully Distributed Information Systems","authors":"F. Corchado, Liming Chen, M. Bui, D. Donsez, P. Faudemay","doi":"10.5753/sbes.1996.24450","DOIUrl":"https://doi.org/10.5753/sbes.1996.24450","url":null,"abstract":"In this paper we present some task allocation technics useful on Internet or other Wide Area Network (WAN). These technics are based on the cooperation of multi-agents organized in one community of Reactive agents and another of Allocator agents. Reactive agents represent services availables on the WAN such as Internet search engines. Allocator agents' task is allocate the queries that they receive from users. To take such a decision, Allocator agents cooperate sharing theirs informations about the state of Reactive agents. An Allocator agent is able to characterize the behaviour of Reactive agents by means of a knowledge model we developed. In order to facilitate the composition of complex services such as retrieval of multiple language documents, we also define another agent type we call Sub-contractor agent.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"90 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":"115820468","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 Ambiente para Sonorização Não Intrusiva de Aplicações Orientadas a Objetos 面向对象应用程序的非侵入式声音环境
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24453
André Luiz Costa Ballista, R. T. Price
{"title":"Um Ambiente para Sonorização Não Intrusiva de Aplicações Orientadas a Objetos","authors":"André Luiz Costa Ballista, R. T. Price","doi":"10.5753/sbes.1996.24453","DOIUrl":"https://doi.org/10.5753/sbes.1996.24453","url":null,"abstract":"Marola a framework for the sonification of object oriented applications, is briefly described. Besides the generalised class structure for the creation of auditory interfaces Marola also offers a toolkit for the interactive creation of sonic classes at all levels of the framework Auditory interfaces developed with this framework may be attached to Smalltalk applications through a reflective computational mechanism, without the need of instrumenting the application classes with any sort of code.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"7 3 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":"132454576","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
A Construção de um Gerador de Programas Aplicativos segundo Conceitos de Análise de Domínios 根据域分析的概念构建应用程序生成器,并对其进行了分析
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24441
Renato Fileto, C. A. Meira, Clevan Ricardo da Costa, Silvia Maria Fonseca Silveira Masshurá
{"title":"A Construção de um Gerador de Programas Aplicativos segundo Conceitos de Análise de Domínios","authors":"Renato Fileto, C. A. Meira, Clevan Ricardo da Costa, Silvia Maria Fonseca Silveira Masshurá","doi":"10.5753/sbes.1996.24441","DOIUrl":"https://doi.org/10.5753/sbes.1996.24441","url":null,"abstract":"This paper is related with the experience acquired in the development of the GEMS, a source code generator intended to aid the construction of application programs, for a specific application field, from analysis and project information. The GFMS is part of a greater effort called FMS, whose goal is the development of an environment directed to the semi-automatic generation of software for agricultural activities management, through the use of domain analysis concepts and techniques. We present the basic principles employed, the general architecture of the code generator, as well as some examples and characteristics of the application programs produced by the FMS and indications of the methods to be used for the development and documentation of them. We expect that the experience described here be helpful to check the domain analysis concepts in a practical situation and to encourage and help resembling projects in other application fields.","PeriodicalId":114519,"journal":{"name":"Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996)","volume":"56 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":"132408250","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
A Refinement Theory for Concurrent Object Oriented Languages 面向对象并发语言的精化理论
Anais do X Simpósio Brasileiro de Engenharia de Software (SBES 1996) Pub Date : 1996-10-14 DOI: 10.5753/sbes.1996.24436
Paulo Borba
{"title":"A Refinement Theory for Concurrent Object Oriented Languages","authors":"Paulo Borba","doi":"10.5753/sbes.1996.24436","DOIUrl":"https://doi.org/10.5753/sbes.1996.24436","url":null,"abstract":"A notion of refinement for concurrent object-oriented programs was originally presented in [3]. In this article we prove that the refinement relation associated to this notion is a congruence with respect to various standard programming language constructors, including parallel and sequential composition, conditionals, and non-deterministic internal choice. We also establish a weaker compositionality result for the atomic evaluation constructor, and illustrate how novel compositionality properties can be derived from the basic congruence property.","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":"128502840","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学术官方微信