Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

Um método semi-automatizado para elicitação de requisitos de acessibilidade Web

In the context of Software Engineering, web accessibility is gaining more room, establishing itself as an important quality attribute. This fact is due to initiatives of institutions such as the W3C (World Wide Web Consortium) and the introduction of norms and laws such as Section 508 that underlie the importance of developing accessible Web sites and applications. Despite these improvements, the lack of web accessibility is still a persistent problem, and could be related to the moment or phase in which this requirement is solved within the development process. From the moment when Web accessibility is generally regarded as a programming problem or treated when the application is already developed entirely. Thus, consider accessibility already during activities of analysis and requirements specification shows itself a strategy to facilitate project progress, avoiding rework in advanced phases of software development because of possible errors, or omissions in the elicitation. The objective of this research is to develop a method and a tool to support requirements elicitation of web accessibility. The strategy for the requirements elicitation of this method is grounded by the Goal-Oriented approach NFR Framework and the use of catalogs NFRs, created based on the guidelines contained in WCAG 2.0 (Web Content Accessibility Guideline) proposed by W3C

Interação gestual em ambiente residencial: estudo, concepção e desenvolvimento

Control and automation of residential environments domotics is emerging area of computing application. The development of computational systems for domotics is complex, due to the diversity of potential users, and because it is immerse in a context of emotional relationships and familiar construction. Currently, the focus of the development of this kind of system is directed, mainly, to physical and technological aspects. Due to the fact, gestural interaction in the present research is investigated under the view of Human-Computer Interaction (HCI). First, we approach the subject through the construction of a conceptual framework for discussion of challenges from the area, integrated to the dimensions: people, interaction mode and domotics. A further analysis of the domain is accomplished using the theoretical-methodological referential of Organizational Semiotics. After, we define recommendations to the diversity that base/inspire the inclusive design, guided by physical, perceptual and cognitive abilities, which aim to better represent the concerned diversity. Although developers have the support of gestural recognition technologies that help a faster development, these professionals face another difficulty by not restricting the gestural commands of the application to the standard gestures provided by development frameworks. Therefore, an abstraction of the gestural interaction was idealized through a formalization, described syntactically by construction blocks that originates a grammar of the gestural interaction and, semantically, approached under the view of the residential system. So, we define a set of metrics grounded in the recommendations that are described with information from the preestablished grammar, and still, we conceive and implement in Java, under the foundation of this grammar, a residential system based on gestural interaction for usage with Microsoft Kinect. Lastly, we accomplish an experiment with potential end users of the system, aiming to better analyze the research results

Cartões de saudações em língua inglesa: uma prática de letramento em análise

This research aims at studying the use of greeting cards, here understood as a literacy practice widely used in American society of the United States. In American culture, these cards become sources of information and memory about people‟s cycles of life, their experiences and their bonds of sociability enabled by means of the senses that the image and the word comprise. The main purpose of this work is to describe how this literacy practice occurs in American society. Theoretically, this research is based on studies of literacy (BARTON, HAMILTON, 1998; BAYHAM, 1995; HAMILTON, 2000; STREET, 1981, 1984, 1985, 1993, 2003), the contributions of social semiotics, associated with systemic-functional grammar (HALLIDAY; HASAN 1978, 1985, HALLIDAY, 1994, HALLIDAY; MATTHIESSEN, 2004), and the grammar of visual design (KRESS; LEITE-GARCIA, VAN LEEUWEN, 1997, 2004, 2006; KRESS; MATTHIESSEN, 2004). Methodologically, it is a study that falls within the qualitative paradigm of interpretative character, which adopts ethnographic tools in data generation. From this perspective, it makes use of “looking and asking” techniques (ERICKSON, 1986, p. 119), complemented by the technique of "registering", proposed by Paz (2008). The corpus comprises 104 printed cards, provided by users of this cultural artifact, from which we selected 24, and 11 e-cards, extracted from the internet, as well as verbalizations obtained by applying a questionnaire prepared with open questions asked in order to gather information about the perceptions and actions of these cards users with respect to this literacy practice. Data analysis reveals cultural, economic and social aspects of this practice and the belief that literacy practice of using printed greeting cards, despite the existence of virtual alternatives, is still very fruitful in American society. The study also allows users to comprehend that the cardholders position themselves and construct identities that are expressed in verbal and visual interaction in order to achieve the desired effect. As a result, it is understood that greeting cards are not unintentional, but loaded with ideology and power relations, among other aspects that are constitutive of them.

