Made available in DSpace on 2016-03-07T19:21:06Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-08-21. Added 1 bitstream(s) on 2016-03-07T19:25:03Z : No. of bitstreams: 1 000856318.pdf: 4359907 bytes, checksum: 2756b95e0a763c06df4b73cb38965ad2 (MD5) / O objetivo deste trabalho é analisar as atividades gramaticais propostas no material didático oferecido pela Secretaria de Estado da Educação do Estado de São Paulo direcionado para o 6º ano do ensino fundamental. O material é referência norteadora para a atividade docente e tem sido utilizado em toda rede estadual como instrumento de ensino e aprendizagem, sob orientação das gestões escolares e monitoramento das diretorias de ensino. Por meio destas reflexões pretendo observar qual o direcionamento metodológico e linguístico assumido pelos elaboradores do material, procurando detectar, por exemplo, o tipo de abordagem adotada por eles. Os volumes escolhidos para o trabalho são os cadernos do aluno e do professor do 6º ano (5ª série) do ensino fundamental, volume 1, situações de aprendizagem 1, 2 e 3. A análise terá como princípio, o tratamento dado às atividades propostas com substantivos, adjetivos, verbos e advérbios. A intenção não é verificar a qualidade das atividades, mas entender seu direcionamento teórico-metodológico e propor alternativas que agreguem valor a elas. Não nos isentaremos, com isso, de realizar uma análise crítica, embasada por uma fundamentação teórica consistente. São diversas as possibilidades de se lidar com a gramática em sala de aula, desde as mais tradicionais, até as que possibilitam uma reflexão ampla dos fenômenos linguísticos em seus contextos de realização. Entendo que saber o momento de utilizar esta ou aquela e levar o aluno a perceber as possibilidades de cada uma e a importância delas para a realização de uma comunicação (oral ou escrita) eficiente, são papeis do professor. Para que isso ocorra é necessário que ele estude, pesquise, crie e desafie. Neste trabalho também será abordada a implantação e intenção do Currículo Oficial do Estado. Ele foi criado para nortear e auxiliar na realização das atividades... / The objective of this study is to analyze the grammatical activities proposed in the teaching materials offered by the State Department of Education of São Paulo directed to the 6th grade of elementary school. The material is guiding reference for the teaching activity and has been used throughout the state system as a teaching tool and learning under the guidance of school managements and monitoring of educational boards. Through these reflections intend to observe which methodological and linguistic direction taken by manufacturers of the material, seeking to detect, for example, the approach adopted by them. The volumes chosen for the job are the notebooks of the student and the teacher of the 6th year (5th grade) of elementary education, Volume 1, learning situations 1, 2, and 3. The analysis will have as a principle, the treatment given to activities proposed with nouns, adjectives, verbs and adverbs. The intention is not to verify the quality of activities, but to understand its theoretical and methodological guidance and propose alternatives that add value to them. We do not exempt ourselves from, with this, carrying out a critical analysis, grounded by a consistent theoretical framework. There are several possibilities to deal with grammar in the classroom, from the most traditional, to those that allow a broad reflection of linguistic phenomena in their achievement contexts. I understand that knowing when to use this or that and take the student to realize the possibilities of each and their importance for the realization of communication (oral or written) efficien, are teacher roles. For this to happen it needs to study, search, create and challenge. This work will also discuss the deployment and intent of the Official State Curriculum. It is meant to guide and assist in carrying out the activities and the search for contents that include its guidelines. Finally, the scope of this...

