Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Processing of hierarchical syntactic strusture in music

Hierarchical structure with nested nonlocal dependencies is a key feature of human language and can be identified theoretically in most pieces of tonal music. However, previous studies have argued against the perception of such structures in music. Here, we show processing of nonlocal dependencies in music. We presented chorales by J. S. Bach and modified versions inwhich the hierarchical structure was rendered irregular whereas the local structure was kept intact. Brain electric responses differed between regular and irregular hierarchical structures, in both musicians and nonmusicians. This finding indicates that, when listening to music, humans apply cognitive processes that are capable of dealing with longdistance dependencies resulting from hierarchically organized syntactic structures. Our results reveal that a brain mechanism fundamental for syntactic processing is engaged during the perception of music, indicating that processing of hierarchical structure with nested nonlocal dependencies is not just a key component of human language, but a multidomain capacity of human cognition.

A forma do privilégio: renda, acessibilidade e densidade em Natal-RN

The aim of this work is to understand the morphological expression of ground occupation by the higher income population, by focusing on population distribution in accordance with income layers and demographical density, as well as topological accessibility (HILLIER and HANSON, 1984) resulting from the urban grid structure. It endeavors to identify a functional organizing principle regarding the intra-urban space of Natal capital city of the state of Rio Grande do Norte, the research focus. In order to achieve this, census data as well as syntactic data were utilized for mapping and spatial analysis of income patterns, topological accessibility and demographical density using Geographical Information System GIS. The organizing principle was named as the Form of Privilege, a pattern that concentrates or tends to concentrate wealth, topological accessibility and low demographical density. Attempting to assess its extent, beyond Natal, this principle was applied to other Brazilian northeastern capitals such as: Fortaleza, CE; Teresina, PI; Aracaju, SE; Recife, PE; and João Pessoa, PB. Findings point out that although the urban structures of these cities are not immune to the Form of Privilege, Natal is emblematic of this phenomenon, a fact that demonstrates the perverse character of its spatial process, which historically creates privileged areas within the city, by means of the appropriation of accessibility as well as of the many urban benesses that are related to it by higher income groups at the expense of the major part of the population, which though being the people mostly in need of the benefits originating from the urban form are excluded from them

Saudosa Maloca, Maloca querida: um estudo morfológico da relação forma/usos do espaço em moradias autoconstruídas e construídas pelo poder público após um ano de ocupação

This study intends to enhance the existing knowledge concerning the patterns of the uses of space for low cost housing in Parnamirim, Rio Grande do Norte, Brazil, by way of comparative morphological studies in spatial arrangements and articulations regarding three distinct, however inter-related, sets of social housing: (1) a development comprising 21 self-built houses erected on public routes and illegal plots within a tract of land originally designed to be an industrial development: (2) architect-designed houses built by the public authority in order to accommodate the previous 21 (plus a few additions) families occupying the self-built dwellings, and (3) modifications performed by dwellers on a total of those 24 houses built by the public authority after an occupation period of one year. The predominant uses of each room within the self-built and modified houses were represented in ground plan, based on empirical observation, surveys with dwellers and the use of analytical procedures of morphologic analysis of nature predominantly geometric (specific) and topology (space syntax analysis). A scale of priorities was identified in relation to the uses of each room, its geometrical arrangement (adjacency, front/back relations etc), and underlying structures (connectivity, depth and spatial integration) in order to establish congruencies and non-congruencies between a social-cultural order embedded in the self-built domestic space and the design logic contained in the houses offered by official agencies. The comparative analysis points towards the convivial existence of two tendencies: one that seems to reinforce a design logic inasmuch as the additions and modifications performed by the dwellers do not alter but even emphasize the original configuration of the designed houses, and another one in which those patterns are subverted in accordance with a logic which, to a lesser or greater degree, coincides with that of the self-built dwellings

O coração e o dragão: perspectivas da vida urbana em uma cidade fragmentada