Física do meio ambiente como disciplina nas licenciaturas em física: proposta de uma unidade didática para ensinar efeito estufa e aquecimento global

In this dissertation we propose a Teaching Unit of Physics to teach content through environmental discussions of the greenhouse effect and global warming. This teaching unit is based on a problem-methodological intervention from the application of the method of the Arch of Charles Maguerez. The methodological foundations of the thesis are embedded in action research and this is structured in five chapters: the first chapter deals with the Physical Environment (FMA) as a subject in Degree Courses in Physics in Brazil, bringing the concern of how this discipline has been taught. We started the first chapter explaining the reasons behind the inclusion of the discipline of Physical Environment in a Physics Degree Courses. Then we did a search on the websites of Institutions of Higher Education, to know of the existence or not of this discipline on curricular. We then analyzed the menus to see what bibliographies are being adopted and what content of Physics are being worked, and how it has been done. The courses surveyed were those of Federal and Federal Institutes Universities. Thus ended the first chapter. Given the inseparability between studies in Physics Teaching and studies on competencies, skills and significant learning, wrote the second chapter. In this chapter we discuss the challenge of converting information into knowledge. Initially on initial teacher training, because even if this is not our focus, the study is a discipline on the upper reaches, therefore, offered to future teachers. Then we talked about the culture of knowledge, where we emphasize the use of a teaching approach that promotes meanings taught by content and make sense to the student. We finished the third chapter, making some considerations on skills and abilities, in order to identify what skills and competencies were developed and worked during and after the implementation of Curriculum Unit. The third chapter is the result of a literature review and study of the radioactive EarthSun interaction. The subjects researched approach from the generation of energy in the sun to topics stain solar coronal mass ejections, solar wind, black body radiation, Wien displacement law, Stefan-Boltzmann Law, greenhouse effect and global warming. This chapter deals with material support for the teacher of the aforementioned discipline. The fourth chapter talks about the arc method of Charles Maguerez; Here we explain the structure of each of the five steps of the Arc and how to use them in teaching. We also show another version of this method adapted by Bordenave. In the fifth and final chapter brought a description of how the method of Arc was used in physics classes of Environment, with students majoring in Physics IFRN Campus Santa Cruz. Here, in this chapter, a transcript of classes to show how was the application of a problem-based methodology in the teaching of content proposed for Physics Teaching Unit from the environmental discussion about the greenhouse effect and global warming phenomena

Especificações e concepções de front-end UHF integrado e multipadrão em tecnologia CMOS 130nm

The Brazilian Environmental Data Collecting System (SBCDA) collects and broadcasts meteorological and environmental data, to be handled by dozens of institutions and organizations. The system space segment, composed by the data collecting satellites, plays an important role for the system operation. To ensure the continuity and quality of these services, efforts are being made to the development of new satellite architectures. Aiming a reduction of size and power consumption, the design of an integrated circuit containing a receiver front-end is proposed, to be embedded in the next SBCDA satellite generations. The circuit will also operate under the requirements of the international data collecting standard ARGOS. This work focuses on the design of an UHF low noise amplifier and mixers in a CMOS standard technology. The specifi- cations are firstly described and the circuit topologies presented. Then the circuit conception is discussed and the design variables derived. Finally, the layout is designed and the final results are commented. The chip will be fabricated in a 130 nm technology from ST Microelectronics.

Fundamentos dos cuidados com crianças e adolescentes: um olhar sobre o Rio Grande do Norte entre 1964 e 1988

Childhood and adolescence care has frequently caused theoretical and methodological discussions. At national level, the way of dealing with this public has always been on the agenda, either by maintaining a paternalistic treatment, or by coercive and repressive expression with which this public is treated. Given the above, this research presents a thorough study of social policies focused on children and adolescents in Brazil, with the overall purpose of investigating how this process of implementation of public policies for poor children and adolescents in the state of Rio Grande do Norte was. In previous studies, it was identified that there are no official records regarding the policy implementation process for this population in the state of Rio Grande do Norte. A retrospective study about the care towards children and adolescents in Brazil was held. It ranged from the XXVIII century, through the period of assistance, until the historical period in which the child started to be considered from the perspective of a policy. Thus, a certain period was framed, so that, through the historical research method, this study could focus on gathering data about the attention focused on childhood and adolescence in the state of Rio Grande do Norte, between the years 1964 and 1988. Data was listed from newspaper files that circulated in the state during period mentioned above. This time framing corresponds to the regency of the National Policy of Child Welfare. In the state of Rio Grande do Norte, the implementation of institutions such as FUNBERN and then FEBEM did not differ from the national standard, since many projects and care programs for poor children and teenagers were executed in this period. The implementation of these institutions revealed the concern of the state in solving the problem of “minors” regarding to situations of abandonment or "delinquency" which they were involved with. However, the kind of protection provided by the state toward this population was based on the current ideology that supported the political system at the time: the military dictatorship. Thus, the main way to provide care to this population was through its institutionalization, through taking children to daycare centres and adolescents to “reeducational” institutes for “minors”.

