Construções metafóricas de vida e morte: cognição, cultura e linguagem

En esta investigación, tratamos de poner de relieve los aspectos cognitivos y culturales que subyacen a las metáforas en el lenguaje. Partimos de la premisa de que nuestra comprensión a cerca del mundo se construye socio-cognitivamente, sendo la metáfora un elemento clave de esta construcción. Por lo tanto, tenemos la intención de mirar debajo de la teoría de la Teoría Cognitiva de la Metáfora, visto desde el análisis del poema Morte e Vida Severina, de João Cabral de Melo Neto, la metáfora de la vida y muerte, inferíveis en el corpus forma patrones discursivos, llamado por nosotros como el Construccionismo del Bloques. Estas metáforas se encuentran en el nivel conceptual de nuestro lenguaje, emitido por modelos cognitivos idealizados, y mostrar las relaciones entre la lengua, la cultura y la cognición. Vemos una red de integración que implica la metáfora primaria llamada, elaborado a partir de los esquemas y los dominios conceptuales y metáforas congruentes, con la participación de la noción de marco.

Linguagem e argumentação na produção escrita de vestibulandos

In this study, we analyzed the argumentative processes of written texts produced by UERN (Federal University of Rio Grande do Norte) vestibulandos : (students who apply for University Entrance Examinations in Brazil). It has as its corpus twenty compositions by such students. These compositions, collected in UFRN COMPERVE (Permanent Commission of vestibular examinations) and written in 2005 examination, were selected in a random way. The theoretical support is based on Perelman & Olbrechts-Tyteca (1999; 2002), Reboul (2004), Bakhtin (1992), Faraco (2003), Platão e Fiorim (2003) e Geraldi (1997), and other scholars. The work aimed to investigate how vestibulandos make use of argumentative techniques in order to construct their arguments in the vestibular examination. In the analysis of the corpus we considered that the used argumentative techniques, the relationship with the thesis, the sense effects students wanted to produce and the type of the required speech. It showed that in the, discourse construction of argumentative texts, students made use, with more frequency, of the following argumentative techniques: pragmatic arguments, arguments of the definition, comparison arguments, division arguments, example arguments, argument of the model and authority arguments as means to support their theses. However it was not carried out in a conventional way, reason why it leads us to believe that schools, as part of human activity, responsible for education and for the insert of learners in the literate world, have a fundamental role concerning the offer of conditions, so that, the teaching of Portuguese Language leads students to a systematic and explicit preparation of the knowledge, regarding the social and functions of the language, as well as of the strategies of the construction of argumentative texts. This can lead learners to develop communicative competence and to feel more confident when working with text production

A linguagem da reflexão de uma professora de Língua Inglesa: um estudo de caso sob a perspectiva do sistema de avaliatividade

Research about teacher education, carried out in the area of Applied Linguistics (AL), reveals the importance of reflective practices in the professional development of teachers. With the aim of contributing to this area, we present this case study conducted at a technical school in Natal, RN. The corpus of the study is formed mainly from the teacher‟s discourse, generated during a stimulated recall session and the instruments used to collect the data: an initial questionnaire, a video recording of a class and the text transcript of the stimulated recall session. The central objective is to understand the way in which the reflection-on-action (SCHÖN, 1983, 1987) can contribute to raise the awareness of an English as a Foreign Language teacher (EFL) about her actions in the classroom. With this proposal, we begin our discussion presenting the origins, the presuppositions and characteristics of the concept of reflection according to Schön (1983, 1987), and supported by other authors (PERRENOUD, 2002; GÓMEZ, 1995; IMBERNÓN, 2009, among others); of critical reflection (LISTON e ZEICHNER, 1993; PIMENTA, 2002; DUTRA e MELLO, 2004, among others); and of the process of critical reflection (SMYTH, 1992). To evidence the reflections that emerge in the teacher‟s discourse, we found support in the theories and methods of Systemic Functional Grammar (SFG), which was initially proposed by Halliday (1985, 1994), Halliday and Hasan (1989), Halliday and Matthiessen (2004) and followers, such as, Eggins (1994), Thompson (1996), among others. We focus mainly on the subsystem of Attitude, an integral component of the system of discourse resources, Appraisal, presented by Martin (2000), Martin and Rose (2003, 2007), Martin and White (2005). The results reveal that the actions of the teacher in the classroom reflect not only her professional experiences, but also her values and concepts about teaching/learning languages. The results also show the teacher‟s awareness of the need for changes in her practices. Faced with these findings, we believe that this study reveals important concepts that can direct teacher educators to rethink new ways of approaching teacher training courses. In addition, it also reveals the importance of discourse analysis based on a systemic functional approach.

A linguagem do blog escolar em um trabalho com multiletramentos: compartilhando sentidos

This research, part of Applied Linguistics field, aims to analyze the language of a school blog, developed with the participation of students, as a work based on the conception of multiliteracies, focusing on the construction of different meanings. The research is carried on from the building and maintenance of a school blog, the Ieceblog, with students of Ensino Fundamental II, since 2008, in a private school in Natal-RN. The investigation of the language produced on a school blog is justified due to the interactive conceptions of writing and reading on the virtual environment. Given the fact that new technologies are a reality in the schools opened to the practices of multiliteracies, it is assumed that text, image, video, audio, non-graphic signs and hypertext intensifies the produced interaction, in which the students become real authors. In this perspective, some voices belonging to the statements that are formed through the posts and comments chosen to the analyses and reflection on the blog space as locus of productions of senses inserted in the school and the world environment, as well as for the identification of the language resources used to intensify the senses that emerge from it. From the view of dialogism conceptualized by Bakhtin Circle, the qualitative interpretive-research deepens the experience of a school blog focusing on digital language in line with the vision of digital literacy. From the blog posts, a corpus that promote the exposure of different manifestations of language in the design of digital multiliteracies is elected. Thereby, the method used was the dialogical analysis of speech based on Bakhtin s studies and the Circle. The corpus was taken from the blog s posts in order to point up the different language manifestations in the following categories: (i) mood reinforced by the mockery, (ii) search for compliance with school sphere, (iii) conflicting social values and consistent complicity between sense and verbal imagery, and finally (iv) social practices that take place from and through the discursive genre. The study points to the tension between the active voices in several directions, revealing the distorted unit of posts which, under the analytical observation raises multiple meanings in a responsive manner. The analysis of the dialogue interaction in which intersperses the digital one becomes more apparent that the multiliteracies events that are mediated by language in addition to structure of the language and makes us rethink the students

A Questão da linguagem e do pensamento a partir da carta sobre o humanismo

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

Uma estratégia dirigida a modelos e baseada em linguagem de descrição arquitetural para linhas de produtos de software

Model-oriented strategies have been used to facilitate products customization in the software products lines (SPL) context and to generate the source code of these derived products through variability management. Most of these strategies use an UML (Unified Modeling Language)-based model specification. Despite its wide application, the UML-based model specification has some limitations such as the fact that it is essentially graphic, presents deficiencies regarding the precise description of the system architecture semantic representation, and generates a large model, thus hampering the visualization and comprehension of the system elements. In contrast, architecture description languages (ADLs) provide graphic and textual support for the structural representation of architectural elements, their constraints and interactions. This thesis introduces ArchSPL-MDD, a model-driven strategy in which models are specified and configured by using the LightPL-ACME ADL. Such strategy is associated to a generic process with systematic activities that enable to automatically generate customized source code from the product model. ArchSPLMDD strategy integrates aspect-oriented software development (AOSD), modeldriven development (MDD) and SPL, thus enabling the explicit modeling as well as the modularization of variabilities and crosscutting concerns. The process is instantiated by the ArchSPL-MDD tool, which supports the specification of domain models (the focus of the development) in LightPL-ACME. The ArchSPL-MDD uses the Ginga Digital TV middleware as case study. In order to evaluate the efficiency, applicability, expressiveness, and complexity of the ArchSPL-MDD strategy, a controlled experiment was carried out in order to evaluate and compare the ArchSPL-MDD tool with the GingaForAll tool, which instantiates the process that is part of the GingaForAll UML-based strategy. Both tools were used for configuring the products of Ginga SPL and generating the product source code