Made available in DSpace on 2014-06-11T19:26:49Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-05-06Bitstream added on 2014-06-13T20:55:27Z : No. of bitstreams: 1 candido_fm_me_arafcl.pdf: 676521 bytes, checksum: 580c9e0d445ea04ddf1e6ef8524e4ea6 (MD5) / Esta pesquisa tem como objetivo investigar os diferentes padrões das construções nas quais o pois está inserido, visto que, como se observa, as gramáticas tradicionais fazem uma descrição superficial e inadequada do comportamento desse elemento. Analisa-se, também, essas construções sob a ótica da gramaticalização, a fim de verificar quais dessas construções estão mais gramaticalizadas. A gramaticalização é uma ferramenta de descrição lingüística por meio da qual é possível depreender mudanças semânticas e categoriais de um item ou uma construção. Pode ser analisada a partir de duas perspectivas: (i) diacrônica, que investiga a origem das formas gramaticais, descrevendo os caminhos que essa forma percorre durante o processo de mudança; e (ii) sincrônica, na qual é possível investigar os usos lingüísticos do ponto de vista dos padrões fluidos da linguagem, dentro de um determinado recorte de tempo. São sob esses enfoques que se analisam os usos do pois encontrados nos corpora. Para alcançar esse objetivo, adotam-se alguns critérios sintáticos e semânticos propostos por Bally (1965), além dos critérios que foram aplicados ao pois nos estudos lingüísticos descritivos de Guimarães (2007), Vogt (1978) e na discussão de Carone (1991) sobre coordenação e subordinação. A respeito dos pressupostos da gramaticalização, recorre-se às propostas de Traugott (1982), Traugott e König (1991) e Sweetser (1990) que focalizam a mudança semântico-pragmática, às hipóteses de Heine et al. (1991) e aos critérios de Hopper (1991), com o objetivo de verificar o grau de gramaticalidade das construções encontradas nos corpora. Com relação aos corpora, eles estão divididos quanto ao grau de formalidade e são compostos por textos epistolares e oratórios do século XVI ao XX, organizados por Barbosa (2008). Por essa investigação... / This research aims at investigating the different patterns in constructions presenting the word “pois”, taking into account that the description of this element’s behavior, in traditional grammars, is superficial and inadequate. Such constructions are also analyzed under the perspective of grammaticalization in order to verify which constructions are more grammaticalized. The grammaticalization is a tool used in linguistic description through which is possible to infer semantic and categorical changes suffered by an item or a construction. It can be analyzed considering two perspectives: (i) diachronic, that investigates the origin of the grammatical forms, describing all changes that such form has passed; and (ii) synchronic, in which is possible investigate the linguistic applications through the point of view of the language fluid patterns for a specific period of time. It is under this focus that the applications related to “pois” found in the corpora are analyzed. Besides the criteria applied to “pois” in the descriptive linguistic studies of Guimarães (2007), Vogt (1978) and the Carone’s discussion (1991) about coordination and subordination, some syntactic and semantic criteria proposed by Bally (1965) are also utilized in order to achieve the objective of this work. In respect to the grammaticalization’s presuppositions, the Traugott’s proposals (1982), Traugott and Konig (1991) and Sweetser (1990) who focus semantic-pragmatic change, the hypotheses of Heine el al. (1991) and the Hopper’s criteria (1991) are applied with the purpose of verifying the degree of grammaticality of the constructions found in the corpora. Related to the corpora, they are divided taking the degree of formality into account and they are composed of epistolary and oratory texts from the XVI and XX centuries, organized by Barbosa (2008). In this research, it was possible... (Complete abstract click electronic access below)