Motivações semântico-cognitivas e discursivo-pragmáticas no uso de sufixos graduadores nominais

We study the use of nominal suffixes of degree, such as -inho, -ão, -íssimo, -ílimo, -érrimo in written texts in Brazilian Portuguese, by focusing on semantic, cognitive, pragmatic and discourse aspects involved in using these suffixes. In general, we aim to identify semanticcognitive and discourse-pragmatic factors that motivate the usage of nominal suffixes of degree and to contribute for the study of degree in Portuguese class in Basic Education. The theoretical perspective underlying our research is the Linguística Funcional Centrada no Uso, as conceived by group of researchers of Discurso & Gramática (FURTADO DA CUNHA, BISPO, SILVA, 2013; MARTELOTTA, 2011). According to this theoretical model, language model uses the shape of the grammar of a language at the same time they are provisioned for it. In this sense, speech and grammar influence each other. In terms of methodology, we make an eminently qualitative research with quantitative support as evidence of use of trend. It is characterized also by descriptive and interpretive bias of the phenomenon under study. Empirical evidence from our analysis come from a corpus consisting of written texts from Veja magazine, January to June 2011 issues, particularly Carta do Leitor e Gente sections, the latter representative of the Coluna Social magazine. The results of our analysis showed that the use of nominal graders suffixes are related to semantic-cognitive factors (construction of certain text directions, the association more grounded aspects of concrete experience or the more abstract meanings, for example), the discourse-pragmatic issues (range certain communicative purposes, as critique, judge, mock, claim, involving the reader, seeking her membership of a particular point of view). In addition, we found that the use of these morphic elements in genres of the sample analyzed were related to the subjectivity of the writer and the inter-subjective issues involving writer and reader, as Traugott and Dasher (2002). Finally, we contemplate discussion about the approach of our object of study in Portuguese classes in Basic Education.

Padrões de ordenação de constituintes das construções V2/V3 superficiais em cartas pessoais brasileiras dos séculos 19 e 20

In line with the model of grammar competition (Kroch, 1989; 2001), according to which the change in the syntactic domains is a process that develops via competition between different grammars, we describe and analyze the superficial constructions V2 / V3 in matrices / roots sentences of brazilian personal letters of the 19th and 20th centuries. The corpus, composed by 154 personal letters of Rio de Janeiro and Rio Grande do Norte, is divided into three century halves: (i) latter half of the 19th century; (ii) first half of the 20th century; and (iii) latter half of the 20th century. Our focus was the observation of the nature of preverbal constituents in superficial constructions V2 (verb in second position in the sentence) and V3 (verb in third position in the sentence), with a special attention on the position of the subject. Based on the various diachronical studies about the Portuguese ordination standards (Ambar (1992); Ribeiro (1995, 2001); Paixão de Sousa (2004); Paiva (2011), Coelho and Martins (2009, 2012)), our study sought to realize what are empirical ordination standards that involve superficial constructions V2 / V3 and how these patterns structure syntactically within a formal theoretical perspective (Chomsky, 1981; 1986), more specifically, in accordance with studies of Antonelli (2011), and Costa & Galves (2002). The survey results show that the data from the second half of the 19th century – unlike the first and second half of the 20th century data – have a greater balance in relation to the syntactic nature of preverbal constituent (contiguous or not), so that, in this period, the occurrence of orders with the subject in a preverbal position arrives at, at most, 52% (231/444 data); while in the 48% (213/444 data) remaining, the preverbal constituents are represented by a non-subject constituent, almost always an adverbial adjunct. Seen the results, we advocate that the brazilian personal letters of the 19th century have ordination patterns associated with a V2 system and an SV system, configuring, therefore, a possible competition process between different grammars that instantiate or a V2 system or an SV system. In other words, the brazilian letters of the 19th century instantiate a competition between the grammar of Classic Portuguese (a V2 system) and the grammars of Brazilian Portuguese and European Portuguese (an SV system). Therefore, that period is subject to the completion of two distinct parametric markings: (i) verb moved to the Fin core (grammar of Classic Portuguese) and (ii) verb moved to the T core (grammar of Brazilian Portuguese /European Portuguese). On the other hand, in the personal letters of the 20th century (first and second halves), there is a clear increase in ordenation patterns associated with the SV system, which shows more stable.

