Avalição de reusabilidade de aplicações web baseadas em frameworks orientados a ações e a componentes: estudo de Caso sobre os Frameworks Apache Struts e JavaServer Faces

Over the years the use of application frameworks designed for the View and Controller layers of MVC architectural pattern adapted to web applications has become very popular. These frameworks are classified into Actions Oriented and Components Oriented , according to the solution strategy adopted by the tools. The choice of such strategy leads the system architecture design to acquire non-functional characteristics caused by the way the framework influences the developer to implement the system. The components reusability is one of those characteristics and plays a very important role for development activities such as system evolution and maintenance. The work of this dissertation consists to analyze of how the reusability could be influenced by the Web frameworks usage. To accomplish this, small academic management applications were developed using the latest versions of Apache Struts and JavaServer Faces frameworks, the main representatives of Java plataform Web frameworks of. For this assessment was used a software quality model that associates internal attributes, which can be measured objectively, to the characteristics in question. These attributes and metrics defined for the model were based on some work related discussed in the document

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Teodora e Porcina: faces simbólicas da natureza em narrativas de mulheres sábias

This research looks at the collective imagination in which it keeps alive the issue of heroin wise. Two wise women appear in the narratives of popular history and the History of Donzela Theodora and History Imperatriz Porcina, collated by Luís da Câmara Cascudo in his Five Books of the People. The universality, mobility and circularity of these narratives are discussed by authors such as Bakhtin and Guinzburg. The research is developed from three key categories: Knowledge Magic as the knowledge of tradition (Almeida), sensitive knowledge (Levi-Strauss), thought mythical / magical / symbolic (Morin); Wise Women as carriers of this knowledge, which merge and overlap with the imagery of witches and healers; and Mythical Elements which corresponds to the archetypal images (Jung and Silveira), symbols and other images that relate to the magic universe, the magical beliefs and practices considered, ie belonging to the imaginary magic (Bethencourt). Porcina and Theodora are understood as bearers of knowledge of Métis (Detienne and Vernant), or the cunning intelligence, the manipulation of phármakon (Derrida), the healing potion, which may be the word or ointment of the herb. The route takes us to meet the great archetype of the Wise Woman as psychic power of the feminine, the anima. Narratives are medicinal balms (Estes) and is the clash between the anima and its embodiments by wise women, and animus, his opponents, which gives the transmutation of the psyche, a work comparable to that of alchemyThe Knowledge Magic, operating through the female, myth and nature can recover from its essential value to the emerging paradigm that suggests a more complete human science and a more plural

SINAES: as diferentes faces da avaliação na UFRN

This thesis entitled SINAES: the different faces of the evaluation at UFRN, aims to analyze the configuration that the national policy for assessment in higher education has taken on UFRN. We assume that in recent years there are an oscillation between the concepts of evaluation, according with the logic of public administration it has preferred an approach that presents itself as a promoter of quality, sometimes with regulatory aspects, sometimes with educational ones. The text discusses the use of the new assessment tools for higher education placing them under the new demands on state reform context in which this is to promote and measure quality based on the values of excellence and competitiveness. This movement arises from the redefinition of the role of the State that has been taking features of Evaluator State. From a historical review of government initiatives in the field of evaluation, we analyze the characteristics of assessment policies outlined over the past decades. We are based on the theoretical method that aims to examine the multiple determinants that shape a particular reality from the larger movement of totality. To identify, in this case, connections and ruptures that have emerged over the history of assessment policies aimed at higher education by checking their determinants in order to better explain the reality. To investigate the object of this study we used as instruments: the research literature and research documents, the semi-structured interviews and non-participant observation. The study revealed that there are different practices of evaluation and that before to establishment the SINAES program, the UFRN already had a culture of an institutional assessment, more participatory and democratic, opposing to the rigidity of the self-assessment in SINAES program that it was instituted by the Commission for assessment (CPA). We also noticed that the implementation of the SINAES at URFN has been performed very slowly and the breadth and complexity of the evaluation process has contributed to hinder its implementation in all dimensions provided by MEC. Although it was observed that in its operationalization the SINAES has assumed a more normative assessment and directed to establish rankings between courses and higher education schools than to establish a more qualitative assessment in this system. As regards the evaluation of the undergraduate course studied on this research and subjected to the three dimensions of evaluation proposed by SINAES (self-assessment, Evaluation of Courses and ENADE) it was not possible to verify an effective integration between the methods of assessing conducted. The results are considered separately, in only a partial view of the course evaluated the proposal what pits the SINAES as a system that involves the totality