Made available in DSpace on 2014-06-11T19:26:51Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-05-20Bitstream added on 2014-06-13T19:55:14Z : No. of bitstreams: 1 tannihao_kc_me_arafcl.pdf: 931190 bytes, checksum: 34b6bca190cbfbb9ef60cfb695d08a33 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Partindo da concepção de que as línguas não constituem realidades estáticas, a presente pesquisa trabalha com duas sincronias linguísticas, focalizando as mudanças morfossintáticas sofridas pelo sistema das preposições, de forma a identificar convergências entre essas variedades linguísticas. A primeira sincronia é um estágio do processo de evolução do sistema latino. Para isso, é utilizada a coleção de documentos e textos medievais intitulada Portugaliae Monumenta Historica, que datam do século VIII ao século XV. A coleção consta de quatro partes, das quais se trabalha com uma amostragem dos fascículos 1, 3 e 5 da parte intitulada Leges et Consuetudines. O material estudado abrange as cartas constitutivas dos municípios, ou forais, e foi publicado entre 1856-1868. Nessa sincronia, as preposições analisadas são: ad, cum, de e in. Para a outra sincronia, trabalha-se com um córpus de redações escritas por estudantes que estejam concluindo ou que tenham concluído o ensino médio na rede paulista de ensino, especificamente nas cidades de Ribeirão Preto, Rio Claro e Itirapina. Para o estudo dessa sincronia, as preposições analisadas são: a, com, de, em, para e por, que constituem as preposições mais gramaticalizadas no português. Considera-se que há diglossia nas duas sincronias: na primeira, por haver uma língua usada na fala e outra na escrita; e, na segunda, por haver uma variedade falada e outra escrita; ou seja, são utilizadas variedades diferentes, sendo que a forma representada pela escrita das duas sincronias é aprendida com a educação formal. Os objetivos do trabalho são: (i) fazer um estudo do uso do emprego das preposições e dos casos regidos por elas em um estágio tardio do sistema latino; (ii) analisar o português paulista moderno, considerando o comportamento das preposições, dando ênfase a seu apagamento em determinadas funções... / Leading from the idea that the languages are not static realities, this research works two linguistic synchronies, focusing the morphosyntatic changes made by the system of prepositions, in order to identify similarities among these linguistic varieties. The first synchrony is a process phase of evolution for the Latin system. Therefore, it is used the collection of documents and medieval texts that is called Portugaliae Monumenta Historica, dating from the eighth to the fifteenth century. The collection consists in four parts, of which are together worked with a sampling of issues 1, 3 and 5 of the part called Leges et Consuetudines. The studied material includes the charters of cities, and it was published in 1856-1868. In this study, the analyzed prepositions are: ad, cum, de and in. To synchrony the other one, is used a corpus of essays written by students who are completing or have completed high school in the São Paulo network of education, specifically in the cities of Ribeirão Preto, Rio Claro and Itirapina. To study this synchrony, the analyzed prepositions are: a, com, de, em, para e por, which constitute the most grammaticalized prepositions in Portuguese. It is considered that there is a diglossia in the two synchronies: first, because there is one language used in speaking while there’s another used in writing; and second, because there is a variety spoken and another variety written; that is, different varieties are used, and the shape represented by the writing of two synchronies is learned through formal education. The study aims to: (i) make a study of the use of prepositions and employment cases governed by them at a later stage of the Latin system; (ii) analyze the modern Brazilian pattern of language from the state of São Paulo, considering the positioning of prepositions, emphasizing its erasing related with some functions; and (iii) make a relation between... (Complete abstract click electronic access below)

Made available in DSpace on 2014-06-11T19:26:51Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-03-07Bitstream added on 2014-06-13T19:55:15Z : No. of bitstreams: 1 favaro_gs_me_arafcl.pdf: 1659339 bytes, checksum: f9a1036d424ad6a96ecf1284b58a17f8 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Este estudo tem como objetivo principal fazer um vínculo entre o passado e o presente, comparando processos morfofonológicos desencadeados pela flexão verbal através das formas do pretérito perfeito do modo indicativo, ou seja, processos que alteram a forma dos morfemas e geram alomorfias em vários níveis no Português Arcaico (PA) dos séculos XII-XIII analisados a partir de teorias não lineares (cf. Fonologia Lexical, Fonologia métrica e Geometria de Traços). Para a realização desta pesquisa foram considerados como objeto as formas verbais do pretérito perfeito do modo indicativo, tanto dos verbos regulares quanto dos verbos irregulares. A metodologia foi baseada no mapeamento das formas verbais nas Cantigas de Santa Maria. Contamos também com glossários, vocabulários, dicionários, e especialmente o glossário de Mettmann (1972), como auxílio na categorização das formas verbais. Depois de coletados, os dados foram separados de acordo com o tipo de processo morfofonológico verificado. O corpus de base, para o PA, foi constituído pelas Cantigas de Santa Maria (CSM), elaboradas em galego-português e atribuídas a Dom Afonso X de Castela, o Sábio, com a colaboração de trovadores, músicos, desenhistas e miniaturistas que acolhia em sua corte. Correspondem a um monumento literário de mais elaborada importância, que ocupa um lugar privilegiado na literatura medieval galego-portuguesa. Ao final da análise dos processos morfofonológicos, nos resultados obtidos, verificamos a alta produtividade da harmonização vocálica e da neutralização e crase da vogal temática em um estágio inicial da língua que denominamos de período arcaico. Podemos comprovar que os processos morfofonológicos, sobretudo a harmonia vocálica, já ocorriam desde o estágio inicial do português com as mesmas características e produtividade dos dias de hoje, uma vez que, na passagem do latim... / This study aims to make a link between past and present, comparing morphophonological processes triggered by verbal inflection through the forms of the past tense of the indicative, that is, processes that alter the shape of morphemes and generate allomorphs at various levels in the Archaic Portuguese (AP) of XII-XIII centuries were investigated by Lexical Phonology (LP) and Autosegmental and Metrical Phonology. The past tense verb forms of the indicative mood both of regular and irregular verbs were considered as an object for this research. The methodology was based on the mapping of verb forms in the Cantigas de Santa Maria (CSM). We have also used glossaries, vocabularies, dictionaries, and especially the glossary of Mettmann (1972) as an aid in the categorization of verbal forms. Once collected, the data was separated according to the type of morphophonogical process checked. The corpus was formed by the Cantigas de Santa Maria (CSM), written in Galician-Portuguese and attributed to Don Alfonso X of Castile, the Wise, in collaboration with the troubadours, musicians, designers and miniaturists who lived in his court. The CSM correspond to the most elaborate literary monument, which occupies a privileged place in the medieval Galician-Portuguese literature. After the analysis of the morphophonological processes, in the results obtained, we verified the high productivity of vowel harmony and vowel neutralization and at an early stage of the language that corresponds to the archaic period. We could prove that the morphophonological processes, especially vowel harmony, have occurred since the initial stage of the Portuguese with the same characteristics and productivity of today, since in the passage from Latin to Portuguese, the verb conjugations were already well defined. In addition to the morphophonological processes, we also mapped the irregular verbs that we called... (Complete abstract click electronic access below)

Made available in DSpace on 2014-06-11T19:32:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2004-09-03Bitstream added on 2014-06-13T19:21:22Z : No. of bitstreams: 1 carbone_mvs_dr_assis.pdf: 1183459 bytes, checksum: f4bf9b465c82e92b654f7eaaa196a307 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O desejo de estudar as correspondências dos usos da partícula que em espanhol e português foi o ponto de partida desta tese. Dado o fato de ser a referida partícula altamente empregada nas duas línguas, optamos pela pesquisa em um corpus de língua falada, por caracterizar-se esta modalidade como um reflexo mais autêntico do funcionamento da língua e, especificamente, dos usos do que. Dentro dessa modalidade de língua falada, trabalhamos com entrevistas pertencentes ao Projeto de Estudo da Norma Lingüística Culta das cidades de Bogotá (para o espanhol) e de São Paulo (para o português ). Delimitado o corpus de estudo (onze entrevistas completas do NURC colombiano), coletamos os enunciados em espanhol em que a partícula que está inserida, bem como alguns dos seus afins, preservando os contextos necessários para uma análise sintática adequada. Esses contextos sintáticos espanhóis nos quais aparece a partícula que é que nortearam a divisão dos capítulos deste trabalho. Nossa pesquisa consta de cinco capítulos. O primeiro, numa tentativa de retomar às origens para entender os auais empregos do que, trata diacronicamente do tema. O que pronome relativo, os outros pronomes relativos, os advérbios relativos, bem como os seus correspondentes portugueses e a freqüência de uso nas duas línguas é o assunto do segundo capítulo. Partindo do que interrogativo, o terceiro capítulo versa sobre os pronomes interrogativos em geral e suas correspondências em português. No quarto capítulo, abordamos o estudo do que conjuntivo, do porque e das locuções conjuntivas, bem como das equivalências portuguesas. O quinto e último capítulo trata de dois outros contextos sintáticos em que a partícula que aparece em nosso corpus de trabalho tanto em espanhol como em português: as perífrases verbais de obrigação e expletivos. / The starting point of this dissertation was our interest in studying the formal as well as the semantic correspondences between the usages of the particle QUE, both in Spanish and in Portuguese. Due to the high degree of occurrences of this particle in both languages, we chose to center our research in a corpus of spoken language. In fact the oral language reflects with more authenticity the way languages function and, in particular, the uses of THE. Therefore we analyzed samples of speech taken from interviews that were registered and transcribed by researchers belonging to the NURC (Project for the Study of the Cultivated Linguistic Norm) in Bogotá (Colombia), for Spanish language, and in São Paulo (Brazil), for the Portuguese. Once the corpus established, we gathered and classified the utterances of eleven interviews in Colombian Spanish, in which the particle QUE and other related forms appear. Necessary contextual elements were preserved to make possible an accurate syntactic analysis. The syntactic contexts of QUE detected in the Spanish corpus guided the division in five chapters of our work. The first one is a diachronic approach which constitutes an effort to reach the ancient and original usages of QUE in order to a better understanding of its present behavior. The relative pronoun QUE, other relative pronouns, relative adverbs, as well as their Portuguese counterparts and their frequency of use in both languages are the subject of our second chapter. Beginning with the interrogative QUE, the third chapter deals with the Spanish interrogative pronouns in general and their corresponding forms in Portuguese...(Complete abstract, click electronic access below)

