JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.

Java-XSC : módulo complexo e complexo intervalar

This work aims to develop modules that will increase the computational power of the Java-XSC library, and XSC an acronym for "Language Extensions for Scientific Computation . This library is actually an extension of the Java programming language that has standard functions and routines elementary mathematics useful interval. in this study two modules were added to the library, namely, the modulus of complex numbers and complex numbers of module interval which together with the modules original numerical applications that are designed to allow, for example in the engineering field, can be used in devices running Java programs

Interface gráfica no contexto de teoria dos jogos sob a forma de Java Apples

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

Atribuição de turmas para professores via Beam Search em Java

In the universities, before the start of each school year, is held the distribution of classes among available teachers. Therefore, it is necessary to consider the maximum workweek for each teacher and their preferences for each discipline, to prevent a teacher to give lessons in two separate locations at the same time and to avoid some teachers to become overloaded while others with large clearance. This process, manually performed, is time consuming and does not allow the visualization of other combinations of assignment of teachers to classes, besides being liable to error. This work aims to develop a decision support tool for the problem of assigning teachers to classes in college. The project encompasses the development of a computer program using the concepts of object orientation and a tree search algorithm of a combinatorial nature called Beam Search. The programming language used is Java and the program has a graphical interface for entering and manipulating data of the problem. Once obtained the schedule data of classes and teachers is possible, by means of the tool, perform various simulations and manual adjustments to achieve the final result. It is an efficient method of class scheduling, considering the speed of task execution and the fact that it generates only feasible results

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.

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.

Linguagem, cultura e alteridade: imagens do outro

Language, culture, and otherness are complementary and also confliting issues representing the central debate on childhood and the child who carries the signals of social and/or ethinical of exclusion. The debate on the social still connected to universal and absolute values and trues, therefore the theme needs a reavaliation on the realm of relativism. Questioning the fact that culture and otherness are expressed by language which are not always visible and explicit, requering a close and deep look at many social realities enpoorvered suburbs and rural areas, white and black children, homeless children, we kept their voices and speaches, their images from their own drawings to understand the way the percept mean they live and they are. These children have a word for school, and also about the process and agents to say by many different ways to express how they look their own world and how the world look at them.

Mães ouvintes com filhos surdos: concepção de surdez e escolha da modalidade de linguagem

The aim of this study was to analyze the conceptions that hearing mothers of deaf children have about deafness and relate it to the language mode used by the mother and the child. We interviewed 10 mothers of deaf children, five of whom were prescholars and five of school age. The content was analyzed as to thematic and category types, with emphasis on the categories conception of deafness and choice of language mode . Data analysis showed that one mother seems to see deafness as a disease, another as a difference and the other mothers were found to be somewhere between these two views. In relation to the preferred language mode, half the mothers reported that their children predominantly use signs, the other half uses speech and signs, with the exception of one child who uses only speech. The child whose mother acts as if deafness is a disease uses speech while another one whose mother acts as if deafness is a difference uses speech as well as signs.

Por uma lingüística crítica: linguagem, identidade e questão ética

381

As dimensões da linguagem em livros didáticos de inglês para o Ensino Fundamental I

This article aims at discussing and articulating views of language under sociocultural, dialogic and discourse perspectives, in order to present a theoretical framework as far as the analysis of textbooks of English as a foreign language for the Brazilian Ensino Fundamental I is concerned. Due to the limited number of studies in this field, to the still considerably structural approach of the English language teaching and learning in our country nowadays and to the important mediation role textbooks play in language education, we believe our work can contribute positively to the construction of critical and multiple literacies, which, in turn, can support an active and transformative educacional process in the present times.

Pes no chão e a dança no coração : um olhar fenomenologico da linguagem do movimento

Universidade Estadual de Campinas . Faculdade de Educação Física

Dança em cadeira de rodas : os sentidos da dança como linguagem não-verbal

Universidade Estadual de Campinas. Faculdade de Educação Física

Linguagem corporal de expressão da criatividade e seu (des)envolvimento na educação fisica

Universidade Estadual de Campinas. Faculdade de Educação Física

Experiência e linguagem como estratégias de resistência

Neste artigo visamos apontar, apoiadas em W. Benjamim e G. Agamben, a fragilização do registro da experiência e sua incidência na lógica do poder/violência. Analisamos, pretendendo desmistificar a eficácia dos discursos mortificadores da experiência, a figura do "mulçumano"; - nome que designava os mortos-vivos nos campos de concentração, conforme relato de Primo Levi e outros. Tal figura é emblemática do estado limite a que chegaram algumas pessoas e podem expressar o destino de alguns sujeitos na contemporaneidade. Pudemos identificar nessa posição tanto um movimento na direção da perda do laço identificatório com o semelhante, como uma forma de resistência à violência perpetrada pelo discurso social. Tal resistência consiste em operar uma mimese ao objeto resto, o que permite ao sujeito a manutenção da estrutura fantasmática. Indicamos que, apesar das estratégias do poder, o sujeito reinventa modos de se situar na relação ao Outro, nos quais se fazem importantes a presença e a palavra, incluindo aí a experiência psicanalítica.