Uma perspectiva de extensão do modelo de aceitação de tecnologia para explicar o uso de linguagens de desenvolvimento WEB: pesquisa com desenvolvedores Pyton e Java

The spread of the Web boosted the dissemination of Information Systems (IS) based on the Web. In order to support the implementation of these systems, several technologies came up or evolved with this purpose, namely the programming languages. The Technology Acceptance Model TAM (Davis, 1986) was conceived aiming to evaluate the acceptance/use of information technologies by their users. A lot of studies and many applications have used the TAM, however, in the literature it was not found a mention of the use of such model related to the use of programming languages. This study aims to investigate which factors influence the use of programming languages on the development of Web systems by their developers, applying an extension of the TAM, proposed in this work. To do so, a research was done with Web developers in two Yahoo groups: java-br and python-brasil, where 26 Java questionnaires and 39 Python questionnaires were fully answered. The questionnaire had general questions and questions which measured intrinsic and extrinsic factors of the programming languages, the perceived usefulness, the perceived ease of use, the attitude toward the using and the programming language use. Most of the respondents were men, graduate, between 20 and 30 years old, working in the southeast and south regions. The research was descriptive in the sense of its objectives. Statistical tools, descriptive statistics, main components and linear regression analysis were used for the data analysis. The foremost research results were: Java and Python have machine independence, extensibility, generality and reliability; Java and Python are more used by corporations and international organizations than supported by the government or educational institutions; there are more Java programmers than Python programmers; the perceived usefulness is influenced by the perceived ease of use; the generality and the extensibility are intrinsic factors of programming languages which influence the perceived ease of use; the perceived ease of use influences the attitude toward the using of the programming language

Análise de desempenho de sistemas distribuídos de grande porte na plataforma Java

The lava Platform is increasing1y being adopted in the development of distributed sys¬tems with higb user demando This kind of application is more complex because it needs beyond attending the functional requirements, to fulfil1 the pre-established performance parameters. This work makes a study on the Java Vutual Machine (JVM), approaching its intemal aspects and exploring the garbage collection strategies existing in the literature and used by the NM. It also presents a set of tools that helps in the job of optimizing applications and others that help in the monitoring of applications in the production envi¬ronment. Doe to the great amount of technologies that aim to solve problems which are common to the application layer, it becomes difficult to choose the one with best time response and less memory usage. This work presents a brief introduction to each one of tbe possible technologies and realize comparative tests through a statistical analysis of the response time and garbage collection activity random variables. The obtained results supply engineers and managers with a subside to decide which technologies to use in large applications through the knowledge of how they behave in their environments and the amount of resources that they consume. The relation between the productivity of the technology and its performance is also considered ao important factor in this choice

Ulisses e Narciso: as faces da alma humana através do discurso mítico nas Enéadas de Plotino

This dissertation, witch studies the myth in Plotinus, attempts to set an approach to the comprehension of the mythic discourse as image related to the ethical process in the Enneads. In order to achieve it, the analysis of the mythic narrative will be employed in the philosophical context that has as a starting point a revisit of the platonic poetic conception. As central questions the notable mythological figures of Narcissus and Ulysses will be utilized to put into context the notion of the Plotinian soul and its endeavor of returning to the originary unity. Therefore, by following the course of both figures in their respective narratives, it conceives a possible relation of ascension and fall of the soul. The first part of this study intends to show Plato s interpretation on the myth and Plotinus standpoint in regard to it. Moreover, it observes Plato s criticism on poetry in the context of the Greek Paideia and the notion of the myth as image of the henological structure in Plotinus, who perceives in the myth its exemplifying nature. The second part attempts to structure Plotinus philosophy, contrasting Henology and Ontology, therefore exposing the three hypostases and the comprehension of the intelligible. The third part endeavors to display the sense of the myth, the idea of the myth as image in Plotinus and the roles of the mythical figures in the Enneads

