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.

Espaço público e sociabilidade urbana: apropriações e significados dos espaços públicos na cidade contemporânea

Study public space is studying the city and its dynamics through a representation point. The changes that are observed in these spaces and in the relations established there, or with it, are related to changes that occurred in the city as a whole, in the urban way of living. Study public space allied to urban sociability permits an even better focus on this relation between people in these spaces and with the spaces and in the consequences and fragile aspects this relation can impose to people and cities. This work is aimed towards this relation between public space and urban sociability. Through a conceptual/theoretical discussion aims, specifically, comprehend how to establish and what is the relation between urban space and urban sociability (appropriation/perception of place, tendencies of seclusion), from an isolated analysis of each one of these themes in the contemporaneous city. The Brazilian public space has peculiar characteristics, arising from its historical process of construction, also influenced by the public sphere fragile construction that permeates it, as well as more recent variables such as the sensation of insecurity and commodification of these places. The urban sociability influences and is influenced along all this process of significance and reframing of the public space. The conceptual discussion about each isolate variable provides the necessary coverage for discussion and analysis of the relation between them and the consequence of this relation in the city, such as the notation of relevant experiences of this process of revaluation of the public space. The hereby search is not through a path to reestablish the relation as it already existed, but also for an understanding of the dynamic as is established today and for existing possibilities for maintenance and appreciation of the relation between people and the city by believing in its importance to urban life

Alfabetização de crianças e jovens: superando desafios da inclusão escolar

This work has its genesis in the life of a teacher. It contemplates the report of a great story that expresses the political will of anonymous people who sought/seek to overcome challenges and prejudices, a joint effort to make real the right to literacy. The reported story was developed in the Pedagogic Clinic Teacher Heitor Carrilho, Natal-RN which, concerned about the sentence of 'unable to learn the written language' attributed to children and young public school students, decided to invest in overcoming prejudices and fight against school failure of these underprivileged. The problem that motivated the study was thus set up: What particularities characterize a pedagogical practice which aims to teach literacy to children and youth from public schools, considered not capable of learning the written language? What theoretical and methodological procedures are shown as a boost to literacy in the development of a pedagogical practice systematically targeted to reflect the perspective of educating those students in public schools? Aiming to answer these questions, we conducted a qualitative research having as methodology, Life Stories and Research/Formation. For the construction of the data, it was decided to use the participative observation, semi-structured interviews and document analysis. Guided by the principles of content analysis the data analysis was built, from which emerged two categories: theoretical and methodological procedures aligned to the major axes of literacy and Procedures of the specific theoretical and methodological fundamentals of literacy. As subsets of the transverse procedures others were seized: didactic-pedagogic procedures; social affective procedures. Regarding these ones, the research shows the importance of the teacher to build a relationship of listening to the students and their families in order to organize the pedagogical work, looking at multiple dimensions of the subject: the intellect, the creative, the affective, moral, noting that between the methodology and didactics or as part of it, the links built represent great opportunities to promote literacy. Regarding the specific procedures, others were built: procedures that emphasize oral communication, procedures that favor writing and procedures that privilege reading. Under these procedures, the results of research show that you can only promote literacy if the teacher provides the students effective conditions of understanding the principles of alphabetical notation from the use of various kinds of texts, leading them to comprehend and use them in different contexts. Therefore, instructors must meet the learners' prior knowledge, their language, and the learning real needs that will bring new challenges consistent with their possibilities. The research confirms the importance of the Educational Support extra school. However, it is essential to emphasize that it is a function of the school to promote literacy for all students in the early years of schooling. It is recorded, however, that for the implementation of this desire, we must break the school model characterized by a rigid tradition, in which there is only room for those who learn the content taught in a minimum time. Unfortunately, despite the discourse of inclusion and ensuring the right to education, the school remains exclusive and selective separating the school learning of interpersonal relations and social integration and performance. On the one hand, research showed the difficulties of conducting studies and/or strategies that address the particularities of children and young people believed not capable of learning. On the other hand, the political commitment and motivation have increased the perception that it is possible to mitigate the existing deficits in the educational context, beginning with the everyday teaching practice, in which new knowledge can be learned, methodologies can be improved and, despite everything, the educational success can be built

Investigação histórica na formação de professores de matemática: um estudo centrado no conceito de função

