Avaliação sistemática de abordagens de derivação de produto

Product derivation tools are responsible for automating the development process of software product lines. The configuration knowledge, which is responsible for mapping the problem space to the solution space, plays a fundamental role on product derivation approaches. Each product derivation approach adopts different strategies and techniques to manage the existing variabilities in code assets. There is a lack of empirical studies to analyze these different approaches. This dissertation has the aim of comparing systematically automatic product derivation approaches through of the development of two different empirical studies. The studies are analyzed under two perspectives: (i) qualitative that analyzes the characteristics of approaches using specific criteria; and (ii) quantitative that quantifies specific properties of product derivation artifacts produced for the different approaches. A set of criteria and metrics are also being proposed with the aim of providing support to the qualitative and quantitative analysis. Two software product lines from the web and mobile application domains are targets of our study

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

POPT: uma abordagem de ensino de programação orientada a problema e testes

There is a growing interest of the Computer Science education community for including testing concepts on introductory programming courses. Aiming at contributing to this issue, we introduce POPT, a Problem-Oriented Programming and Testing approach for Introductory Programming Courses. POPT main goal is to improve the traditional method of teaching introductory programming that concentrates mainly on implementation and neglects testing. POPT extends POP (Problem Oriented Programing) methodology proposed on the PhD Thesis of Andrea Mendonça (UFCG). In both methodologies POPT and POP, students skills in dealing with ill-defined problems must be developed since the first programming courses. In POPT however, students are stimulated to clarify ill-defined problem specifications, guided by de definition of test cases (in a table-like manner). This paper presents POPT, and TestBoot a tool developed to support the methodology. In order to evaluate the approach a case study and a controlled experiment (which adopted the Latin Square design) were performed. In an Introductory Programming course of Computer Science and Software Engineering Graduation Programs at the Federal University of Rio Grande do Norte, Brazil. The study results have shown that, when compared to a Blind Testing approach, POPT stimulates the implementation of programs of better external quality the first program version submitted by POPT students passed in twice the number of test cases (professor-defined ones) when compared to non-POPT students. Moreover, POPT students submitted fewer program versions and spent more time to submit the first version to the automatic evaluation system, which lead us to think that POPT students are stimulated to think better about the solution they are implementing. The controlled experiment confirmed the influence of the proposed methodology on the quality of the code developed by POPT students

ARISupport - Interaction support for augmented reality systems

The communication between user and software is a basic stage in any Interaction System project. In interactive systems, this communication is established by the means of a graphical interface, whose objective is to supply a visual representation of the main entities and functions present in the Virtual Environment. New ways of interacting in computational systems have been minimizing the gap in the relationship between man and computer, and therefore enhancing its usability. The objective of this paper, therefore, is to present a proposal for a non-conventional user interface library called ARISupport, which supplies ARToolKit applications developers with an opportunity to create simple GUI interfaces, and provides some of the functionality used in Augmented Reality systems. © Springer-Verlag Berlin Heidelberg 2005.

Methodology for automatic selection of passes in surface grinding

The main purpose of this work is the development of computational tools in order to assist the on-line automatic detection of burn in the surface grinding process. Most of the parameters currently employed in the burning recognition (DPO, FKS, DPKS, DIFP, among others) do not incorporate routines for automatic selection of the grinding passes, therefore, requiring the user's interference for the choice of the active region. Several methods were employed in the passes extraction; however, those with the best results are presented in this article. Tests carried out in a surface-grinding machine have shown the success of the algorithms developed for pass extraction. Copyright © 2007 by ABCM.

Simulation of needle-type corona electrodes by the finite element method

This paper describes a software tool, called LEVSOFT, suitable for the electric field simulations of corona electrodes by the Finite Element Method (FEM). Special attention was paid to the user friendly construction of geometries with corners and sharp points, and to the fast generation of highly refined triangular meshes and field maps. The execution of self-adaptive meshes was also implemented. These customized features make the code attractive for the simulation of needle-type corona electrodes. Some case examples involving needle type electrodes are presented.

Protecting medical images with biometric information

Medical images are private to doctor and patient. Digital medical images should be protected against unauthorized viewers. One way to protect digital medical images is using cryptography to encrypt the images. This paper proposes a method for encrypting medical images with a traditional symmetric cryptosystem. We use biometrics to protect the cryptographic key. Both encrypted image and cryptographic key can be transmitted over public networks with security and only the person that owns the biometrics information used in key protection can decrypt the medical image. © Springer Science+Business Media B.V. 2008.

A medical information system to manage a cancer database

Cancer is the second main cause of death in Brazil, and according to statistics disclosed by INCA - National Cancer Institute 466,730 new cases of the disease are forecast for 2008. The storage and analysis of tumour tissues of various types and patients' clinical data, genetic profiles, characteristics of diseases and epidemiological data may provide more precise diagnoses, providing more effective treatments with higher chances for the cure of cancer. In this paper we present a Web system with a client-server architecture, which manages a relational database containing all information relating to the tumour tissue and their location in freezers, patients, medical forms, physicians, users, and others. Furthermore, it is also discussed the software engineering used to developing the system.

Efficiency and portability: Guidelines to develop websites

The use of the Internet as a means of ensuring greater visibility for products, services and information offered by companies is gaining strength in recent decades. However, it is known that to ensure satisfaction and subsequent virtual customer loyalty, it is necessary to guarantee the quality of the websites, allowing indiscriminate access regardless of the resources used, as well as rapid responses to possible requests. In order to assist this process, this paper presents a set of guidelines for the development of websites having quality characteristics, efficiency and portability as per ISO 9126 norms. An observational analysis of e-commerce websites was done which showed that they are inadequate as to the proposed guidelines, making them difficult to access available content. Therefore, the adoption of the proposed guidelines can greatly contribute to increasing the quality of websites and, consequently, enable quick and effective access regardless of the resources used.

Constrained intervals and interval spaces

Constrained intervals, intervals as a mapping from [0, 1] to polynomials of degree one (linear functions) with non-negative slopes, and arithmetic on constrained intervals generate a space that turns out to be a cancellative abelian monoid albeit with a richer set of properties than the usual (standard) space of interval arithmetic. This means that not only do we have the classical embedding as developed by H. Radström, S. Markov, and the extension of E. Kaucher but the properties of these polynomials. We study the geometry of the embedding of intervals into a quasilinear space and some of the properties of the mapping of constrained intervals into a space of polynomials. It is assumed that the reader is familiar with the basic notions of interval arithmetic and interval analysis. © 2013 Springer-Verlag Berlin Heidelberg.

Adolescência e escolha profissional: a escuta de um impasse

A escolha de uma profissão na fase da adolescência, quando considerada as especificidades desse ciclo do desenvolvimento, as diversas profissões existentes e ainda as práticas atuais em orientação vocacional, as quais tentam favorecer a eleição de uma dada profissão exige atenção, considerando-se campo fecundo para debates e investigações científicas. Neste estudo, através de uma pesquisa bibliográfica embasada nos escritos de Freud e de autores contemporâneos, assim como na escuta de adolescentes enquanto psicóloga atuando como orientadora vocacional ao longo de 15 anos de trabalho, refletiu-se sobre a problemática do adolescente diante da necessidade dessa tomada de decisão, propondo-se uma prática de escuta em orientação vocacional que possa permitir a compreensão do impasse do adolescente nesta tarefa e contribua a ampliação desse olhar, considerando essa escolha como um fenômeno multideterminado, que deve ser percebido tanto a partir do sujeito, quanto em relação ao momento sócio-cultural em que ele vive.

A política salarial dos professores da rede pública no contexto da municipalização do ensino no Estado do Pará

A Dissertação trata sobre a política salarial dos professores municipalizados do município de Tucuruí do Estado do Pará. Objetiva avaliar a política salarial dos professores no contexto da municipalização do ensino e tenta contribuir com a avaliação da política educacional no Pará, no período entre 1997 a 2008. Procuramos analisar dinamicamente, a política salarial face ao caráter da política educacional do programa de “descentralização”, desenvolvido nas reformas do Estado brasileiro, executado pelo Ministério da Educação, desde o governo de Fernando Henrique Cardoso. Assim, a investigação atentou para modelos de políticas de financiamento de orientação nacional concentrada no MEC. O estudo aponta contradições na relação do projeto nacional de municipalização com a gestão local em que a política salarial dos professores sofre perdas na remuneração. A questão norteadora do estudo acontece frente à instigação da existência de alterações nos salários dos professores a partir do momento que foram cedidos da rede estadual para o município de Tucurui, local da pesquisa. A partir deste local, analisamos documentos, fatos cotidianos da escola; realizamos entrevistas com os sujeitos da pesquisa como os professores, técnicos, secretário de educação e indicalistas do SINTEPP. Então, o estudo indicou que a política salarial dos professores sofreu alterações; progressiva extinção destes da folha ativa de pagamento da SEDUC e marcas de ilegalidade frente ao ato de cedência ao município que nos fizeram observar um modo imposto na condução da política municipalista no Pará. No contexto desta política avaliamos haver ajustes ideológicos de cunho conservador e neoliberal concretizados nos acordos entre o governo do Estado e a prefeitura.

Desenvolvimento de aplicativos usando reconhecimento e síntese de voz

A fala é um mecanismo natural para a interação homem-máquina. A tecnologia de processamento de fala (ou voz) encontra-se bastante avançada e, em escala mundial, existe vasta disponibilidade de software, tanto comercial quanto acadêmico. a maioria assume a disponibilidade de um reconhecedor e/ou sintetizador, que pode ser programado via API. Ao contrário do que ocorre, por exemplo, na língua inglesa, inexiste atualmente uma gama variada de recursos para o português brasileiro. O presente trabalho discute alguns esforços realizados nesse sentido, avaliando a utilização da SAPI E JSAPI, que são as APIs da Microsoft e Sun, respectivamente. Serão apresentados, outrossim, exemplos de aplicativos: uma aplicação CALL (baseada em SAPI) usando síntese em inglês e português, reconhecimento em inglês e agentes visuais; e uma proposta para agregar reconhecimento e síntese de voz ao chat IRC através de APIs Java.

Metodologia para aplicação de reuso e reengenharia nos softwares de aquisição e redução de dados de um túnel de vento

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Acesso remoto seguro de experimentação em tempo real

Pós-graduação em Engenharia Elétrica - FEIS