Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Televisão em solo educativo: educando o olhar

This work supplies a reflection concerning the presence of the daily television in the children s lives. It points with respect to the necessity of the incorporation of the nature of the medias and information in the educative proposals in way to promote the approach of the two areas in the junction of its respective epistemologies. It considers the development of a visual acuity for the student staff, pointing out the paper of the educator as a promoter of this taken over on a contract basis. Therefore, we present a research of field, carried through in some public and private primary schools in Natal and other cities that are part of the Grande Natal , trying to show with what perspective the teachers use the languages in this stage of education, prioritizing the television elements. As elements of the collection of the information, we made use of half-structuralized interviews, beyond comments directed for the moments where the teachers used the television with educative intention. As results, we noticed that some considerable part of the involved educators still don t get to conceive the television as integrating part of the roll of the languages, using this resource in a limited way, restricting to the contact with sets of documentaries and essentially educative productions, besides the use of objectives directed toward the entertainment, forgetting the opened TV, present in the daily lives of the children since the tender age

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

Ambiente de desenvolvimentoweb multiplataforma configurável para robótica educacional

We propose an online configurable multiplatform development environment specifically developed for educational robotics applications. The environment, which appears as an extension of RoboEduc software, allows the programming of several programmable robots to be performed using the R-Educ language. We make it possible for the user to program in the language R-Educ and then translate the code to a language previously registered, compiled and then sent or executed by the robot. To develop this work, we conducted a bibliographic research about the main programming languages used in robotics, as well as their definitions and paradigms, from which it was possible to define a set of patterns considered important for the creation of this environment. Then, in the software development phase, we implemented the development environment, bearing in mind the requirements and functionality defined in the design phase. Finally, to validate the platform, we conducted some trials of programming languages and verificate if the complete cycle was satisfied - registration of language, programming in R-Educ, compilation for the registered language, compilation to the machine code and send the code for the robot

Desenvolvimento de um middleware para comunicação via web services e sua aplicação em sistemas de aquisição de dados industriais

The control of industrial processes has become increasingly complex due to variety of factory devices, quality requirement and market competition. Such complexity requires a large amount of data to be treated by the three levels of process control: field devices, control systems and management softwares. To use data effectively in each one of these levels is extremely important to industry. Many of today s industrial computer systems consist of distributed software systems written in a wide variety of programming languages and developed for specific platforms, so, even more companies apply a significant investment to maintain or even re-write their systems for different platforms. Furthermore, it is rare that a software system works in complete isolation. In industrial automation is common that, software had to interact with other systems on different machines and even written in different languages. Thus, interoperability is not just a long-term challenge, but also a current context requirement of industrial software production. This work aims to propose a middleware solution for communication over web service and presents an user case applying the solution developed to an integrated system for industrial data capture , allowing such data to be available simplified and platformindependent across the network

ÁFRICA(S), MOÇAMBICANIDADE, MIA COUTO: uma varanda para o Índico

Always seen by others eyes, unknown of the languages and other "realities" that constitute, the Africa, specially Mozambique, now (re)invent itself, palimpsestly, in narratives of your griots, narrators and/or storytellers. Our thesis intend, by the review of novel Under the frangipani, to demonstrate that the mozambican writer Mia Couto intends to participate the (re)construction of a devasted nation by war and conflicts, based on belief that the role writer "is to create requisites of a more african thought, to the assessment of your place and your time won't be done from categories created by others" (COUTO, 2005). At first, we show how the mozambican literary system consists itself; then, the insertion of coutian narrative against the prevalence tradition and, also, by the analysis of the constituent elements of the chosen novel, the way how made piece of resistance to reification, objectification of the individuald in the contemporary world , your writing will be present in this sharing of the sensitive. Besides Mia Couto, in our work we'll counting on the lessons of Candido, Noa, Hernandez, Adorno, Paz, Fonseca, Secco, among others studious of african narrative and, specially, Mozambique narrative

Didática do plurilinguismo: efeitos da intercompreensão de línguas românicas na compreensão de textos escritos em português

This exploratory study aims to present some readings as Doyé (2003), Carrasco Perea (2003), Melo Araújo e Sá (2004), Chavagne (2009) and Alas-Martins (2010; 2011) which helped to confirm some ways for showing that a plurilingual environment can enable a trend in improving the understanding of written texts in the mother tongue, and can collaborate on a better perception of the world around a person with all their different nuances. The study describes the methodology and some results of our doctoral research that resulted in the insertion of the experimental discipline called Intercomprehension of Romanic Languages (ILR) in the curriculum in the city of Natal / RN / Brazil, and it was justified because of high functional illiteracy degree among young people up to 15 years old according to the educational data from IBGE research on 2010. The results were verified through an experimental action-research which was characterized by Lewin (1946); Nunan (1992); Thiollent (1994) and Trip (2005) in two schools: Professoara Terezinha Paulino de Lima (municipal school) and Professora Ana Julia de Carvalho Mousinho (State of Rio Grande do Norte), with 95 students from the final years of primary education. The corpus of this research was subjected to a series of condensed techniques like the nonparametric test from Kruskal and Wallis (1952) and the parametric test ANOVA as an effort to provide statistical significance to the analysis of the results indicated in the book of ILR activities. The research presented some skill views about reading comprehension of written texts according to perspective of Ringbow (1987), Giacobbe (1990), Alarcão (1991; 2009a and 2009b), Corder (1992), Castellotti (2001) and Degache (2003), and the possibilities of transfer these skills for learning Portuguese as pointed out by Meissner, Klein and Stegmann (2004); it indicates a positive trend towards the understanding of LM according to analyzing the scores of written tests and texts by participants in solving tasks