A trapaça é rara, mas é bem lembrada: o efeito da cor da pele e do gênero na memória de faces

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

As Faces e os Disfaces da Informalidade no Capitalismo Conteporâneo: Um Estudo do Comércio de Rua em Pau dos Ferros/RN

This paper discusses the expression of informality in contemporary capitalism. Thematic of relevance to the analysis of the reality of work today and the logic that moves the capital, its real presence in the lives of individuals. The street trading of Pau dos Ferros town, popularly known as "street market" was chosen as the search space. The main objective is to seize and examine the articulations and logic, present in the configuration of the street trading of this city, located in the state of Rio Grande do Norte, explaining the functionality of informality for capitalist accumulation, but also for the reproduction of segments of the working class. Our analysis is based in the perspective of totality, trying to grasp the historical determinations of the phenomenon in focus. It includes the analysis of the mechanisms used by the capital to reproduce itself in the current historical context, which has been implicated in the composition of the labor markets of different countries and in various forms of exploitation to which workers in general are subject. It also means discussing the development of capitalism in Brazil, the logic that permeates its dependence, and especially the use of over-exploitation of labor, as a lever for internal accumulation. The course of investigation consisted of theoretical research to form the basis of theoretical and methodological analysis and to outline the context in which our research object is inserted, and field research conducted in two phases: systematic observation, which allowed to map traders features and the infrastructure of commerce, and the conduction of interviews with key informants. The material collected was scrutinized according to analytical scheme inspired by the content analysis. Among the main considerations developed from the research process we include: the street trading of Pau dos Ferros remains shrouded in the majority sale of agricultural products, this demonstrates the structural characteristics of the region. However, the supply of this product is no longer restricted to the excess of small local producers. The presence of the dealer changed the distribution of the product, streamlining it. In parallel, business practices are developed, practices in which traded goods (industrial) reflect the moment of capitalist restoration, a larger business network. The reflections also made it possible to show that street trading follows developing on the basis of informal work, which gains functionality to the system, as it is configured as a space commonly used to drain part of the production, of industries (clothing/shoes), especially if the distribution is considered as an essential element of the complex process that aims at capital appreciation. This activity has been functioning as a place of employment and income generation for the subjects who are away from formal employment, masking, this way, unemployment, moreover, they allow them to continue as consumers. Such expressions reflect the ability and the logic of capital to expand and aggregate into so many realities. It is underway today, the logic that has led many workers to join the project of domination of capital, by the illusory chance to become capitalists. The aim has been to turn the subject into a consumer and the worker an enterprising

A assistência estudantil e as cotas sociais nas universidades estaduais do nordeste: as faces do acesso ao direito

This paper discusses about the higher education in Brazilian society highlighting the struggle of the working class, as concerning the access to public universities, as well as highlights the contradictions implicit in social quotas adopted by Higher Education Institutions (HEIs) . The aim of this paper is on presenting the analysis of student assistance of the state universities in the Northeast that adopt quotas as social criteria of access for its students , presenting investigative locus as the following universities : UERN , UEPB , UPE and UNEAL . The paper presents the results of a qualitative study , based on a documentary analysis , based on dialectical and historical materialism in which she performed the reading of data from the following analytical categories: Higher Education, Social Quotas and Student Assistance. As main results, it is emphasized that the implementation of quotas as a means of access to higher education was not decisive for the form of planning and implementation of student assistance the university investigated; latent heterogeneity is that universities deal with actions to support student residence. And it is this heterogeneity and the variation in the conduct and understanding of student assistance , reflecting the lack of prioritization with the actions of the context of HEIs ; support programs are to stay focused on central campuses which are located the administrative offices of the universities, penalizing students enrolled in advanced units; also highlight that there is no link between the programs and projects related to student assistance with actions related to teaching, research and extension in universities investigated , which ultimately characterize the student assistance as an isolated action and punctual

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.

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem