Processos de construção do sentido na esquizofrenia: uma perspectiva cognitiva da linguagem

There is still a lot to be said about the relationship between culture, cognition and language. Within an embodied cognition perspective to language, it may be understood that the senses generated and used in discourse are built and negotiated not only linguistically, since they also involve stereotypes, schemes, frames, etc. These cognitive structures, in turn, would emerge from subjects experiences and interactions with a sociohistorically constituted environment. With that in mind, what would happen if someone had an altered view in the perception of such environment? The objective of this master s thesis was to understand the process of meaning construction, aiming at the activation of frames, in the discourse of people who have been diagnosed as schizophrenic and have been hospitalized, that is, individuals who have their socio-environmental perception affected. With that aim in mind, a speech corpus was generated with three schizophrenic patients from Professor Severino Lopes Psychiatric Hospital. The data were collected and analyzed qualitatively, based on the theoretical and analytical premises of Cognitive Linguistics, more specifically, of Simulation Semantic perspective. Therefore, it was possible to identify aspects related to meaning construction processes in the discourse of schizophrenic patients, understanding that language is integrated with cognition and culture. Therefore, the alteration in the way experiences are perceived by schizophrenic patients affect the linguistic production of these subjects. Finally, if we take into consideration that the mental disturbance caused by schizophrenia results in a change in perception of reality by these individuals, we can infer an implication of such factors in language and, subsequently, the interference of such issues in the meaning construction processes in the discourse of patients diagnosed with schizophrenia

Linguagem, cognição e mundo: o livro do desassossego e a construção discursiva da realidade

This study analyzes the processes of meaning construction in the Livro do Desassossego, by semi-heteronym Bernardo Soares - Fernando Pessoa. We use theoretical grounds from an interface between Cognitive Linguistics and Textual Linguistics to observe how certain linguistic mechanisms build a reality that tells us of a time, a being and his conceptions of language and writing. We focus on description and explanation of procedures of categorization and referentiation accomplished, for example, through metaphor and metonymy. For the construction of the intended theoretical interface, we use analytical categories proposed and developed by the Socio-cognitive Approach of Language, Conceptual Metaphor Theory and Mental Space Theory. Armed with this theoretical background, we observed the dynamics of language in relation to its social, cultural and historical features, as well as the cognitive aspects that underlie it. We seek, therefore, encourage discussions about the functioning of language considering primarily the creative processes that allow us to organize and shape our experiences. We also try to provide an approximation of Linguistics, Literature and Philosophy, with a view to relations between language structure, cognitive activity and socio-cultural organization. From the results obtained, we found that a literary text attests, with a particular property, the mutual relations between language, cognition and culture, as indicates cognitive approach to language studies

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

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

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

Agraphs: definição, implementação e suas ferramentas

Programs manipulate information. However, information is abstract in nature and needs to be represented, usually by data structures, making it possible to be manipulated. This work presents the AGraphs, a representation and exchange format of the data that uses typed directed graphs with a simulation of hyperedges and hierarchical graphs. Associated to the AGraphs format there is a manipulation library with a simple programming interface, tailored to the language being represented. The AGraphs format in ad-hoc manner was used as representation format in tools developed at UFRN, and, to make it more usable in other tools, an accurate description and the development of support tools was necessary. These accurate description and tools have been developed and are described in this work. This work compares the AGraphs format with other representation and exchange formats (e.g ATerms, GDL, GraphML, GraX, GXL and XML). The main objective this comparison is to capture important characteristics and where the AGraphs concepts can still evolve

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

MaRISA-AOCode: uma abordagem genérica para geração de código orientado a aspectos

Currently there are several aspect-oriented approaches that are related to different stages of software development process. These approaches often lack integration with each other and their models and artifacts are not aligned in a coherent process. The integration of Aspect-Oriented Software development (AOSD) and Model-Driven Development (MDD) enables automatic propagation of models from one phase to another, avoiding loss of important information and decisions established in each. This paper presents a model driven approach, called Marisa-AOCode, which supports the processing of detailed design artifacts to code in different Aspect-Oriented Programming languages. The approach proposed by Maris- AOCode defines transformation rules between aSideML, a modeling language for aspectoriented detailed design, and Metaspin, a generic metamodel for aspect-oriented programming languages. The instantiation of the generic metamodel (Metaspin) provided by the approach of Maris-AOCode is illustrated by the transformation of Metaspin for two languages: AspectLua and CaesarJ. We illustrate the approach with a case study based on the Health Watcher System