This research aims to study dimensions of urban life in the contemporaneous city. It is an effort to understand the functioning of the contemporary city as an artifact that somehow affects social relations. The study focuses on the limits and possibilities of urbanity in the city today, understanding urbanity as a set of factors that favor wealth, diversity and spontaneity of public life. The research aims to show that cities today tend to criate fragmented urban life into at least one of the three urbanity dimensions: spatial dimension, social and temporal dimension. The study involves the analysis of two public spaces in Fortaleza (Praça do Ferreira and the open urban public spaces of the Centro Cultural Dragão do Mar), using Space Syntax Analysis methods and for Post Occupancy Evaluation procedures. Research shows that temporal dimension of urbanity is limited in the public spaces studied. In Praça do Ferreira, spatial and social dimensions are present, but their effects are limited by the temporal dimension. The Dragão do Mar, on the other hand, the spatial and social dimensions of urban life are more limited and more concentrated in time

Especificação e implementação de uma linguagem para transformação de modelos MOF em repositórios dMOF

This work presents the specification and the implementation of a language of Transformations in definite Models specification MOF (Meta Object Facility) of OMG (Object Management Group). The specification uses a boarding based on rules ECA (Event-Condition-Action) and was made on the basis of a set of scenes of use previously defined. The Parser Responsible parser for guaranteeing that the syntactic structure of the language is correct was constructed with the tool JavaCC (Java Compiler Compiler) and the description of the syntax of the language was made with EBNF (Extended Backus-Naur Form). The implementation is divided in three parts: the creation of the interpretative program properly said in Java, the creation of an executor of the actions specified in the language and its integration with the type of considered repository (generated for tool DSTC dMOF). A final prototype was developed and tested in the scenes previously defined

A interpretação dos sintagmas nominais com adjetivos atributivos por alunos de inglês instrumental

This present work has as objective to analyze the interpretation of the syntactic and semantic meaning performed by third graders in the nominal groups (NGs) with attributive adjectives in the English language in a text of the final exam in the ESP (English for Specific Purposes) discipline. The corpus is made up of 30 exams of two classes from a third grade institution of the biomedical area, corresponding to the basic and advanced levels of the second term in 2006. The text has 24 NGs of different lexical content, a total of 27 NGs in the whole text summing up to 810 analyzed occurrences. The analysis is carried out at the morphologic, syntactic and semantic levels using as theoretical background the traditional and functional grammars (QUIRK et al, 1985; CELSE-MURCIA et al, 1998; TUCKER, 1998), in their semantic aspects, the Semantics (FRAWLEY, 1992) and the Cognitive Linguistics (TAYLOR, 2002). We concluded that the main difficulties were due to the lack of vocabulary and to the use of mother tongue strategies instead of using the top-down strategies for reading a text in English to compensate this gap. We also observed that even when the vocabulary was known, there were difficulties in establishing the semantic and syntactic relations between modifier and noun head. We suggested improvements for the teaching of reading English texts at the third grade grounded in the obtained results such as a more comprehensive study of the several different morphologic and syntactic structures of the NGs with premodifiers and their semantic consequences, an approach of the morphologic, syntactic and semantic aspects of the NGs and the use of both top-down and bottom-up strategies when reading a NG in the English language

Estratégias de relativização no português brasileiro e implicações para o ensino: o caso das cortadoras

This work consists of a cognitive-functional approach of relativization strategies of Brazilian Portuguese (BP), this is, standard relatives (with preposition or without it) and non-standard relatives (copiadora and the deletion pattern), and it emphasizes the last one. We investigate the use of the relative construction strategies in spoken and written texts produced by speakers from different school levels in a specific situation: a face-to-face interviewing. Our database is the corpora Discurso & Gramática: a língua falada e escrita na cidade do Natal e a língua falada e escrita na cidade do Rio de Janeiro. We contrast the use of the standard relative to the deletion pattern in prepositional context, by considering cognitive, social and interactional motivations for the use of the deletion pattern instead of the standard one. Our research leads us to verify that the deletion pattern is fixing as the preferred relativization strategy in prepositional contexts, and, in this way, it brings out a grammaticalization process in working. For this reason, we propose to take this relative construction as a common way to structure a relative clause, in the same way we take the standard pattern. Finally, we discuss the treatment of questions related to the processes of teaching and learning of Portuguese language and some suggestions are given in terms of class activities. We expect that the development of this research may give both support for the Portuguese teachers and suggestions to improve the teaching and learning process of Portuguese language, contributing in special to the treatment of the syntax of complex clauses.

