A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

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

CALV3 - Uma linguagem específica de domínio para segurança em sistemas corporativos: um estudo de caso sistemático na indústria

The academic community and software industry have shown, in recent years, substantial interest in approaches and technologies related to the area of model-driven development (MDD). At the same time, continues the relentless pursuit of industry for technologies to raise productivity and quality in the development of software products. This work aims to explore those two statements, through an experiment carried by using MDD technology and evaluation of its use on solving an actual problem under the security context of enterprise systems. By building and using a tool, a visual DSL denominated CALV3, inspired by the software factory approach: a synergy between software product line, domainspecific languages and MDD, we evaluate the gains in abstraction and productivity through a systematic case study conducted in a development team. The results and lessons learned from the evaluation of this tool within industry are the main contributions of this work

LWiSSy: uma linguagem específica de domínio para modelagem de sistemas de redes de sensores e atuadores sem fio

The field of Wireless Sensor and Actuator Networks (WSAN) is fast increasing and has attracted the interest of both the research community and the industry because of several factors, such as the applicability of such networks in different application domains (aviation, civil engineering, medicine, and others). Moreover, advances in wireless communication and the reduction of hardware components size also contributed for a fast spread of these networks. However, there are still several challenges and open issues that need to be tackled in order to achieve the full potential of WSAN usage. The development of WSAN systems is one of the most relevant of these challenges considering the number of variables involved in this process. Currently, a broad range of WSAN platforms and low level programming languages are available to build WSAN systems. Thus, developers need to deal with details of different sensor platforms and low-level programming abstractions of sensor operational systems on one hand, and they also need to have specific (high level) knowledge about the distinct application domains, on the other hand. Therefore, in order to decouple the handling of these two different levels of knowledge, making easier the development process of WSAN systems, we propose LWiSSy (Domain Language for Wireless Sensor and Actuator Networks Systems), a domain specific language (DSL) for WSAN. The use of DSLs raises the abstraction level during the programming of systems and modularizes the system building in several steps. Thus, LWiSSy allows the domain experts to directly contribute in the development of WSANs without having knowledge on low level sensor platforms, and network experts to program sensor nodes to meet application requirements without having specific knowledge on the application domain. Additionally, LWiSSy enables the system decomposition in different levels of abstraction according to structural and behavioral features and granularities (network, node group and single node level programming)

Códigos de sustentação da linguagem no cotidiano prisional do Rio Grande do Norte: penitenciária estadual de Parnamirim

The quarrel, in this study, tells about the language as social practical in the daily of Parnamirim State Prison that is integrated to the Rio Grande do Norte Penitentiary System - SISPERN, destined for men in fulfilment of penalty privative of freedom, in closed regimen. For the accomplishment of the research, the delimited objectives had been to analyze the language repertoires created in the prisional daily, trying to identify how it´s turned into distinct forms of resistance to the mechanisms of control in penitentiary system; to investigate which are the language repertoires created from the new sociability forms developed among prisoners and identify how the language repertoires are expressed in the daily prisional on relations/exercises of power not-institutionalized. In the methodological aspect, the study is in a qualitative boarding, that has as main instrument the interview. The inquiry was possible by means of using instruments for data collection, like as: the direct comment in the prisional daily duly registered as researcher´s ethnographical procedure, the analysis of interns´ cadastre handbooks and the application of half-structuralized interview, to the subjects of the research. The construction and understanding of the study object had been based on authors who argue on the arrest, as: Foucault, Goffman, Carvalho Filho and, in particular was searched the theorical referencial that approaches the language in a social and cultural perspective: Orlandi, Manfred, Bastos and Candiotto, amongst others. Beyond the normative endorsement of the Brazilian legislation, through the Law of Criminal Execution, of the Criminal Code and the Federal Constitution of the country and the legal apparatus in state scope. Still in the research methodological perspective, after the collection the data had been submitted to an analysis of the speech from Foucalt´s theory and in the Orlandi´s perspective, being also qualitative and quantitative. The results had evidenced that the social and juridical profile of the population in the site inquired is not different of others Brazilian prisons, composed for men, in its majority, with age band between 21 and 30 years old, prisoners for practicing crimes against the patrimony, against life, amongst others, and, in special, criminal recidivists. It evidenced, still, that the daily prisional of PSP is characterized for a sociocultural diversity expressed in the relations of power not institutionalized, that contributes for the formation and division of the groups, each one using a set of language codes/ repertoires sustentation. Therefore, the language, in the daily prisional, is one of the ways to understand the singularity of the sociability relations and as social practicing mediated by relations/exercises of power and antagonistic interests, in which each group aims first of all, their own interests. It represents the complexity of the social relations, in the prisional space, with diverse effects, in function of the situation and the moment. The language in the arrest, beyond the communication function, assumes and represents central element for the sociability human being, contributes for its changings and it´s configured as one of the resistance forms of prisoners against the controling, disciplining and monitoring mechanisms of penitentiary system

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

