{"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}
{"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}
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}
{"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}
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}
{"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}
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}
{"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}
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}
{"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}