O agrominerador familiar “Por detrás da Serra” de Parelhas, Seridó do Rio Grande do Norte

Unfavorable climatic conditions to family farming associated to the legal difficulty of retirement for workers who work exclusively in mining are indications provided by previous papers on this topic and guiding of such joint activities in a group that we have decided to call “agromineradores”, who are located “Behind de mountain” of Princess at Parelhas, Seridó do RN. However, in addition to these aspects, the research provides comprehensive analysis and thorough examination of other factors that link these families to such labor association. The theories of Habitus, field and trajectory from Pierre Bourdieu as well as the concept of institutions from Geoffrey Hodgson are central in this paper to explain the inclusion of these part-time farmers in an institutional environment shaped by social structures that influence in the choices of individual and collective behavior and leading to the relevance of the power structures within and outside the family, along with the role of public policies directed to family farmers and miners. The data analyzed showed that there is a crystallized structure that manifests themselves for years in this field, proving the link that exists between these agents and institutions that surround them in the composition of behaviors and routinizing of practices.

Gestão e mapeamento de processos nas instituições públicas: um estudo de caso na Diretoria de Administração de Pessoal da Universidade Federal do Rio Grande do Norte

The new management models have led to the reorganization of institutions today. Much is made in improving the delivery of public services entities, and they have sought to adopt these new initiatives in order to improve the quality of the product or service offered to users. The modernization of the management model at the Federal University of Rio Grande do Norte (UFRN) strengthened by the accession of the institution to GesPública Program, which focuses on the management modernization leading institutions to seek ways to fit to meet the demands proposed the Program. Therefore, the Department of Personnel Administration (DAP) has structured its processes and procedures using the mapping tool processes. This research starts from the question: what were the results obtained with the implementation of the management and process mapping of PAD? It is proposed as a general objective to analyze the management and the mapping of that Board processes, identifying the possible benefits in improving the quality of the services provided to users. The specific objectives to achieve results, are pointed out: describe how you carried out the implementation of the management and process mapping in DAP and how it is working at the moment; examine the line in the relationship between the actions developed by the DAP and modern theories of this theme; identify the evolution of the sector with the measures adopted and the results obtained with the implementation of the mapping tool. In the theoretical framework, it was approached a brief history of the evolution of public administration in Brazil, GesPública program and its importance for process management in public institutions as well as the Management and Process Mapping. The context of the study was the DAP, and participants were managers of the institution in the survey. Data collection was done through the study of the institution's documents, bibliography analysis available on the topic, questionnaires and semi-structured interviews with professionals of the institution involved with the object of study, since its inception until July 2015, when it was finished the search. As a result, were listed: the motivation, importance, benefits and innovations that management and the mapping of processes brought to the institution, point out what has been improved in the service users and the tools used. We also analyze the main problems identified during the implementation of the mapping. As a suggestion, it was analyzed how these procedures can, if possible, be extended to other sectors of UFRN.

Gestão e mapeamento de processos nas instituições públicas: um estudo de caso na Diretoria de Administração de Pessoal da Universidade Federal do Rio Grande do Norte

The new management models have led to the reorganization of institutions today. Much is made in improving the delivery of public services entities, and they have sought to adopt these new initiatives in order to improve the quality of the product or service offered to users. The modernization of the management model at the Federal University of Rio Grande do Norte (UFRN) strengthened by the accession of the institution to GesPública Program, which focuses on the management modernization leading institutions to seek ways to fit to meet the demands proposed the Program. Therefore, the Department of Personnel Administration (DAP) has structured its processes and procedures using the mapping tool processes. This research starts from the question: what were the results obtained with the implementation of the management and process mapping of PAD? It is proposed as a general objective to analyze the management and the mapping of that Board processes, identifying the possible benefits in improving the quality of the services provided to users. The specific objectives to achieve results, are pointed out: describe how you carried out the implementation of the management and process mapping in DAP and how it is working at the moment; examine the line in the relationship between the actions developed by the DAP and modern theories of this theme; identify the evolution of the sector with the measures adopted and the results obtained with the implementation of the mapping tool. In the theoretical framework, it was approached a brief history of the evolution of public administration in Brazil, GesPública program and its importance for process management in public institutions as well as the Management and Process Mapping. The context of the study was the DAP, and participants were managers of the institution in the survey. Data collection was done through the study of the institution's documents, bibliography analysis available on the topic, questionnaires and semi-structured interviews with professionals of the institution involved with the object of study, since its inception until July 2015, when it was finished the search. As a result, were listed: the motivation, importance, benefits and innovations that management and the mapping of processes brought to the institution, point out what has been improved in the service users and the tools used. We also analyze the main problems identified during the implementation of the mapping. As a suggestion, it was analyzed how these procedures can, if possible, be extended to other sectors of UFRN.