Crítica ao fundacionismo cartesiano com base no argumento contra a linguagem privada

This assignment ains to prove the pertinency of using the wittgenstein´s argument against private language as a criticism to cartesian fundacionism. Therefore, I want to demonstrate in the first chaper the conceptual viability of facing the cartesian argument of cogito not as a simple silogism but as an exemple of a private experience (process of thinking). At the second chaper, the subordination of the argument against private language give us the idea that rules can only be followed by means of corrections givem by a linguistic community that is external to the private subject, in a way to be unviable the assumption that is possible to name an internal experience without searching external rules of the use of terms. At the chaper 3 the pertinency of the hypothesis raised by A. Kenny, about the overtaking of the argument against private language can be extended to the idea of epistemic and ontologic privacy that would lend validity to the fundacion present at the argument at the cartesian cogito. In oder to become evident the pertinency of use of Wittgenstein´s argument agaist Descartes´ fundation, it´s necessary, at the chaper 3, to demonstrate the impertinency of the objection to the A. Kenny´s hypothesis, based on the experiency of the thought of the brain at the recipient, to make clear the incompatibility existing between the cartesian idea of cogito and Wittgenstein´s notion that language is an activitie followed by rules, wich correction criterion may be external and intersubjective

Identidades coletivas de estudiosos da linguagem no currículo lattes: docência, pertença social e capital cultural-acadêmico

The discussion involving the identity of social actors has taken place for some years, however, it has become significant for the discourse studies over the last years due to the fragmentation of postmodern actors. Understanding the identity as a symbolic concept that can aid in the detection of certain realities - a kind of mechanism / a magnifying glass (MERLUCCI, 1985) - you can check the linguistic materiality of the introductory text of the lattes resume as a adequate place for the formation of collective identities . The aim of this dissertation is to reflect, in a time of postmodernity, through the lattes introductory curriculum texts, the collective identities of the language researchers are portrayed in discursive and social practices based on the accumulation of cultural and academic capital. For analysis, surrounding the indisciplinary posture in Applied Linguistics (MOITA-LOPES, 2006), the descriptive / interpretive methodology was used (MAGALHÃES, 2001). Whereas the study method and the social theory, as state reasons of the research makes use of the Sociological Approach and Communicational Discourse, chain linked to the assumptions of Critical Discourse Analysis (PEDROSA, 2012a). The corpus is constituted of twenty-seven introductory texts from the lattes curriculum of language researchers, connected to three institutions of higher learning in Sergipe. After the collection, on the lattes platform, and the numbering of the curriculum in order to achieve the research objective, we performed the analysis based on three identity themes: teaching, social belonging (BAJOIT, 2006; DESCHAMPS; MOLINER, 2009) and the accumulation of academic-cultural capital (BOURDIEU, 2004; HEY, 2008). The data show that the texts of the lattes curriculum are based on hegemonic and ideological principals, referring to the accumulation of academic assets, the valuation of actors and the hierarchical positions, recognized and ratified by couples who socialize among themselves Right now, the research allows us to infer that, in postmodernity, some collective identity assumptions, contribute to the understanding of the academic reality, around the the lattes curriculum.

Uma linguagem de descrição arquitetural baseada em uma arquitetura de referência para sistemas ubíquos