Articulação Semântico-Cognitiva por Meio de Papéis Semânticos realiza a comparação de enunciados retirados do meio jornalístico nas línguas portuguesa e inglesa, analisados com base nas teorias propostas pela gramática de casos e semântica cognitiva. A partir das idéias de background e foreground propostas por Fillmore, é possível a interpretação de tais enunciados como eventos. Pretende-se, aqui, categorizar os predicadores, verificar seus possíveis efeitos de sentido dentro do contexto em estudo, determinar as relações temáticas que envolvem os núcleos preposicionais, analisar e dimensionar os dados qualitativamente. A análise procedeu-se tendo como corpus editorial da revista National Geographic, nas versões em língua portuguesa e inglesa, donde se concluiu que o ambiente enunciativo tanto na fala quanto na escrita sofre alterações, mas, apesar de flutuações sintáticas (como indicações de tempo e gênero), o campo semântico mantém-se inalterado, ou seja, estável e produtivo. / Cognitive -Semantic Articulation by Semantic roles compares sentences from publications in Portuguese and English Languages, analyzing them through the theories proposed by The Case Grammar and Cognitive Semantics. The concepts of background and foreground presented by Fillmore allow an interpretation of such sentences as events. The intention is to categorize the verbs, verify their possible effects within the analyzed context, determine the thematic relations involved in the prepositional nucleons and qualitatively analyze the data. The analyses had the Portuguese and English versions of a National Geographic editorial as a corpus, from which we concluded that although the discourse environment can differ, the semantic field remains unaltered.

