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.

Neuroscience and education: prime time to build the bridge

As neuroscience gains social traction and entices media attention, the notion that education has much to benefit from brain research becomes increasingly popular. However, it has been argued that the fundamental bridge toward education is cognitive psychology, not neuroscience. We discuss four specific cases in which neuroscience synergizes with other disciplines to serve education, ranging from very general physiological aspects of human learning such as nutrition, exercise and sleep, to brain architectures that shape the way we acquire language and reading, and neuroscience tools that increasingly allow the early detection of cognitive deficits, especially in preverbal infants. Neuroscience methods, tools and theoretical frameworks have broadened our understanding of the mind in a way that is highly relevant to educational practice. Although the bridge’s cement is still fresh, we argue why it is prime time to march over it.

O latim, uma língua morta?: uma metáfora em análise: o olhar da lingüística aplicada e suas implicações para o ensino

The focus of this research is the teaching of the Latin language. Due to the fact that its teaching has been facing a growing crisis in the last four decades, which currently persists, we ponder about external and internal causes of its decline, aiming at pointing out an alternative that enable us to find a way out of this situation. So, our research questions mainly concern how the teaching of Latin is viewed amongst the academic society, also investigating if it has kept up with the development of the scientific reflection about human language and the new approaches on language teaching. Furthermore, we analyse the contribution that the study of Latin can provide to the academic formation of language teachers and try to identify the areas of knowledge that can contribute to a reshaping of its teaching. Based on these guidelines, we have established as the goals of this research: 1) to reflect about the current situation of the teaching of Latin and the causes of its decline; 2) to determine its social representation among teachers and students of the Language Courses, as a way of defining the role it fulfills in the academic formation of teachers; 3) to accomplish an exploratory study of some handbooks that show alternative proposals on how to teach Latin, in order to detect their adequacy to current times and to the goals of the academic study of languages; 4) to offer an alternative proposal on how to teach Latin that takes into account the principles of Applied Linguistics, considering the socio-historical and cultural aspects of the language, enabling it to meet the requirements set by modern times. This research is divided into two parts. The first part presents the theoretical framework. We map the studies about Latin teaching inside and outside Brazil and argue against the concept of Latin being a dead language, presenting arguments set on changing this view. Then we describe and comment the notions of literacy, genre and culture, which helped us understand the reasons for the decline of the teaching of Latin and to point out suitable ways to overcome the crisis. The second part is dedicated to reflecting on the literacy practices in Latin teaching. We began by examining the answers to the questionnaires given to students and teachers about the view of Latin in the Language Courses; then we reflect on the teaching-learning of Latin as an academic literacy practice followed by an analysis of the didactic material used in teaching Latin. Finally, we suggest an approach of the familiar letter genre in ancient Rome as a means of teaching Latin in a contextualized way

A escrita do texto acadêmico na graduação: modos de utilização de conceitos teóricos de uma área de conhecimento

In this study we have developed a discussion about academic text production in the undergraduate course of Literature and Languages. Specifically, we are going to analyze the monographic text writing in order to verify the meaning effects created from the ways of showing other s discourses that constitute a written production. As a means to do that, we are going to answer the following question: How does a young researcher make use of a theory in order to be part of a particular scientific community? We aim to: 1) analyze the linguistic resources, like quotations and signs of cohesion that demonstrate the other s voice presence in academic writing; 2) observe the meaning effects produced through the ways that the one who writes shows the other s voice in the written text. Firstly, we have selected 23 (twentythree) monographs produced in the last five years by students from a Literature and Languages undergraduate course in a determined public university. However, in this study, we have analyzed just 02 (two) different monographic texts. To develop such an investigation, we have inquired Kuhn s concept of science, which shows the existence of different meanings of science production in the course of the centuries. It allows us to define academic writing as science production that develops and contributes to knowledge production. With the purpose of restricting the meaning of writing conception, we have relied on Coracini, who assumes that all writing production is the registration of the self, in other words, writing comes from the subject s intervention, it is to say that only an imposition of the self guarantees the subject as author of what he writes. We have as theoretical basis the following concepts: 1-) Authier-Revus s enunciative heterogeneity, that allowed us to analyze the written marks of the other in the monographic writing; 2-) Pêcheux s reformulation-paraphrase and Orlandi s polysemy and paraphrase, concepts that present notions of productivity and creativity as ways of meaning production, and allows us to observe how the process of language production in academic writing is established; 3-) Rossi-Landi s concept of exchange-value and use-value, which consider language as a linguistic work, allowing us to verify the differences between use and social functionality in a determined theory; and 4-) Possenti s notion of authorship indicia, with which we have identified attitudes that make the one who writes author of his own text. We have verified that writing characterized for repetition and reproduction may develop a meaning effect that constructs the idea that writing production promotes an author, a concept or a theory. We have also realized that a written text that restricts itself to reproduce other authors discourses and does not articulate a theory with data analysis or with work methodology, when evaluated is approved and legitimates itself as scientific production. That demonstrates the existence of academic productions that do not develop any functionality of the employed theory. The text works as a means to promote its theoretical concepts, and theory. It is to say that the theoretical foundantion, which usually is a way to argue and sustain scientific production, does not have any function. Thus, we consider that the way someone shows the other s discourse in academic writing may work as a way to underline what the other asserts to the detriment of the researcher s words. This fact allows us to comprehend that a way of writing may evidence a meaning effect of the author s, theory s or theoretical concepts promotion