In this study we analyzed the development of a teaching experience, involving students with a bachelor s degree in mathematics from UFRN, based on the history of mathematics and mathematical investigations with the aim of contributing to the improvement of the teaching-learning of mathematics. The historical investigation tasks were planned and applied in the classroom, focusing on functional thought. The results obtained during the experience were described and evaluated based on authors who support the assumption of investigation and history as an alternative to the learning of mathematics. We emphasize that the material of analysis consisted of a work diary, audio recordings, questionnaires with testimony of the students involved, and, in addition, the assessment of the teacher of that subject. With regard to the mathematical content, the study was restricted to the concept of function, forms of representation and notation. It was evident that students showed great improvement with regard to the necessary formalization of the mathematical contents which were focused on, and to the active involvement of the students at different stages of the study. We can affirm that the completed study certainly represents significant contributions to an approach in the teaching-learning of functional thought

Geometria e arirmética numa visão multicultural: uma experiência pedagógica

This paper aims to build a notebook of activities that can help the teacher of elementary school mathematics. Topics covered are arithmetic and geometry and the activities proposed here were developed aiming print them a multicultural character. We take as a base line developed by Claudia Zaslavsky multiculturalism and reflected in his books "Games and activities worldwide" and "More games and activities worldwide." We structure our work around four themes: the symbol of the Olympic Games, the pyramids of Egypt, the Russian abacus abacus and Chinese. The first two themes allow you to explore basic concepts of geometry while the latter two themes allow us to explore numerical notation and arithmetic operations

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

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

A escrita de Roberto Victorio nas peças Aztlan e Chronos III para violoncelo solo

The cello has a prominent place in the music of Roberto Victorio, due to the fact the composer is a cellist and knows the idiomatic and technical aspects of the instrument. This article analyzes the skills and knowledge necessary to the performance of the works Aztlan and Chronos III for solo cello. As methodological procedure the work was built in three stages: at first a study on notation in the works of Victorio was develeped and how the concepts of desperception, timbre, time and space influence his writing. In a second moment the author made an interview with the composer and finally held performances and recordings of works using the concepts researched in the first two steps.

Uma descrição sonora contemporânea do imagético tradicional armorial como subsídio para abordagens interpretativas do ciclo de canções “Visagem” de Nelson Almeida

This study suggests sonorous ambiences from the propose of images configured according to the description in “A Visagem da Moça Caetana” by Ariano Suassuna in order to create individual sonorous possibilities that may help musicians to play the piece. The cycle, composed in 1996 (for voice, viola, cello, bass clarinet/clarinet), is formed by three untitled songs. Its text is an excerpt from the “Folheto XLIV”, from the Romance d’A Pedra do Reino e o príncipe do sangue do vai-e-volta, and describes a sentence of death illustrated by symbols of the Armorial imagery, with neologisms and the peculiar accent from the Sertão in northeast Brazil. In addition to the analysis of technical difficulties to play, this study informs interpreters of the sonorous timbre and texture used by Nelson Almeida to describe tradition through contemporary musical language. The metaphors and transgressions of reason in Suassuna’s book were explored to create three image compositions so that they may lead interpreters to the sonorous description of the inanimate objects and the affections to which the poetry refers, expanding any technical-interpretative indications limited by musical notation. This research used the Visagem scores, the literature on the theme, discussions with the musicians that played the piece, interviews with Almeida, and composers’ reports. To illustrate the theory, the three images are available, printed as woodcut in cordel literature.

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.

Espaço público e sociabilidade urbana: apropriações e significados dos espaços públicos na cidade contemporânea

Study public space is studying the city and its dynamics through a representation point. The changes that are observed in these spaces and in the relations established there, or with it, are related to changes that occurred in the city as a whole, in the urban way of living. Study public space allied to urban sociability permits an even better focus on this relation between people in these spaces and with the spaces and in the consequences and fragile aspects this relation can impose to people and cities. This work is aimed towards this relation between public space and urban sociability. Through a conceptual/theoretical discussion aims, specifically, comprehend how to establish and what is the relation between urban space and urban sociability (appropriation/perception of place, tendencies of seclusion), from an isolated analysis of each one of these themes in the contemporaneous city. The Brazilian public space has peculiar characteristics, arising from its historical process of construction, also influenced by the public sphere fragile construction that permeates it, as well as more recent variables such as the sensation of insecurity and commodification of these places. The urban sociability influences and is influenced along all this process of significance and reframing of the public space. The conceptual discussion about each isolate variable provides the necessary coverage for discussion and analysis of the relation between them and the consequence of this relation in the city, such as the notation of relevant experiences of this process of revaluation of the public space. The hereby search is not through a path to reestablish the relation as it already existed, but also for an understanding of the dynamic as is established today and for existing possibilities for maintenance and appreciation of the relation between people and the city by believing in its importance to urban life