Gramática de grafos é uma linguagem formal bastante adequada para sistemas cujos estados possuem uma topologia complexa (que envolvem vários tipos de elementos e diferentes tipos de relações entre eles) e cujo comportamento é essencialmente orientado pelos dados, isto é, eventos são disparados por configurações particulares do estado. Vários sistemas reativos são exemplos desta classe de aplicações, como protocolos para sistemas distribuídos e móveis, simulação de sistemas biológicos, entre outros. A verificação de gramática de grafos através da técnica de verificação de modelos já é utilizada por diversas abordagens. Embora esta técnica constitua um método de análise bastante importante, ela tem como desvantagem a necessidade de construir o espaço de estados completo do sistema, o que pode levar ao problema da explosão de estados. Bastante progresso tem sido feito para lidar com esta dificuldade, e diversas técnicas têm aumentado o tamanho dos sistemas que podem ser verificados. Outras abordagens propõem aproximar o espaço de estados, mas neste caso não é possível a verificação de propriedades arbitrárias. Além da verificação de modelos, a prova de teoremas constitui outra técnica consolidada para verificação formal. Nesta técnica tanto o sistema quanto suas propriedades são expressas em alguma lógica matemática. O processo de prova consiste em encontrar uma prova a partir dos axiomas e lemas intermediários do sistema. Cada técnica tem argumentos pró e contra o seu uso, mas é possível dizer que a verificação de modelos e a prova de teoremas são complementares. A maioria das abordagens utilizam verificadores de modelos para analisar propriedades de computações, isto é, sobre a seqüência de passos de um sistema. Propriedades sobre estados alcançáveis só são verificadas de forma restrita. O objetivo deste trabalho é prover uma abordagem para a prova de propriedades de grafos alcançáveis de uma gramática de grafos através da técnica de prova de teoremas. Propõe-se uma tradução (da abordagem Single-Pushout) de gramática de grafos para uma abordagem lógica e relacional, a qual permite a aplicação de indução matemática para análise de sistemas com espaço de estados infinito. Definiu-se gramática de grafos utilizando estruturas relacionais e aplicações de regras com linguagens lógicas. Inicialmente considerou-se o caso de grafos (tipados) simples, e então se estendeu a abordagem para grafos com atributos e gramáticas com condições negativas de aplicação. Além disso, baseado nesta abordagem, foram estabelecidos padrões para a definição, codificação e reuso de especificações de propriedades. O sistema de padrões tem o objetivo de auxiliar e simplificar a tarefa de especificar requisitos de forma precisa. Finalmente, propõe-se implementar definições relacionais de gramática de grafos em estruturas de event-B, de forma que seja possível utilizar os provadores disponíveis para event-B para demonstrar propriedades de gramática de grafos. / Graph grammars are a formal language well-suited to applications in which states have a complex topology (involving not only many types of elements, but also different types of relations between them) and in which behaviour is essentially data-driven, that is, events are triggered basically by particular configurations of the state. Many reactive systems are examples of this class of applications, such as protocols for distributed and mobile systems, simulation of biological systems, and many others. The verification of graph grammar models through model-checking is currently supported by various approaches. Although model-checking is an important analysis method, it has as disadvantage the need to build the complete state space, which can lead to the state explosion problem. Much progress has been made to deal with this difficulty, and many techniques have increased the size of the systems that may be verified. Other approaches propose to over- and/or under-approximate the state-space, but in this case it is not possible to check arbitrary properties. Besides model checking, theorem proving is another wellestablished approach for verification. Theorem proving is a technique where both the system and its desired properties are expressed as formulas in some mathematical logic. A logical description defines the system, establishing a set of axioms and inference rules. The process of verification consists of finding a proof of the required property from the axioms or intermediary lemmas of the system. Each verification technique has arguments for and against its use, but we can say that model-checking and theorem proving are complementary. Most of the existing approaches use model checkers to analyse properties of computations, that is, properties over the sequences of steps a system may engage in. Properties about reachable states are handled, if at all possible, only in very restricted ways. In this work, our main aim is to provide a means to prove properties of reachable graphs of graph grammar models using the theorem proving technique. We propose an encoding of (the Single-Pushout approach of) graph grammar specifications into a relational and logical approach which allows the application of the mathematical induction technique to analyse systems with infinite state-spaces. We have defined graph grammars using relational structures and used logical languages to model rule applications. We first consider the case of simple (typed) graphs, and then we extend the approach to the non-trivial case of attributed-graphs and grammars with negative application conditions. Besides that, based on this relational encoding, we establish patterns for the presentation, codification and reuse of property specifications. The pattern has the goal of helping and simplifying the task of stating precise requirements to be verified. Finally, we propose to implement relational definitions of graph grammars in event-B structures, such that it is possible to use the event-B provers to demonstrate properties of a graph grammar.