O bibliotecário como mediador no processo de transferência da informação para pessoas com deficiência visual

MAIA, Maria Aniolly Queiroz et al. O bibliotecário como mediador no processo de transferência da informação para pessoas com deficiência visual. In: CONGRESSO BRASILEIRO DE BIBLIOTECONOMIA, 24., DOCUMENTAÇÃO E CIÊNCIA DA INFORMAÇÃO, 2011, Maceió. Anais... Maceió: CBBD, 2011

Rising Publication Delays Inflate Journal Impact Factors

Journal impact factors have become an important criterion to judge the quality of scientific publications over the years, influencing the evaluation of institutions and individual researchers worldwide. However, they are also subject to a number of criticisms. Here we point out that the calculation of a journal’s impact factor is mainly based on the date of publication of its articles in print form, despite the fact that most journals now make their articles available online before that date. We analyze 61 neuroscience journals and show that delays between online and print publication of articles increased steadily over the last decade. Importantly, such a practice varies widely among journals, as some of them have no delays, while for others this period is longer than a year. Using a modified impact factor based on online rather than print publication dates, we demonstrate that online-to-print delays can artificially raise a journal’s impact factor, and that this inflation is greater for longer publication lags. We also show that correcting the effect of publication delay on impact factors changes journal rankings based on this metric. We thus suggest that indexing of articles in citation databases and calculation of citation metrics should be based on the date of an article’s online appearance, rather than on that of its publication in print.

Da bancada ao Bureau: análise do desenvolvimento da biotecnologia no Nordeste Brasileiro sob o enfoque de Sistema Regional de Inovação

The starting point of the present work consisted of investigating the development of biotechnology in the Northeast region of Brazil from the perspective of a Regional Innovation System (RIS). The theoretical framework adopted relied on the approaches and concepts presented by the Neo-Schumpeterian perspective. This framework was chosen because, by means of the Innovation System concept, this literature allows us to analyze the relationships and configurations of actors, as well as the role of the state and of social, science and technology, and economic policies in the studied region. The analysis considered four selected dimensions: physical infrastructure, human capital, scientific production, and funding. These variables were chosen because they allow us to verify the possibilities and limitations of developing a biotechnology RIS in the Northeast of Brazil, and these elements would help in answering the question behind this dissertation. The location of the physical infrastructure was determined by means of bibliographic and documental research and interviews with heads of institutions that do biotechnology research. Regarding human capital, the analysis focused on resource training in biotechnology, highlighting graduate courses and research groups in the area. To measure knowledge production, we delimited scientific collaboration among researchers in the field of biotechnology as the focus of this category. For the funding dimension, information was gathered from reports available at the websites of national and state funding agencies. The data was analyzed through method triangulation, involving quantitative and qualitative research stages. To back the analyses, we revisited the integration policies in the area of Science, Technology and Innovation. Our analysis has shown that these policies play a crucial role in the development of biotechnology in the region being studied. The data revealed that the physical infrastructure is concentrated in only three states (Bahia, Ceará, and Pernambuco). In this regard, the Northeast Biotechnology Network (Renorbio) stands out as a strategic actor, enabling states with poor infrastructure to develop research through partnerships with institutions located in another state. We have also verified that the practices involving human resource training and knowledge production are factors that enable the emergence of a regional system for biotechnology in the studied region. As limitations, we have verified the low immersion level of regional actors, the heterogeneity of socioeconomic indicators, the lack of financial resources, and a low innovation culture in the business sector. Overall, we have concluded that the development of a Regional Innovation System in Biotechnology, based on the current regional dynamics, depends on an effective change in the behavior of the social agents involved, both in the national and regional dimensions as well as in the public and private spheres