A computação ubíqua é um paradigma no qual dispositivos com capacidade de processamento e comunicação são embutidos nos elementos comuns de nossas vidas (casas, carros, máquinas fotográficas, telefones, escolas, museus, etc), provendo serviços com um alto grau de mobilidade e transparência. O desenvolvimento de sistemas ubíquos é uma tarefa complexa, uma vez que envolve várias áreas da computação, como Engenharia de Software, Inteligência Artificial e Sistemas Distribuídos. Essa tarefa torna-se ainda mais complexa pela ausência de uma arquitetura de referência para guiar o desenvolvimento de tais sistemas. Arquiteturas de referência têm sido usadas para fornecer uma base comum e dar diretrizes para a construção de arquiteturas de softwares para diferentes classes de sistemas. Por outro lado, as linguagens de descrição arquitetural (ADLs) fornecem uma sintaxe para representação estrutural dos elementos arquiteturais, suas restrições e interações, permitindo-se expressar modelo arquitetural de sistemas. Atualmente não há, na literatura, ADLs baseadas em arquiteturas de referência para o domínio de computação ubíqua. De forma a permitir a modelagem arquitetural de aplicações ubíquas, esse trabalho tem como objetivo principal especificar UbiACME, uma linguagem de descrição arquitetural para aplicações ubíquas, bem como disponibilizar a ferramenta UbiACME Studio, que permitirá arquitetos de software realizar modelagens usando UbiACME. Para esse fim, inicialmente realizamos uma revisão sistemática, de forma a investigar na literatura relacionada com sistemas ubíquos, os elementos comuns a esses sistemas que devem ser considerados no projeto de UbiACME. Além disso, com base na revisão sistemática, definimos uma arquitetura de referência para sistemas ubíquos, RA-Ubi, que é a base para a definição dos elementos necessários para a modelagem arquitetural e, portanto, fornece subsídios para a definição dos elementos de UbiACME. Por fim, de forma a validar a linguagem e a ferramenta, apresentamos um experimento controlado onde arquitetos modelam uma aplicação ubíqua usando UbiACME Studio e comparam com a modelagem da mesma aplicação em SySML.

O canto dos vestibulandos em 140 caracteres: linguagem e construção de identidades no Twitter

The revolution caused by the internet and its various social networks eventually bring forth fruitful reflections on cyberculture and the power of identity construction. What seemed purely fashion has become way of being, representation of self, reality creation (Lévy, 1996). Considering language as a social phenomenon, which occurs through interaction, as explicit in Bakhtin (1929), the speech aired on social networks shapes the profile of their users, constructing identities which, according to Hall (2006), are multiple and non-permanent . This research seeks to examine the use of Twitter by school students, developing a reflection on the construction of their own identities in cyberspace. The subjects are students of Educandário Nossa Senhora das Vitórias, private school in Assú/RN, all graduates from high school. Understanding the Vestibular year as a decisive and a reflection engine ever present about their condition of students, subjects eventually express their anxieties, fears and perspectives in the virtual environment, providing us with enough material to analyze how they are high school students, expectations for appropriate selection processes, plus several representations belonging to the school environment. From the discourse conveyed on Twitter expressed in Featured posts, this study reveals the identities of high school students that emerge from it, which led the cast of some evidence. From them, despite the multiplicity of identities observed, presented some common aspects that corroborate the requirements provided for specific objectives, such as: feeling of belonging to a group - class and school; change of routine and behavior towards education; desecration of traditional teaching practices; changing the identity of students'writings. The analysis of postings enables us to know the perceptions of students regarding the school, the disciplines , the pace of studies, interest in school practices, and from such evidence, the perception of how vestibular modify your daily life and a fondness their identities as school students.

Narratividade e estruturas cognitivas: o encontro entre a linguagem, a cognição e a experiência sociocultural

This work is within the framework of Cognitive Linguistics, which, as opposed to generative modular approach posits that language is not autonomous but part of human cognition manifest mental processing, socio-cultural and bodily experiences. Our goal is to describe and analyze cognitive mechanisms of understanding who work in the formal and meaningful organization of the narrative. In order to study and verification of this phenomenon, this project was based in the theoretical framework of Rapaport et al (1994) with the treatment of deictic center, Zwaan (1999) and Zwaan and Radvansky (1998) with situation models, Minsky (1974) with the concept frame, Johnson (1987) and Duke and Costa (2012) with pictorial schemes. To this end, we focused on the deictic perspective (WHERE, WHEN, WHO), social cognitive structures (frames) and body (pictorial diagrams) and the situation of models built by compreendedor from these cognitive structures. Methodologically, it is a qualitative research (BAUER and GASKELL, 2002), of interpretive base (MOITA LOPES, 1994), based on introspection (Talmy, 2005). The corpus selected is a sample of twelve texts written by 8th grade students, whose production consists of fictional narrative, the production of diary pages. The analyses were conducted by cognitive structures known as constructional blocks (BCs)(SANTOS, 2011), which guid the discussion about how we build understanding and creation of meanings in narratives. The result shows that the narrative events are mentally represented by the understander that conceives a deictic center and that, guided by it, has access to understanding and construction of meaning in narrative by means of cognitive domains established by bodily and socio-cultural experiences.

Uma linguagem para descrição de missões em sistema-de-sistemas