No português brasileiro (PB) há basicamente dois tipos de nasalidade: a nasalidade dita fonológica é a marca de nasalidade obrigatória que recebe a vogal quando seguida por uma consoante nasal na mesma sílaba (como em ‘campo’); a nasalidade dita fonética é a marca de nasalidade que recebe a vogal de uma rima vazia seguida de uma consoante nasal no onset da sílaba seguinte (como em ‘cama’). Em língua espanhola (LEsp), considera-se que o traço [+ nasal] não tem relevância fonológica, apenas fonética. Entretanto, mesmo que ocorra alguma nasalização, esta é praticamente imperceptível para um falante nativo e também não é auditivamente relevante para os falantes não-nativos em geral. Devido à proximidade entre português e espanhol e considerando a grande quantidade de brasileiros estudantes de LEsp que nasalizam a vogal oral /a/ em LEsp quando seguida de consoante nasal, desejamos verificar se o estudante de graduação tem dificuldade em perceber esse segmento. Para isso, os sujeitos da pesquisa – estudantes do Curso de Graduação em Letras-Licenciatura da UFRGS de diferentes semestres e falantes nativos de LEsp (grupo de controle) – foram submetidos a dois testes de percepção – um constituído por um texto e outro por uma lista de palavras -, nos quais deveriam identificar se um som vocálico era nasal [ã] ou oral [a]. Com esses instrumentos e baseados nos estudos de Sampson (1999), Moraes (1997) e Beddor (1993) sobre nasalidade e percepção vocálica, desejamos verificar se os estudantes percebem categoricamente a distinção entre vogal nasal e não-nasal e também se os estudantes em níveis médio e avançado mostram uma percepção melhor do que a dos estudantes dos níveis básicos. Falantes nativos de LEsp foram submetidos aos testes para fins de controle da confiabilidade dos mesmos e para verificarmos até que ponto a nasalização indevida das vogais pode prejudicar a comunicação.

Vários métodos de especificação procuram realizar a modelagem de sistemas sob três visões: uma visão funcional, que procura apresentar as informações que trafegam entre os diversos componentes do sistema, uma visão de dados, que apresenta as relações entre as estruturas de dados estáticas do sistema e a visão dinâmica, que mostra as transformações que o sistema pode sofrer ao longo do tempo. Alguns modelos procuram integrar mais de uma visão, mas, em geral, os modelos possuem sérias deficiências ao tentarem representar mais de um aspecto do sistema ao mesmo tempo, sendo necessário o apoio de outros métodos. Este trabalho apresenta um método de especificação de sistemas que procura integrar a modelagem de dados com a modelagem funcional e dinâmica utilizando-se, para isso, das Gramáticas de Grafos como método formal de especificação. Sendo um grafo formado por vértices, arestas e rótulos, pode-se facilmente criar uma camada de abstração em que o usuário (em geral responsável pela análise de sistemas) manipule um método de especificação com o qual já convive, agora com uma semântica formal definida. Espera-se, com a aplicação do método, gerar modelos passíveis de prova, não ambíguos e que promovam um incremento de qualidade no sistema gerado. / Several specification methods try to realize system modeling following three visions: the functional vision, which is based on representing the information exchange among the several components of the system; the data vision, which represents the relations among the static data structures of the system; and the dynamic vision, which presents the transformations the system may endure over the time. Some models exist that try to integrate more than one of these visions, but, in general, they suffer from deficiencies when trying to represent more than one aspect of the system at the same time, in which case the use of other methods is necessary. This work presents a novel method of systems specification that attempts to integrate data modeling with functional and dynamic modelings using, for this, Graph Grammars as its formal specification method. A graph, being made of nodes, edges and labels, is appropriate for creating, easily, an abstraction layer in which the user (usually responsible for the system analysis) manipulates a specification method which is known to him, but now with a well defined formal semantics. We hope, by applying this method, to generate provable, unambiguous models which promote an increase in the quality of the generated system.

