Monografias em Ciência da Computação
Departmento de Informática
Pontifícia Universidade Católica do Rio de Janeiro - PUC-Rio
Rio de Janeiro - Brazil
This file contains a list of the technical reports of the Departmento de Informática, Pontifícia Universidade Católica do Janeiro - PUC-Rio, Brazil, which are published in our series Monografias em Ciência da Computação (ISSN 0103-9741), edited by Prof. Carlos Lucena. Please note that the reports not available for download are available in their print format and can be obtained via the e-mail below.
For any questions, requests or suggestions, please contact:
Rosane Castilho email@example.com
Last update: 24/11/2012
STAA, A. v. The Talisman C++ unit testing framework. 23 p. Eng. E-mail: firstname.lastname@example.org
Abstract: This document describes, in a very abridged way, the organization, tools, usage and conventions of the Talisman C++ unit test framework. Further details about the framework, as well as details about each module, class and method can be found in the corresponding header files. The present framework uses a very restricted set of C++ capabilities. It uses neither templates, nor MFC – Microsoft Foundation Classes or other class libraries. It may be integrated with an executable application, allowing to test modules in a production setting. It interprets a very simpleminded script language instead of coding the test cases directly in C++. The script language is similar to assembler, in the sense that it is line oriented and each executable or declarative line contains a command followed by a list of zero or more parameters. Usually the test command corresponds to the method to be tested and the parameters correspond to the parameters to be used when calling this method as well as values that will be compared with the outcome of the method execution.
SKYRME, A.; ENDLER, M. An algorithm for distributed cooperative reasoning over global context states. 28 p. Eng. E-mail: email@example.com
Abstract: In many occasions of our daily lives, we want to spontaneously interact with nearby strangers for sharing ideas, chatting, saving time/money, or helping each other. For that purpose, it is necessary to identify shared context situations that depend on distributed sources of users’ local context. So far, most of the work that investigates mechanisms to support spontaneous discovery and interaction among mobile users has not yet explored means of automatic detection of common Global Context States (GCS). In this paper, we propose a distributed reasoning approach and algorithm that determines a distributed Global Context State among potentially interacting nodes/peers. We also evaluate the complexity of the algorithm - through simulation - and identify that the convergence of the algorithm depends very much on the users’ mobility pattern and the requested minimum number of contributing peers, rather than on the volatility of the local contexts.
GUIMARÃES, L.F.; VIANNA, M.L.; SANTOS NETO, B.F.; LUCENA, C.J.P. GeoRisc - mobile. 25 p. Port. E-mail: firstname.lastname@example.org
Abstract: This paper describes the GeoRisc – Mobile, an extension of the GeoRisc platform. This software concentrate risk areas knowledge as sliding mass, suggestions of experts to answer a specific call from these areas, suggesting hospitals for treatment of victims rescued and creating routes to emergency service centers. In addition, a role and privacy mechanism, which enable a collaboration environment for specialist and common people in a such scenario. This knowledge has been encapsulated into agents able to infer suggestions and restrictions that fits as features in a software product line.
SILVA, L.D.N.; VASCONCELOS, R.O.; ALVES, L.; ANDRÉ, R.; BAPTISTA, G.; ENDLER, M. A communication middleware for scalable real-time mobile collaboration. Eng. 11 p. E-mail: email@example.com
VASCONCELOS, R.O.; DAVID, L.D. ; ALVES, L.; ANDRÉ, R.; ENDLER, M. Real-time group management and communication for large-scale pervasive applications. 13 p. Eng. E-mail: firstname.lastname@example.org
Abstract: Applications such as transportation management and logistics, emergency response, environmental monitoring or mobile workforce management employ mobile networks as means of enabling communication and coordination among a possibly very large set of mobile nodes. The majority of those systems require real-time tracking of mobile nodes - be them vehicles, people or mobile robots-, group management and communication with the nodes, as well as adaptability in very dynamic scenarios, where it is not possible to predict how many nodes will be reachable and for how long. In this paper we present the Scalable Data Distribution Layer and explain its group management and communication features. We then present a prototype Fleet Tracking and Management system and performance results of the group communication and management middleware
ENDLER, M.; VASCONCELOS, R.O.; DAVID, L.D.; ANDRÉ, R.; ALVES, L. A DDS-based middleware for scalable tracking and communication of wireless-connected mobile nodes in a WAN. 15 p. Eng. E-mail: email@example.com
Abstract: Applications such as vehicle fleet monitoring and logistic systems, emergency response coordination, environmental monitoring or mobile workforce management, employ mobile networks as means of communication, information sharing and coordination among a possibly very large set of mobile nodes interconnected by a Wide Area Network (WAN). The majority of those systems thus requires real-time tracking of the mobile nodes, interaction with all participant nodes, as well as means of adaptability in a very dynamic scenario, where it is not possible to predict when, where and for how long the nodes will remain connected. Several studies and real-world applications suggest that OMG's Data Distribution Service (DDS) standard - and corresponding middleware products - enable scalable decentralized solutions for real-time communication between large sets of networked nodes. However, our experiments show that DDS only works well when deployed on a LAN or a highperformance network, drastically loosing its performance when used in a wireless network. In this paper we present a DDS-based communication middleware that supports real-time tracking and communication with several thousands of mobile nodes, wirelessly connected over the WAN, as well as three modes of communication: unicast, groupcast and broadcast. We then show some performance results of our middleware, that demonstrate the viability of extending the real-time communication capacity of DDS also to wireless-connected mobile nodes in a WAN.
COSTA, A.D.; SILVA, V.T.; LUCENA, C.J.P. Proposing innovative modeling of testing related concepts. 9 p. Eng. E-mail: firstname.lastname@example.org
Abstract: As the recognition of systematic software testing increases, there is a need to conceive modeling techniques to explicitly document key concerns associated with test cases. Modeling techniques are known as a good way to perform such documentation, because they provide abstractions and a visual notation to represent testing-specific concerns, therefore facilitating the communication among the members of the project team. Based on this context, this research aims to provide a test conceptual framework that represents relevant test concepts which are not considered by well known test approaches, such as TTCN-3 and UML Testing Profile. From this proposal we intend to reduce overall testing time in systems related to different domains. Industrial systems will be used to test and analyze this new approach.
BARBOSA, S.D.J.; SILVA, F.A.G.; FURTADO, A.L. Early cases of Bertillon, the logic programming sleuth. 46 p. Eng. E-mail: email@example.com
Abstract: The present text has to do with communicative events, whose presence in reasonably realistic plots is no less vital than that of action events. A compact general purpose package is introduced as part of the Logtell plot-composition project. To test the usability of the package, a first effort to specify an application domain belonging to the genre of detective stories was undertaken. Seven criminal cases are reported as examples, with a fairly successful outcome thanks to the participation of M. Maurice Bertillon, an imaginative (and imaginary) French detective and an adept of logic programming, who kindly agreed to use our SWI-Prolog plan-based implementation. In particular, the text indicates how our interactive PlotBoard tool allows to combine, in alternative stepwise fashion, plot sequences produced by plan-generation with choices, extensions and adaptations resulting from the user's intervention.
COSTA, A.D.; SILVA, V.T.; LUCENA, C.J.P. Modeling relevant test concepts from UTPX and secureUMLX. 19 p. Eng. E-mail: firstname.lastname@example.org
Abstract: Documenting software tests is almost as essential as documenting source code itself. As the recognition of systematic software testing increases, there is a need to conceive modeling techniques to explicitly document key concerns associated with test cases. Modeling techniques are known as a good way to perform such documentation, because they provide abstractions and a visual notation to represent testing-specific concerns facilitating the communication among the members of the project team. Based on this context, the goal of the paper is to present a test conceptual framework able to represent relevant test concepts that are not handled by famous test approaches, such as AGEDIS Modeling Language and UML Testing Profile. In order to represent the test concepts proposed by the conceptual framework, the UTP and SecureUML modeling languages were extended. Such extensions were evaluated from a controlledexperiment based on two industrial large-scale systems and that involved participants with different skills and experience on software testing and modeling.
COSTA, M.; FEIJÓ, B..; RESENDE, A.; COUTO, M. Produção e pesquisa aliadas na reestruturação do ambiente escolar. 14 p. Port. E-mail: email@example.com
Abstract: This paper proposes a new model of school where a research center and a production center live in a symbiotic manner. Teaching/learning processes take place in the larger context of production activities, while research activities, besides estab-lishing the grounds for pedagogical practices, give support to production. Firstly, some aspects of Brazilian education that reveal the need for structural changes in the tradi-tional school model are pointed out. This changes are imperative if we are to keep this subsystem of society up with the contemporary world. The proposed model is then presented, followed by some examples of its application in the multimedia path of a technical high school.
BAPTISTA, G.L.b.; ENDLER, M.; VITERBO FILHO, J. Middleware supporting situational awareness in mission-critical scenarios with Rotorcraft. 13 p. Eng. E-mail: firstname.lastname@example.org
SANT'ANNA, F.; RODRIGUEZ, N.L.R.; IERUSALIMSCHY, R. CÉU: embedded, safe, and reactive programming. 40 p. Eng. E-mail: email@example.com
SILVA, B.S..; CARVALHO, G.R.; SANTOS, O.A.R. Adaptação na prática de um setor público às metodologias ágeis. 21 p. Port. E-mail: firstname.lastname@example.org
Abstract: This work approaches the use of agile methodologies in software development in the context of governmental companies based on traditional contracts. Software development in such companies is mostly outsourced, which makes it difficult to hire highly qualified professionals and to efficiently use software development processes. In this paper, we explore this scenario with a case study in the context of Ancine - the national film cinema from Brazil. This study investigates the applicability of agile methods, specifically the Scrum framework, in outsourcing based software development. We present the results of our case study and discuss the current hiring process in governmental companies.
FERREIRA, J.J.; de SOUZA, C.S. Communicating ideas in computer-supported modeling tasks: a case study with BPMN. 17 p. Eng. E-mail: email@example.com
Abstract: The communication role of models in Software Engineering is widely acknowledged. Models tell model readers what model writers propose. Computer-supported modeling (CSMod) traditionally concentrates on helping users build models with various kinds of notations (and annotations). Although such focus on 'representation' is obviously important for the overall 'communication' goal, some design features in CSMod tools may be yet unexplored. This paper presents a study with the use of ARIS EXPRESS in modeling tasks with a business process modeling notation. We report on how we combined various methods to analyze the way in which this tool supports 'communication through models'. Our findings articulate semiotic and cognitive aspects of notations with evidence provided by study participants during tasks and interviews. Our contribution lies not only in the findings, and how CSMod design can evolve in relatively unexplored ways, but also in our methodology, which we believe can be used in similar contexts.
SOUSA, T.A.F.; BARBOSA, S.D.J. How signification and communication systems influence the interpretation of statistical data by users with specific information questions. 15 p. Eng. E-mail: firstname.lastname@example.org
Abstract: Charts can represent and communicate quantitative information more efficently than tables. However, their interpretation requires knowledge of graphic systems, which nowadays can be made more efficient with the aid of interactive computer systems. Based on Semiotic Engineering, this paper reports a study on how communication and signification systems represented by Web visualization tools influence the interpretation of charts. We investigate the users’ abduction and sense-making process through the triangulation of two qualitative methods: Communicability Evaluation Method (CEM) and Think Aloud with co-participation. The first method allowed us to evaluate failures in the reception of the designer-to-user message, revealing features of the computational signs that hinder metacommunication. The second one allowed us to investigate the users' abductive processes during charts creation and to identify problems in understanding and generating chart using the investigated tools.
SOUSA, T.A.F.; BARBOSA, S.D.J. Semantic characterization of visualization mechanisms. 13 p. Eng. E-mail: email@example.com
Abstract: Several researchers have shown the need to create formal meanings of different types of data visualizations. This concern includes not only scientific visualization, but also more general information visualization. Lately, some projects have been conducted towards developing ontologies, creating semantic for visualization and making these representations amenable to computer processing. In this research, we investigated two recent ontologies - VisKo and UK National e-Science Centre - aiming to bring new contributions to the field of information visualization. The goal of our research is to develop an ontology to define relationships between data model, visualizations and user tasks represented by questions. Our ontology involves some usual and unusual data structures that include Cartesian graphs, maps and hierarchical relationships and we defined questions that could be answered by these visualizations.
TARANTI, P.-G.; LUCENA, C.J.P.; CHOREN, R.; BOMMEL, P. Virtual Environment Simulations (VES) with MABS: an approach to tame tardiness in java-based simulation systems. 14 p. Eng. E-mail: firstname.lastname@example.org
SOUSA, H.P.; LEITE, J.C.S.P. Aplicação da Engenharia Reversa e Reengenharia de Software no Desenvolvimento de plugins para a Ferramenta Oryx. 58 p. Eng. E-mail: email@example.com