Vaga-lume na treva: a poesia de João Lins Caldas

This thesis analyses the poetry of João Lins Caldas (1888-1967), in Brazilian literature context, aiming at describing and understanding the main features of his poetry. Thus, this research presents a corpus to be worked on: the poems in Poeira do céu e outros poemas (2009). Our study is characterized by a biographical, historiographical and critical tendency, by trying to organize the manuscripts of the author and biographical aspects while analyzing his poems. It is showed the relation between Brazilian poetry written by some authors, since the parnasianism and symbolism period until the twentieth century. On the one hand, our analysis is based on the ideas and criticism by Antonio Candido (2006; 2002; 1985), discussing the process of formation of Brazilian literature and the procedure to analyse poetry. It is also based on the concept of poetry and resistance, developed by Alfredo Bosi (2000; 2002), and the notion of Brazilian matter, identified by Roberto Schwarz (1987, 1997, 1999). On the other hand, this work focuses on melancholy under the theoretical ideas of authors such as Aristotle (1998), Walter Benjamin (1984), Jaime Ginzburg (1997) and Moacyr Scliar (2003). This focus on melancholy contributes to a better understanding of one of the main themes found in the poems analysed. By studying the poetry of João Lins Caldas, it was perceived the relevance of melancholy and resistance in his verses. This can be seen in his dissonant language, characterized by the broken syntax in his verses, as well as contradictory images and complex meanings in his poetry. This causes the effect of unfamiliarity on the reader. His poetry is the result of a style that finds its place in the best moment of modern Brazilian poetry and reveals its singularity through the inverted syntax with powerful themes such as love, death, pain, delusion, loss, memory, nature and God. All of them are aspects of Brazilian historicity. Finally, the work of João Lins Caldas is part of a multifaceted poetry

Poesia digital: três leituras da Obra de Jason Nelson

The development of digital technologies has opened up a new niche for artistic production. It began to emerge artworks that could only happen in the digital context. In this study, we investigated the syntax of defining digital poetry, recognized internationally as one of the possibilities of this new artistic practice, and how happens the meaning during the reading process. As research corpus, we chose the poem "Birds Still Warm From Flying", by american poet Jason Nelson. And we structure our analysis looking through three perspectives: the digital poem as a game; as the evolution of experimental trends of twentieth-century poetry; and as a representation of Rubik`s Cube, a famous three-dimensional puzzle from the 1970`s. Initially, we made some considerations about the construction of digital poetry as a hypermedia artwork, looking through convergence and hybridization of artistic and media languages. Then, we saw some similarities between Nelson`s poem and electronic games, based on our critical observations about the concept of interactivity. Subsequently, we wrote a historical overview about the poetic experimentation in the twentieth century, bringing examples of sound poetry and visual poetry as evidence that the birth of digital poetry is also the result of the evolution of these experiments. Finally, we use the Charles Sanders Peirce`s semiotics to analyze the signs that give references able to make us recognize the Rubik`s Cube in "Birds Still Warm From Flying"

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.

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Espaço de todos ou de ninguém: análise morfológica de transformações espaciais dos Conjuntos Residenciais Parque Serrambi em Natal/ RN

This work analyses the effects of form over the emergence of new patterns of use and occupation in public spaces of housing estates designed in the 1980s and 1990s in Natal’s municipality (Brazil). We start from the premise that form acts on social process (HILLIER; HANSON, 1984), and verify how much the original spatial configuration of Parque Serrambi housing states contributed to the creation of new spatial patterns following the interventions of the people living there. The Serrambi states were built in Natal’s south based on an urbanization model following modernist’s principals and aimed to supply demands for popular dwellings. They were one of the last estates financed by the former National Dwelling Bank (BNH) and supervised by the Dwelling Cooperatives Orientation Institute (INOCOOP), materialized a spatial form different from the highrise dwelling experiences from the same period. The results were obtained through configurational analysis based on Space Syntax conceptual and methodological framework, in which space and society are viewed as interrelated. The analyses was based on represanting and quantifying spatial properties and identificatying social patterns related to the interventions. We identified that the original spatial configurations, associated to subtle changes in the states social patterns, analysed independently of non-morphological categories, gave way to the occupation patterns verrified in both Serrambi cases.

Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.