O gênero blog: ação social e multimodalidade.

Studies about discursive genres peak at a necessity to understand how these genres work in a society that is more and more submissive to the technology of informatics such as ours. In acknowledging that the virtual context of the Internet provides the manifestation and development of new genres of the discourse, we perceived that the online journal, or blog, as commonly known, is responsible for a variety of linguistic phenomena that would normally take severaI years to consolidate. Since its appearance in 1997 blogs rush as a virtual version of the personal diary and in a short time due to communicative demands suffers several changes, making new categories of blog genres emerge. Facing such phenomena, this work intends at first to characterize blogs as a genre that exercises a social action, evidencing its formal, structural and pragmatic characteristics from the notion of recurrence and rhetoric in a discursive-semiotic perspective. The methodological postulates adopted by this research are considered of qualitative basis in the sense that they are not restricted to looking at the discursive events as a product, but mainly they take into consideration a group of situational, cultural and ideologic factors that are present in the constitution of genre.

O ensaio jornalístico na revista Veja: uma análise multidimensional

This work has as objective generality to make a multidimensional analysis in the genre journalistic assay, communicative genre that, beyond complex and multimodal, presents hybrid characteristics. Specifically, with the intention to propose defining criteria of the cited genre, this research looks for to establish differences and similarities between the assay and other genres of the same sphere, from the description and interpretation of used multimodal resources. The analysis of the formal, schematical and rhetorical resources identified in the formatting of the journalistic assay sample that the analyses are supported in the socio-semiotic and socio-rhetorical approaches. In the formal dimension, we contemplate elements that constitute design of the text, including the forms of representation from the typography, the colors, images, as well as the aspects communicative-linguistics: the modalization indices, the communicative operators and the category time; in the schematical dimension, we present the organizational structure, considering the rhetorical movements postulates for Swales (1990) and in the rhetorical dimension we observe the categories: who writes, for who it writes, on what it writes and where writes. The adopted methodologicals postulates are of qualitative nature and the procedure is documentary, data that in we are valid them written texts of this genre as analysis object. Corpus it is constituted by a composed sample for 14 extracted texts of a set of 173 propagated journalistic assays weekly for the magazine Veja, in the period between August of 2004 and January of 2008. The analysis of the data showed that the journalistic assay, object of this study, materializes through multiple symbolic representations and multiple subjects that turn since a small episode of the daily facts of great social relevance in the present time, of historical and cultural nature, nationwide or international. Used for the first time by Montaigne in 1580, to assign, in saying of the proper author, written fast on its life and historical events, which could nor be remembered later , the term `assay' was enriched with other specifications, of form to enclose the one that if they call scientific assay today, academic assay, journalistic assay and other types of specific assays. These denominations have to see with the enrollment of the members of diverse of practices communities, in virtue of the multiplicity of activities carried through in these spheres. The conclusions the one that we arrive had been the following ones: 1. the discursive genre is not a pure entity, in virtue of the multiplicity of situations where the sorts if insert in the social actions; 2. the institutions define the configuration of one definitive genre, also its proper assignment, since for backwards of all discursive genre a voice exists to discipline - institutional voice, and in the case of the assays for analyzed us, the institutional voice if it presents, really, as a defining trace; 3. the journalistic assay, for its multiple symbolic representations, multiple subjects and for passing explicit or implicit opinions of its author, resembles it other genres, being able, therefore, to be inserted in a colony of opinionatives genres

Iracema: a alegoria da mãe genti(o)l

A abordagem da visão da literatura nacional dentro do contexto cultural brasileiro da segunda metade do século XIX e do posicionamento crítico de José de Alencar fez, de sua produção romanesca, especialmente a indianista, representada aqui por sua obra Iracema, um símbolo do conjunto de intenções nacionalistas que invadiu a alma e o coração de todo o povo, no que diz respeito ao sentimento de brasilidade , condizente com a estética romântica da qual faz parte seu autor. Seu posicionamento, quer seja crítico ou artístico, faz de Alencar o maior polemista em defesa da liberdade cultural e literária do Brasil, enquanto alguém bem consciente de sua função social, e por que não dizer, crítica, identificando a metalinguagem como um diferencial fomentador de uma teorização de poética na defesa de sua ficção, abrindo caminho, assim, para a pesquisa da poética explícita na sua produção artística. A referida análise buscará, a partir de uma análise estrutural das partes formais que o compõem esteticamente, como também de uma compreensão temática dos ditos e interditos utilizados pelo narrador alencariano na composição de seu discurso, identificar Iracema enquanto um romance que disputa o título de obra fundacional do Brasil. Para isso se faz necessário empreender uma abordagem do como e do quanto os elementos da Natureza, num romance romântico que tem a Natureza enquanto uma de suas temáticas mais significativas, podem constituir e interferir na percepção e construção de um personagem, que é todo Natureza, e no meio natural em que ele vive; até mesmo ser, por causa disso, o elemento mais representativo dessa nação que se deseja criar, trazendo para o cenário cultural brasileiro do século XIX uma versão de instituição baseada no revigoramento da memória da cultura selvagem. Faz-se lícito também animar forças da natureza e da terra-paisagem que poderiam ser tidas, apenas, como exóticas, mas que na obra em questão funcionam como protagonistas, mesmo fantasmas, de um pacto social e político que, mesmo quando rompe, recusa-se em deixar romper, mergulhando no espaço romanesco da magnitude das águas ou na frieza tumular da terra. Tomar-se-á, também, como ponto de estudo, a análise da fusão da experiência histórica com a experiência ficcional, observando o imbricamento de um discurso no outro, como também as fronteiras que se estabelecem a partir dessa tentativa; tomando o erotismo e a alegoria como pontos de convergência na obra em questão. Por meio da verificação de uma relação que se constrói a partir da solidão, da memória e do esquecimento em que acabam por mergulhar todos os seus personagens, que são, por vezes, tragados em algum dilúvio bíblico da purificação, dentro de um projeto audacioso de invenção de uma nação, que se quer de identidade cultural, e também política, mas que termina condenado ao silêncio, não gozando de liberdade em relação ao espaço a que pertence e, no entanto representa, só cabendo a eles regressarem para dentro da terra-mãe, ou se submeterem a um ritual de profunda aculturação, verificar-se-á, através desse discurso historicamente construído, o ideário de uma nação que se almejava projetar. O conflito de Iracema, personagem protagonista de sua obra homônima, a negação e a perda de si mesma, de tudo aquilo que poderia representar a sua identidade social e cultural, e, conseqüentemente, a morte e a vida dessa mãe genti(o)l, simbolizam a vida e a arte de um povo que, passando pelos embates da colonização, através de seus artistas rebeldes e românticos da Independência, que ilustraram, em grande síntese, a visão através da qual o homem do Novo Mundo foi vislumbrado, rabiscou a imagem da americanidade pelo discurso da História

Sinto uma infinita nostalgia do Oculto : vida e poesia, solidão e morte de Walflan de Queiroz

El objetivo de esta Tesis es la investigación literaria de la vida y la obra del poeta potiguar Walflan de Queiroz (1930-1995). Después de más de 17 años de su muerte, su poesía clama por una suerte crítica capaz de identificar sus características formales y estéticas. En ese sentido, se realiza el rescate de la producción poética de Walflan de Queiroz, con el fin de ofrecer los elementos que motivaron su discurso, su lirismo. Se pretende demostrar sus principales temas, como por ejemplo, el tenor metafísico, la angustia existencial, las pasiones platónicas, la muerte, la soledad, el silencio y la influencia de los poetas extranjeros, especialmente de la tradición romántica y simbolista, así como la manifestación de la religiosidad, de lo sagrado desde siempre encadenada a diversas tradiciones religiosas del mundo. Siendo así, la Tesis tiene como base teórica los fundamentos de la tradición poética y del imaginario religioso diluidos a lo largo de todo el estudio

Natal também civiliza-se: sociabilidade, lazer e esporte na Belle Époque Natalense (1900-1930)

Les initiatives du gouvernement ayant pour finalité une réorganisation de la structure urbaine de la ville au début du XXème siècle reflètent le désir vécu par les membres de l'élite locale d'encadrer Natal dans les moules des grands centres urbains de la même période. Les élites désiraient transformer Natal dans une ville moderne. Dans ce but, le gouvernement s'est engagé dans la reformulation de quelques espaces physiques de la ville. Néanmoins, il fallait aussi d autres que les transformations urbaines, la ville devrait passer par des réformes sociales. De cette façon, ces groupes ont créées des nouvelles institutions et espaces de sociabilité qui affirmeraient la capitale de l'État comme une ville moderne. Les institutions formelles avaient un rôle imortant dans la construction de cette nouvelle ville convoitée par l'élite locale. Ainsi, à travers celles-ci, se diffusaient des nouvelles pratiques sociales qui seraient reflétées dans les espaces urbains. Dans des places tels, des cafés, des clubs et associations sportives, l'élite se distinguait du populaire. Dans ces places, leurs pratiques étaient légitimées, en contrepoint avec les pratiques populaires. C était dans les clubs et par les activités pratiquées par leurs membres que les idéals de l'élite circulaient, c était par là que l'élite se formait et se transformait. De cette façon, les aspirations d'un groupe social reflétaient dans l'organisation sociale des espaces de la ville

"O núcleo supraquiasmático e o folheto intergeniculado do mocó (Kerodon rupestris): Projeções retinianas e caracterização imuno-histoquímica

In this study, two circadian related centres, the suprachiasmatic nucleus (SCN) and the intergeniculate leaflet (IGL) were evaluated in respect to their cytoarchitecture, retinal afferents and chemical content of major cells and axon terminals with a tract tracer and immunohistochemical techniques in the rock cavy (Kerodon rupestris), a Brazilian caviidae rodent species. The rock cavy SCN is innervated in its ventral portion by terminals from the predominantly contralateral retina. It also contains neurophisin and vasoactive intestinal polypeptide immunoreactive cell bodies and neuropeptide Y and enkephalin immunopositive fibres and terminals and is marked by intense GFAP immunoreactivity. The IGL receives a predominantly contralateral retinal projection, contains neuropeptide Y and nitric oxide synthase producing neurons and enkephalin immunopositive terminals and is characterized by dense GFAP immunoreactivity. This is the first report examining the neural circadian system in a crepuscular rodent species for which circadian properties have been described. The results are discussed comparing with what has been described for other species and in the context of the functional significance of these centres

Adolescentes e jovens e suas bases de apoio :relações de amizade como suporte social no enfrentamento à violência

The purpose of this work is to map the family and community social supports for adolescents and young students from Bom Pastor Distric, West Zone of Natal/RN, as well as to describe how such resources are used by these individuaIs in that community. Social support refers not only to formal activities or organizations, but also to spontaneous or informal forms of support - friendship and solidarity nets available in the community, affective relations that are meaningful in the lives of children and young people. Our discussion is based on a research performed with 382 adolescents and young students from Jean Mermoz Public School (students from 5th to 11th grades, aged 13 to 14). We emphasized the situations of violence derived from family or community spheres faced by these students. In relation to this specific aspect, we observed the participants more frequently look for help from the informal social supports, mostly from their friends, which indicates that the formal ones are not considered to be effective instruments for social assistance. The search for informal social supports shows the relations informally established in the streets (for instance when they look for help from friends, rei atives or neighbors) have more effect and play an important role in which there are values and affections exchange. Thinking the strengthening of these social links is of extreme importance and leads to the weakening of the hegemonic logics focused on the production of subjects as private identities, and to the amplification of an ethics committed to the disassembly of a sociability anchored to fear, impotence, intolerance, discrimination, and reduction of spaces for circulating and confronting mechanisms of social exclusion. It is crucial that we concentrate our attention to building friendship as a system of reciprocity and affective exchanges, as a space for political actions and production of forms of lives that are potent against social anesthesia

As Faces e os Disfaces da Informalidade no Capitalismo Conteporâneo: Um Estudo do Comércio de Rua em Pau dos Ferros/RN

This paper discusses the expression of informality in contemporary capitalism. Thematic of relevance to the analysis of the reality of work today and the logic that moves the capital, its real presence in the lives of individuals. The street trading of Pau dos Ferros town, popularly known as "street market" was chosen as the search space. The main objective is to seize and examine the articulations and logic, present in the configuration of the street trading of this city, located in the state of Rio Grande do Norte, explaining the functionality of informality for capitalist accumulation, but also for the reproduction of segments of the working class. Our analysis is based in the perspective of totality, trying to grasp the historical determinations of the phenomenon in focus. It includes the analysis of the mechanisms used by the capital to reproduce itself in the current historical context, which has been implicated in the composition of the labor markets of different countries and in various forms of exploitation to which workers in general are subject. It also means discussing the development of capitalism in Brazil, the logic that permeates its dependence, and especially the use of over-exploitation of labor, as a lever for internal accumulation. The course of investigation consisted of theoretical research to form the basis of theoretical and methodological analysis and to outline the context in which our research object is inserted, and field research conducted in two phases: systematic observation, which allowed to map traders features and the infrastructure of commerce, and the conduction of interviews with key informants. The material collected was scrutinized according to analytical scheme inspired by the content analysis. Among the main considerations developed from the research process we include: the street trading of Pau dos Ferros remains shrouded in the majority sale of agricultural products, this demonstrates the structural characteristics of the region. However, the supply of this product is no longer restricted to the excess of small local producers. The presence of the dealer changed the distribution of the product, streamlining it. In parallel, business practices are developed, practices in which traded goods (industrial) reflect the moment of capitalist restoration, a larger business network. The reflections also made it possible to show that street trading follows developing on the basis of informal work, which gains functionality to the system, as it is configured as a space commonly used to drain part of the production, of industries (clothing/shoes), especially if the distribution is considered as an essential element of the complex process that aims at capital appreciation. This activity has been functioning as a place of employment and income generation for the subjects who are away from formal employment, masking, this way, unemployment, moreover, they allow them to continue as consumers. Such expressions reflect the ability and the logic of capital to expand and aggregate into so many realities. It is underway today, the logic that has led many workers to join the project of domination of capital, by the illusory chance to become capitalists. The aim has been to turn the subject into a consumer and the worker an enterprising

Gestão da informação utilizando o método infomapping

A gestão da informação é extremamente importante para as organizações. O mapeamento informacional é um instrumento que pode ser utilizado no âmbito da gestão da informação. Para realizar o mapeamento informacional, pode-se utilizar o método denominado Infomapping, criado por Burk Jr. e Horton Jr., que se constitui em uma valiosa ferramenta para gerenciar os recursos de informação de uma organização. Ele permite descobrir com exatidão o grau de desconhecimento que se tem sobre as fontes, serviços e sistemas com os quais se desenvolve o trabalho informacional da organização. O processo consiste em criar um levantamento de todas as informações, que supostamente constituem-se num recurso informacional gerado internamente ou produzido externamente, que impactam diretamente as atividades corporativas.

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.

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

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

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

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.