"Tudo" em Natal : definitude, implicaturas e contribuições para o ensino de língua materna

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

Variação, mudança e ensino: o caso dos pronomes possessivos da gente e nosso(a)(s) em uma abordagem sociofuncionalista

In this work, we analyze the variation and change phenomenon involving the possessive pronouns da gente and nosso(a)(s) in the light of the theoretical referentials of the North-american linguistic functionalism and of the variationist sociolinguistics. At first we present the phenomenon itself, highlighting the fact that few studies have considered it as an object, gap which we will try to fill in with our contribution. In the following chapter, we emphasize concepts and principles of the functionalism and the sociolinguistics that are used as our background for the data analysis. In the third chapter, we present what the normative grammars inform about our object of study, besides synthesizing some works on variation and change involving the personal pronouns nós and a gente. In the following chapter, we analyze the data. We used data from the Discurso & Gramática a língua falada e escrita na cidade do Natal (FURTADO DA CUNHA, 1998) corpus. In this chapter we present the results for the groups of social and linguistic factors which we can control. Grounded on these results, we specify the preferential contexts for employing the pronouns da gente and nosso(a)(s) and we observe that the social motivations, the valorization credited to the forms and the identity marks underly the restrictions exercised in their use by social factor groups, besides obtaining signs of ongoing changes in apparent time (from the age factor groups) and possible use specializations of each form, what helped us verify the course of the grammaticalization process of the referred pronouns in the community of Natal. In the sixth chapter, we make some considerations on the teaching of grammar and propose activities which can be carried on in the classroom involving the possessive pronouns da gente and nosso(a)(s) considering the variation and change issue

Se inicia oração com pronome clítico? Atitudes linguísticas, na escola, em relação aos padrões brasileiros de colocação pronominal

Focusing on the empirical assessment issue, proposed by Language change theory (cf. cf. WEINREICH; LABOV; HERZOG, 2006; LABOV, [1972] 2008), this research assists to clarifying Portuguese teacher s attitudes in Natal- RN, regarding (a) to proclisis in three specific contexts: in the beginning of a simple/compound sentence (V1), after the subjects (SV), and proclisis after the secondary verb in complex verbal structures (V1V2); (b) to students who use such patterns in usage. Specific contexts were gathered thanks to their representing of the standard variety, as many studies have proven (Martins, 2012; Schei, 2003; Biazzoli, 2010, 2012). The research aims at: (i) verifying by means of a classroom assessment test, whether Portuguese teachers correct proclisis on referred contexts; (ii) identifying, via attitudinal tests what actions teachers take regarding to the usage of standards above mentioned, as well as students as users of those. Twenty Portuguese teachers, picked at random out of different of public schools in Natal-RN, responded to a classroom assessment test in addition to other two attitudinal ones. Results achieved point to a recurring high proclisis correction index of 50% in simple/compound sentences, even though such variety has been implemented to pronominal usage standards in Brazilian Portuguese. This setting of usage was generally assessed negatively, having no commonality between this assessment and the neutral one used by students. Unlike previous setting, the proclisis after subject did not receive any correction of the twenty teachers, what proves coherence with the positive evaluation both the varieties and the students attained. As for the second verb of complex verbal structures, proclisis correction went negative on presenting single results, despite their proximity, with correction indexes of 20% (infinite structures), 10% (present progressive structures) and 25% (participle structures). The assessment on these contexts of proclisis ranged between positive and neutral, also valid for the one students utilized. It means that proclisis in the beginning of simple/compound sentences are yet seemingly spotted in writing school scenario, much likely due to the negative evaluation, opposite to students . Later to subjects and earlier to secondary verbs in structures, proclisis appears to be acknowledged in writing school scenarios, which reflects on teachers assessment as compared to students who use proclisis in these contexts; being in general either positive or neutral

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.

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Aspectos comparativos da regência verbal em Português e Inglês para a elaboração de um dicionário bilíngue

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Estratégias de relativização e classe de palavra: um estudo tipológico-funcional

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

Acessibilidade semântica nas construções relativas em línguas indígenas brasileiras: um estudo tipológico-funcional

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Construção exploratória de uma prepnet para o português do Brasil: uma incursão linguistico-computacional no universo das preposições indicativas de espaço

Pós-graduação em Linguística e Língua Portuguesa - FCLAR

Os diferentes padrões das construções com pois

Pós-graduação em Linguística e Língua Portuguesa - FCLAR

Estudo das fricativas coronais da língua portuguesa: da fonética à ortografia e da ortografia à fonética

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

Ao mar, navegar é preciso: o pensamento estratégico da Marinha vis-a-vis à política externa brasileira

Pós-graduação em Relações Internacionais (UNESP - UNICAMP - PUC-SP) - FFC

Prefixos latinos de movimento: um estudo morfológico e lexicográfico

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

Léxico e gramática no Diccionario da Lingua Portugueza (1813) de António de Morais Silva

António de Morais Silva publicou em 1789 a 1ª edição de seu Diccionario da Lingua Portugueza e em 1813, a sua 2ª edição, ambas em Lisboa. Partindo da relação entre gramática e dicionário, obras que se completam no ensino e aprendizagem de uma língua, estudamos neste trabalho a projeção gramatical do autor na elaboração dos verbetes da 2ª edição do Diccionario, numa tentativa de demonstrar que Morais, influenciado pelas idéias reformistas do Século das Luzes em Portugal, inovou em termos lexicográficos e gramaticais, registrando essas inovações e também algumas críticas às gramáticas de seu tempo, no interior dos verbetes de sua obra lexicográfica.

Verso é pra cantar: e agora, Virgílio?

Embora as gramáticas latinas possam dar a impressão de que tratam de matéria cujo conhecimento dominamos com tranqüilidade, a verdade é que todo o latim que nós modernos podemos saber é inteiramente baseado em dados teóricos, isto é, escolares, e não empíricos. Isso significa que nosso conhecimento sobre essa língua antiga comporta mais lacunas do que gostaríamos talvez de admitir. É esse o caso fundamental da oposição entre vogais longas e breves. Procurar pensar o idioma dos antigos romanos como uma língua de fato, ou seja, como a língua materna de todo um povo, seria uma boa maneira de encaminhar o estudo do latim, à medida que aqueles dados teóricos possam ser compreendidos menos como referência de pura erudição e mais como sinal de humanidade.