As estruturas sociais e econômicas do Império Romano do Ocidente e o estabelecimento do reino dos visigodos nas Galliae Aquitania e Narbonensis

In the year 376 of the Common Era, a tribe of Germanic warriors known as Tervingi , of Gothic extraction, crossed the Hister (Danube) river due south, entering the Roman Empire. They fled the Huns, a nomadic group that came plundering their way from the East. It did not take long for a conflict between the Roman imperial authorities and the refugees to begin. Peace was reached in 382 and, henceforth, the Tervingi would be officially foederati (allies) of the Romans, gaining the right to remain an autonomous tribe inside the borders of the Empire. For the next thirteen years the Tervingi warriors fought beside the Roman imperial armies in every major conflict. Nevertheless, after the death of the emperor Theodosius I in 395, their relations deteriorated severely. In theory, the Tervingi remained Roman allies; in practice, they begun to extort monies and other assets from the emperors Honorius and Arcadius. The sack of Rome by the Tervingi king Alaric in 410 was both the culmination and the point of inflection of this state of affairs. During the 410s the Tervingi warriors would fought again beside the Roman Imperial armies and be rewarded with a piece of land in the southwestern portion of the Gallic diocese. Dubbed Visigoths , they would remain trusted Roman allies throughout the next decades, consolidating their own kingdom in the process. This dissertation deals not only with the institution of the Visigothic kingdom in the southwestern portion of the Galliae but also with the social and economic conditions that hindered the Roman ability to defend their territory by themselves, hence opening opportunities for foederati like the Tervingi to carve out a piece of it for themselves.

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.

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Os discursos sobre a educomunicação na rádio escolar: um estudo etnográfico e m uma escola pública

This research analyzes the discursive construction of Educommunication, from a training course of educommunicators, with teachers and students of school Profº Francisco Ivo Cavalcanti, state public school, geographically located in the city of Natal / RN, studying the constitution of the meanings that educommunication practice in School Radio acquires for trainers and course participants (teachers and students). The socio-historical context in which this research is based corresponds to the new social reality, mediated by information and communication Technologies. These technologies drive the educational institution to train students in the use of different languages that permeate society. But to do so, you must have also enabled teachers to work Communication technology to meet the aspirations of young people and adults who are part of the educational community. The objectives are to identify the conditions of discursive production around the educommunication practice in Radio School, examine the discursive construction of instructors and course participants in Educommunication and its dialogical brands, and see how the course participants relate to their educommunicative practice in the educational contexts, attributing meaning to the place of teachers and students. Therefore, this research uses ethnography applied to the school context as a methodological option, Pecheuxtian Discourse Analysis, the principles of Educommunication, the reflections of Paulo Freire and the concepts of Dialogism in Bakhtin as theoretical contributions. We adopted three areas of knowledge: Language, Communication and Education, in order to produce an analysis committed to the aspects that involve the use of radio in the school environment to promote an educommunicative practice. With this research we have built a web of meanings about the school that we are forming or we want to form in the XXI century, because we used the discourses of teachers and students immersed in new knowledge and practices in order to propel them to be subjects of communication in educational environment for a qualitative transformation of being and doing in school.

Intercompreensão de línguas românicas: uma proposta para a leitura literária plurilíngue no ensino fundamental

The developed research aimed to investigate how students behave on elementary school in a plurilingual context, based on Intercomprehension of Romanic Languages with literary texts in the classroom. The theoretical framework prioritizes authors who consider reading literary text as an essential tool to the formation of reading and writing skills for students, such as: Amarilha (1997; 2003; 2007), Resende (1993), Kleiman, (1999), Villardi (1997), Aguiar (1991), Perrone-Moisés (2000), Lajolo (1993), Zilberman (1991), Cosson (2006), Andrade, Melo-Pfeifer, Santos, (2009), Sá; De Carlo; Antoine (2011), Alas Martins (2014), Doyé (2005), Souza, (2013), and others, according to the intercomprehension approach and plurilingualism. We use questionnaires as a methodological resources for this research, and we applied some activities that was developed based on intercomprehension from literary texts which represent three types of Romanic languages (Spanish, French and Italian), in addition to the participant observation in classes with students of the 8th grade from an elementary public school in the city of Natal (RN). The students could read and (inter) understand some texts of classic literature in those Latin languages and also in Portuguese, whose titles include “D. Quixote de la mancha” by Miguel de Cervantes; “O pequeno príncipe” by Antoine de Saint-Exupéry; and “Pinóquio” by Carlo Collodi. The data analysis shows that students understood the lessons with plurilingual texts as something which goes beyond the structure of language teaching, awakening themselves to the knowledge of new languages and cultures, and linguistic diversity as motivation at the time of understanding and literature as transforming element to Citizen formation of students.

Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.