Sistema-de-sistemas (System-of-Systems - SoS) é um tipo emergente de sistema computacional formado por um grupo de sistemas constituintes, que são independentes e heterogêneos e se unem para compor um sistema de larga escala visando alcançar uma missão global. Cada sistema constituinte possui seus próprios objetivos, missões individuais, e colaboram para a realização da missão do SoS, chamada missão global. Existe uma complexidade inerente no conjunto de missões que estão envolvidas em um SoS, esse deve-se principalmente à natureza independente dos sistemas constituintes, que tendem a evoluir independentemente, potencialmente mantidos por organizações distintas, além dos conflitos de interesse que podem surgir com essa evolução. Com isso, torna-se essencial prover uma linguagem bem definida para descrição e avaliação dessas missões, relacionando-as entre si e provendo um documento comum que possa ser utilizado por todas as partes envolvidas. Essa linguagem deve ser capaz de expressar as missões individuais e globais, dando suporte a todos os relacionamentos existentes entre essas missões, além de expressar informações relacionadas a realização dessas missões. O objetivo desse trabalho é apresentar e avaliar uma linguagem para descrição de missões. Visando a definição dessa linguagem, esse trabalho apresenta um mapeamento sistemático acerca dos mecanismos existentes para descrição de missões em SoS, identificando os elementos-chave que compõem a descrição de uma missão nesse contexto. A partir desse mapeamento, propõe-se um modelo conceitual para missões e uma linguagem para descrição de missões. Essa linguagem independe de documentos de arquitetura e outros tipos de modelos de software, visando possibilitar a integração da linguagem de definição de missões em diferentes modelos de desenvolvimento.

Les lauriers sont coupés: a exibição do pensamento e da linguagem

Ce travail a comme point de départ l’oeuvre Les lauriers sont coupés, de l’écrivain Edouard Dujardin. Le livre, écrit en 1887, n’est devenu connu qu’en 1924, lorsque James Joyce a déclaré s’inspirer de cette œuvre pour écrire le monologue de Molly Bloom, personnage d’Ulysse, en utilisant une technique nommée monologue intérieur, qu’aucun écrivain n’avait jusqu’alors utilisée. Dujardin s’est proposé d’écrire un livre où le personnage dévoile sa pensée avant même de subir une quelconque censure. Ecrit à la fin du siècle, Les lauriers sont coupés présente des caractéristiques du symbolisme: la synesthésie, la musicalité, le jeu de mots et la subtitution du sentiment, propre aux romantiques, par les sens. Pour une génération d’écrivains ayant vécu à Paris à la fin du siècle, la métaphore est remplacée par la métonymie. Dans ce sens, notre auteur se trouve inséré dans son temps, c’est-à-dire, à la fin du XIXe siècle, subissant l’influence de Mallarmé et de Wagner dans l’écriture de son oeuvre. A Canção dos Loureiros, titre de la traduction en portugais d’Élide Valarini (1989), de l’oeuvre Les lauriers sont coupés, a été analysée, en essayant à la fois d’identifier les éléments du Symbolisme et de montrer que l’auteur, en écrivant cette œuvre, suppose que le lecteur, partage la pensée du personnage principal en employant la technique du monologue intérieur. Outre cette analyse, nous faisons la traduction en portugais d’un essai de Dujardin, qui n’avait pas été traduit jusqu’à présent et où il a pu lui-même revoir son œuvre et où il explique comment il a eu l’idée de travailler la technique adoptée ainsi que la réception de cette œuvre auprès de ses contemporains.

A linguagem audiovisual do cinema como elemento integrador da arte e ciência na formação cultural dos professores de ciências e matemática

This work aims to study about the importance of cinema for cultural and professional training of teachers of Natural Sciences and Mathematics. The educational potential of cinema is emphasizing by different authors, which also reveal the teachers' training gap in this issue (media). In this study, we defend the audiovisual language of cinema as an integrating element of Arts and Science for cultural and professional training of teachers. This subject has been developed by different authors, in which the emphasis has been the importance of intelligent dialogue with the world. Specifically, the training of science teachers and mathematics, by the approach of Cinema in its formation, It envisions the possibility of minimizing the dichotomy between humanistic and scientific training, already much discussed by some researchers. Educational products contribute to an effective experience and reflection on the cultural and educational role of the Seventh Art. Considering the Cinema as a possible "bridge" between the two cultures (scientific culture and humanistic culture) and promoting ownership of audiovisual language in teacher training It was accomplished the I Exhibition - Cultural Spring: Cinema and Science Education in UFRN. The production of the booklet "Topics of History, Language and Art of Cinema for Science and Mathematics Teachers," and its application in a short course in the XXI National Symposium on Physics Teaching also aimed to contribute to the approximation of Science and Art in training teachers.