Uma linguagem de modelagem da interação para auxiliar a comunicação designer-usuário

The development of interactive systems involves several professionals and the integration between them normally uses common artifacts, such as models, that drive the development process. In the model-driven development approach, the interaction model is an artifact that includes the most of the aspects related to what and how the user can do while he/she interacting with the system. Furthermore, the interactive model may be used to identify usability problems at design time. Therefore, the central problematic addressed by this thesis is twofold. In the first place, the interaction modeling, in a perspective that helps the designer to explicit to developer, who will implement the interface, the aspcts related to the interaction process. In the second place, the anticipated identification of usability problems, that aims to reduce the application final costs. To achieve these goals, this work presents (i) the ALaDIM language, that aims to help the designer on the conception, representation and validation of his interactive message models; (ii) the ALaDIM editor, which was built using the EMF (Eclipse Modeling Framework) and its standardized technologies by OMG (Object Management Group); and (iii) the ALaDIM inspection method, which allows the anticipated identification of usability problems using ALaDIM models. ALaDIM language and editor were respectively specified and implemented using the OMG standards and they can be used in MDA (Model Driven Architecture) activities. Beyond that, we evaluated both ALaDIM language and editor using a CDN (Cognitive Dimensions of Notations) analysis. Finally, this work reports an experiment that validated the ALaDIM inspection method

BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML

With hardware and software technologies advance, it s also happenning modifications in the development models of computational systems. New methodologies for user interface specification are being created with user interface description languages (UIDL). The UIDLs are a way to have a precise description in a language with more abstraction and independent of how will be implemented. A great problem is that even using these nowadays methodologies, we still have a big distance between the UIDLs and its design, what means, the distance between abstract and concrete. The tool BRIDGE (Interface Design Generator Environment) was created with the intention of being a linking bridge between a specification language (the Interactive Message Modeling Language IMML) and its implementation in Java, linking the abstract (specification) to the concrete (implementation). IMML is a language based on models, that allows the designer works in distinct abstraction levels, being each model a distinct abstraction level. IMML is a XML language, that uses the Semiotic Engineering concepts, that deals the computational system, with the user interface and its elements like a metacommunicative artifact, where these elements must to transmit a message to the user about what task must to be realized and the way to reach this goal. With BRIDGE, we intend to supply a lot of support to the design task, being the user interface prototipation the greater of them. BRIDGE allows the design becomes easier and more intuitive coming from an interface specification language

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]

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

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)

Utilizando programação orientada a aspectos no projeto de sistemas hardware desenvolvidos com SystemC

New programming language paradigms have commonly been tested and eventually incorporated into hardware description languages. Recently, aspect-oriented programming (AOP) has shown successful in improving the modularity of object-oriented and structured languages such Java, C++ and C. Thus, one can expect that, using AOP, one can improve the understanding of the hardware systems under design, as well as make its components more reusable and easier to maintain. We apply AOP in applications developed using the SystemC library. Several examples will be presented illustrating how to combine AOP and SystemC. During the presentation of these examples, the benefits of this new approach will also be discussed

Uma máquina de redução de grafos para serviços web

Web services are software accessible via the Internet that provide functionality to be used by applications. Today, it is natural to reuse third-party services to compose new services. This process of composition can occur in two styles, called orchestration and choreography. A choreography represents a collaboration between services which know their partners in the composition, to achieve the service s desired functionality. On the other hand, an orchestration have a central process (the orchestrator) that coordinates all application operations. Our work is placed in this latter context, by proposing an abstract model for running service orchestrations. For this purpose, a graph reduction machine will be defined for the implementation of service orchestrations specified in a variant of the PEWS composition language. Moreover, a prototype of this machine (in Java) is built as a proof of concept