Programas sofrem diversas modificações ao longo das etapas de desenvolvimento, implantação e manutenção. A evolução de um software pode ter várias causas: correção de erros, inclusão de novas funcionalidades ou até mesmo, como é o caso de programas orientados a aspecto, transformações estruturais podem fazer parte da semântica do sistema. Apesar de modificações serem comuns, não é tarefa trivial prever como estas afetam o comportamento dos programas, já que os componentes de software normalmente interagem de forma complexa, o que faz com que mesmo pequenas alterações possam introduzir comportamentos indesejados. Transformação de grafos, também conhecida como reescrita de grafos, é um importante paradigma para modelagem e análise de sistemas. Modelos baseados em transformação de grafos, como gramáticas de grafos, permitem uma modelagem ao mesmo tempo intuitiva e com semântica precisa, permitindo a aplicação de técnicas de análise como verificação de modelos e análise de par crítico no estudo do comportamento de sistemas. A teoria por trás de transformação de grafos vem sendo desenvolvida a várias décadas, e atualmente está descrita de uma forma bastante abstrata. Contudo, ainda não possui uma definição natural de reescritas de alta ordem, que facilitaria a definição de evolução de especificações compostas por regras de reescrita de grafo, tais como gramáticas de grafos. Nesta tese são abordadas a modelagem e a análise de sistemas sob modificações programadas no contexto de gramáticas de grafos. A generalização da abordagem de pushout duplo para reescrita de grafos é utilizada como o princípio geral para descrever, simultaneamente, a semântica do sistema e modificações estruturais. Para tal, introduzimos uma noção de reescrita de segunda ordem para modificar a estrutura de regras de transformação de grafos, e usando isso, definimos modelos equipados simultaneamente de regras de primeira e segunda ordem, chamados gramáticas de grafos de segunda ordem. Através destes modelos podemos representar simultaneamente transformações estruturais e execução do sistema, e relacionar formalmente ambos tipos de reescrita. Também propomos novas técnicas para investigar o efeito da modificação de regras sobre a aplicação destas. Finalmente, como um exemplo de aplicação da teoria, caracterizamos construções de sistemas orientados a aspectos através de gramáticas de grafos de segunda ordem, e discutimos como utilizar as novas técnicas para estudar o efeito da combinação aspectual sobre o sistema inicial. / Software systems are not static entities: they usually undergo several changes along their development and maintenance cycles. Software evolution may be required for several reasons, such as the inclusion of new functionalities, the correction of errors or even as part of the system semantics, as it is the case of aspect-oriented systems. However, it is usually not trivial to foresee how structural changes can affect the system behaviour, since system components often interact in very complex ways, and even trivial modifications may introduce new problems. Graph transformation, also known as graph rewriting, has been used throughout the years as an important paradigm for system modelling and analysis. Models based on graph transformation, such as graph grammars, allow an intuitive but formal representation of the system behaviour, allowing the usage of analysis techniques such as model checking and static analysis of rule interaction. The theory behind graph transformation is quite general, and has been studied since the 1970s. However, it still lacks a general notion of higher-order rewriting that would allow a natural definition of model transformations for graph grammars. The lack of general second-order characterization presents difficulties for employing graph grammars as targets of model transformations, and studying how model transformations affect their natural behaviour. In this thesis we address the problem of modelling and analysing systems undergoing programmed modifications in the context of graph grammars. We use the generalization of the double-pushout approach for graph rewriting as a principle for defining simultaneously the system semantics and structural modifications. To achieve this, we introduce a notion of second-order graph rewriting that acts on graph transformation rules. Based on secondorder rewriting we are able to define second-order graph grammars, models equipped with a first-order layer, representing the original system execution, and a second-order layer, representing a model transformation. Using second-order graph grammar we can encode simultaneously model transformations and system execution, allowing us to formally relate them. Moreover, we propose new techniques to investigate the effect of rule modification over their effect on graphs. As an application example, we characterize aspect-oriented constructions for graph grammars, and discuss how to relate the aspect weaving layer with the base system semantics.