BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Correntes em rede: uma interpretação imagética e textual das correntes religiosas virtuais

This paper develops an analysis of virtual chains religious imagetic. The profusion of images that accompanies us is an irrefutable fact today. The imagetic and virtual join the religion. The approach of the old with the new makes possible the emergence of this new religious practice. Therefore, the study sought to characterize the context in which the virtual chains religious develop. From this perspective, emphasizes religion and cyberculture in order to explain how from that link, it originates an element that exemplifies the current society imagery. This study of the chains takes place from the perspective of the receiver. The image is considered as language, while in communicating becomes capable of imitation

Gêneros do discurso e escrita: o que as coleções didáticas de português (des)prestigiam no ensino da produção textual?

Through the examination of official indicators, it can be observed that writing is pointed out as one of the main problems concerning formal basic education. However, this teaching-learning object is one of the central objectives at school, having an essential role in different curricular components as well as in the interaction demands required by society. Such paradox indicates, therefore, the relevance of investigations which analyze the intrinsic elements of child development as written text producer. Hence, the main purpose of this research consists of analyzing the treatment given to the types of discourse and the teaching situations in which the written text are produced, concerning Portuguese language didactic material collections approved by Programa Nacional do Livro Didático (PNLD 2010) the Brazilian program of didactic book and worked at elementary school. Such materials correspond to the collections adopted in municipal education system schools from Natal, RN which were below the official education indicator IDEB 2009. Thus, the questions that guide this work are: 1. During writing production lessons, is the diversity of types of discourse effectively worked on didactic collections? 2. Which are the types of discourse and the social spheres prioritized when teaching writing production? 3. How is the situation addressed in the production of the written text should be produced? For this research, we retook the authors Bakhtin, Bunzen, Faraco, Freire, Rodrigues, Rojo, Schneuwly e Dolz and we made a list of all types of discourse and spheres contemplated in the propositions of the writing production in didactical books, concerning the eight collections which compounds the first moment of analysis. Then, we verified how the situation of production is oriented by examining two didactic collections if and how they express the elements referring to the social-historical, functional and linguistic-discursive context of the text to be produced. The data obtained indicate: lack of diversification of types of discourse in the collection that compounds the Aggregate Sample of the research; the conception of a diversity based on the didactic of visiting; the recognition of all canonical and hegemonic types of text as one of the privileged objects of study; the centralization on the standard variety of the language and the devaluation of the representative types of cultural diversity; the shortage of productions which retrace to written language related to different technologies of communication and information; and the little emphasis on the types of discourse related to public language practices. As for the situations of production, it is observed the predominance of the school as a producer of dialogic relationships, whose propositions present, for example, text addressees, enunciative positions, support and contexts of restricted circulation, especially at school. Two divergent situations are observed among the collections: the lack of a work in which the situation of production is under the perspective of the types of discourse as object of teaching-learning; the concept of the types of discourse as object of reflection, presenting a differentiated didactic orientation towards the situation of production. This research contributes, therefore, with a mapping of the existence and the treatment of the types of discourse on propositions of writing production in didactic books; with the critical analysis of the approach of written activities, considering the elements of the historical-social, functional and linguistic-discursive context; thus, through teaching, research and public policies, use and selection of didactic material for the area

A Transposição Didádica dos Gêneros do domínio do discursivo publicitários nos livros didáticos

Advertising text has been a subject of many investigations, because of its multimodal universe. Embodied by a linguistic and discursive materiality laying on scene persuasion, argumentation and power imagery of multissemiotics elements, the advertising text acts as an instrument of power, creating and destroying, promising and denying (CARVALHO, 2007). Advertising not only invites us to act for it, but directs us to look at it. It was under this moving look - of charm and interrogations - that discussions raised in this research were born. Investigations are directed to the school environment, in special, for the discursive advertising domain in Portuguese Language Textbook. It is from this environment that was born our research whose main objective is to analyze how does the didactic transposition of textual genres, described by Marcuschi (2008) as belonging to the "advertising" discourse domain (focusing on advertising genre) in didactic books teaching Portuguese Language before and after the advent of the PCN. Textbooks taken as reference for the study are historically situated in the 90s of the twentieth century and 10 century. Such books refer to elected 7th and 8th grades, currently corresponding to the 8th and 9th grades of elementary school. The choice is justified by the fact that in these Textbook teaching series the presence of advertising domain is recurrent and "didactized". In addition, we are also concerned in analyzing books that circulated around us and our regional reality. Hence, we elected books that were used by two public high schools: Municipal School Clementina Ana da Conceição in Jaçanã city in the Rio Grande do Norte state, State School for Elementary and High school Carlota Barreira in Areia city, Paraíba state. In our research the following categories of analysis were highlighted: (1) presence of advertising in DB, (2) fluctuation terminology: concepts and classifications; (3) The complexity of concepts facilitation, (4) what they propagate, and from which nature are the explored advertisements. From our analysis, we observe how the treatment of textual "advertising" genres have been inserted into Textbooks, and how occurs, in general, their didactic transposition. Focusing on the issue of fluctuating terminology, we noted the difficulty in drawing boundaries between the genres of advertising domain in the Textbooks. However, this also would result in the complexity - in the field of scientific knowledge - of delimiting genres of the same domain. To accomplish our studies, it was required a thorough and systematic dialogue with theories regarding the concept of "Didactic Transposition", due to the theoretical Chevallard Yves (1991), research on the textual genres - Bezerra (2005), Marcuschi (2008), Bazerman (2005), Swales (2004), among others - and studies involving the field of "Advertising" - Sandmann (2002), Carvalho (2007) and others

Análise textual dos discursos: responsabilidade enunciativa no texto jurídico

This investigation aims at describing, analyzing and interpreting the Commitment in Initial Petitions, which is a genre circumscribed in the judicial domain. For this purpose, we have chosen sections, facts as found and relevant law , sections of the petition, with the understanding that, in this way, respectively, the narration of events, which gives margin to the propositioning to the judicial action, and the exposition of the law that upholds the author s intention. We base our discussion on the field of Linguistics, more precisely, Textual Discourse Analysis (TDA), whose theoretical basis is derived from Textual Linguistics (TL) and Enunciative Linguistics. We foreground, particularly, the way in which the author of texts, objects of analysis, use discursive strategies that evidence ER. The relevance of this study, then, is in the formation of a critique of the judicial text, as it conceives of a dialogical approach to the point of view, raising not only questions about the way in which a linguistic instance conceives an object of discourse, but also considering questions of language inherent to technical writing and, in this aspect, contributing to the work of those operating in Law about the many ways ER is formed in the body of a petition. We selected two categories to analyze that, according to Adam (2011), characterize the degree of ER in the textual material of the propositional enunciations: the different types of representation of speech and the indications of profile of mediators. In this sense, with this task as an objective, we base our study regarding point of view on Rabatel (2003, 2009a, 2010) with relation to the enunciative approach, including the study of PDV in polyphonic and dialogical theoretical framework to study the ER from different types of speech representations that conceive forms of transmission of discourse and the role of the enunciating subject, mainly the responsibility and the prerogative by the propositional contents. In the same way, intending to study the indications of the mediator profiles, we observed the postulations of Guentchéva (1994, 1996), which develop the notion of mediative grammatical categories, of which permit the linguistic marking of distance and engagement of the enunciator with regard to the information expressed. The methodology we adopted was based on qualitative research, of an interpretive and introspective nature, in light of the fact that his study focuses on processes and strategies underlying language use. The corpus of the research is comprised of Initial Petitions, which gave rise to actions originating in the Civil Court of Currais Novos County RN. The data analysis shows that an object of discourse is always perspective oriented and presents the point of view of one or more enunciators. Consequently, the producer of a text, using the PDV of other enunciators, influences and establishes the argumentative orientation of the text. In the same way, it evidences the relevance of the use of mediated constructions in the judicial text, as they function as strategies attenuated to the responsibility of the producer of the text with what is said, and at the same time points to a discourse of authority through the entrance of the sources of law. Moreover, it reveals the documental and international importance of this practice, at the same time that it exposes the compositional and normative difficulties with regard to legal and linguistic aspects

Uma estratégia dirigida a modelos e baseada em linguagem de descrição arquitetural para linhas de produtos de software

Model-oriented strategies have been used to facilitate products customization in the software products lines (SPL) context and to generate the source code of these derived products through variability management. Most of these strategies use an UML (Unified Modeling Language)-based model specification. Despite its wide application, the UML-based model specification has some limitations such as the fact that it is essentially graphic, presents deficiencies regarding the precise description of the system architecture semantic representation, and generates a large model, thus hampering the visualization and comprehension of the system elements. In contrast, architecture description languages (ADLs) provide graphic and textual support for the structural representation of architectural elements, their constraints and interactions. This thesis introduces ArchSPL-MDD, a model-driven strategy in which models are specified and configured by using the LightPL-ACME ADL. Such strategy is associated to a generic process with systematic activities that enable to automatically generate customized source code from the product model. ArchSPLMDD strategy integrates aspect-oriented software development (AOSD), modeldriven development (MDD) and SPL, thus enabling the explicit modeling as well as the modularization of variabilities and crosscutting concerns. The process is instantiated by the ArchSPL-MDD tool, which supports the specification of domain models (the focus of the development) in LightPL-ACME. The ArchSPL-MDD uses the Ginga Digital TV middleware as case study. In order to evaluate the efficiency, applicability, expressiveness, and complexity of the ArchSPL-MDD strategy, a controlled experiment was carried out in order to evaluate and compare the ArchSPL-MDD tool with the GingaForAll tool, which instantiates the process that is part of the GingaForAll UML-based strategy. Both tools were used for configuring the products of Ginga SPL and generating the product source code

Análise textual-interativa das Cartas dos Sertões do Seridó: em busca de efeitos estético-estilísticos

This work takes as its object of study a specific set of texts, designated letters about Sertões do Seridó (interstate region in the Brazilian northeastern), written by Paulo Bezerra, whose main approach is the backcountry universe. For its unique character, mainly because of a strong poetic appeal, we infer that these letters can also contain natural phenomena related to discourse-compositional structure, which may be responsible for creating specific effects, particularly aesthetical. In order to discuss and develop the issue, we set the theoretical assumptions of Textual-Interactive Perspective whose base is the concept of language as interaction, such as verbal activity impregnated with the space-time social and historical context in which the interlocutors are related, we chose the analytical category discursive topic and analyse introduction, sequencing and change of topic mechanisms. The goal is to determine the functionality of these mechanisms, noting how correlate the structural and interactional aspects are, and how this movement can be used to explain some of the aesthetic and stylistic effects of these letters. The result shows that it is used different topic organizational patterns according to the nature of the central topic. These different mechanisms express an aesthetic intention and feature a style. This result gives rise to more general conclusions about the texts: their discursive-compositional structure is related to the creation of aesthetics and stylistics effects.

A leitura e a produção textual no ensino fundamental I: uma proposta de como trabalhar com os gêneros textuais

The little interest in reading and the large presence of deviations in writing observed in the texts of students of the 5th grade of a public school in RN, led us to question the motives of this problem. Thus, the idea to organize and develop teaching sequences with a variety of possibilities of reading and production through the text genres. The practice with the textual genres in elementary school extends the use of reading and writing and improves the quality of learning. In this way, the school, as one of the most active spheres in social practices of the language, we justify this work with the use of text genres as facilitators for teaching and learning the mother tongue. For this purpose, we draw as the main objective to talk about the work with textual genres from the development of didactic sequences, as well as encourage students to take a more reflexive attitude toward language and its uses, as discursive social practices. The development of the study with the text genres was made through the application of didactic sequences in the school context of elementary school classes, from 5th grade. Specifically were chosen, the letter, note, music, poetry, fable and the tale. The study is anchored in the reflections of the following theorists and researchers: Bakhtin (2011), Miller (1994), Marcuschi (2008) and Bronckart (1999) on the text genres; Marcuschi (2005) and Dolz and Schneuwly (2004) that approve a teaching-learning proposal focused on textual genres, giving a meaning to language in the construction of the knowledge and Dolz and Schneuwly (2004) regarding the didactic sequence; other theoretical orientations: PCN (1998), Lerner (2005), among others. The methodology followed the action research guidelines, in a qualitative approach perspective. The instruments of research included questionnaire, observations, readings and productions. The results pointed the students' interest in relation to the activities developed in the didactic sequences and consequently improvement in the students‘ own writings. In this sense, we reiterate the need to contamplate in the teaching activities the diversity of texts and genres and, not only due to its social relevance, therefore the student should be able to use the language in various way and adapt their texts to situations of oral and written interlocution.

Uso didático do Facebook como estratégia de leitura para o gênero textual poesia

The poor performance of students in reading and writing activities, prompted the search for actions that would minimize this problem, noticeable mainly in public education. The lack of interest in reading of poetic texts seen in students from the 7th year in a public school in RN, has led us to question the reasons for the rejection of poetry. Thus, the idea to organize and develop new reading possibilities mediated by digital technologies, considering the preference of teenagers by virtual environments. Therefore, it was essential to observe how students used web resources in order to plan actions that aimed to improve their reading performance. We present to justify the need for reflection on the educational problems starting from our reality, in order to establish appropriate procedures to minimize them. To this end, we draw is to investigate how students appropriated the Facebook social network in order to elaborate reading strategies using this platform. The study is anchored in the reflections of the following theorists and researchers: language concepts and language: Bakhtin (2011 [1979] 2006 [1999]), Bronckart (2012 [1999]), Marcuschi (2008); reading strategies: Leffa (1996) Solé (1998), Antunes (2009), Kleiman (2013); genre: Bakhtin (2011 [1979] 2006 [1999]), Marcuschi (2008); didactic sequence: Dolz, Noverraz and Schneuwly (2013 [2004]); technologies: Moran (2008 [2000]), Kenski (2007), Bento (2012), Behrens (2013); literary literacy: Cosson (2007); other theoretical orientations: PCN (1998), PDE (2008), Perrenoud (1999), among others. The methodology followed action research guidelines, a qualitative approach perspective. The research instruments included questionnaires, interviews, observations and field notes. The results pointed to the interest of students in this social network, which favored the development of a didactic sequence whose activities converged on the didactic use of Facebook as a support for the presentation of textual poetry genre, drawing the attention of students for reading. Thus, we reiterate the need to include the pedagogical use of Information and Communication Digital Technologies educational activities to better meet the expectations of the generation of "digital natives", offering them a significant Portuguese-speaking school that fits your interests.

Uso didático do Facebook como estratégia de leitura para o gênero textual poesia

The poor performance of students in reading and writing activities, prompted the search for actions that would minimize this problem, noticeable mainly in public education. The lack of interest in reading of poetic texts seen in students from the 7th year in a public school in RN, has led us to question the reasons for the rejection of poetry. Thus, the idea to organize and develop new reading possibilities mediated by digital technologies, considering the preference of teenagers by virtual environments. Therefore, it was essential to observe how students used web resources in order to plan actions that aimed to improve their reading performance. We present to justify the need for reflection on the educational problems starting from our reality, in order to establish appropriate procedures to minimize them. To this end, we draw is to investigate how students appropriated the Facebook social network in order to elaborate reading strategies using this platform. The study is anchored in the reflections of the following theorists and researchers: language concepts and language: Bakhtin (2011 [1979] 2006 [1999]), Bronckart (2012 [1999]), Marcuschi (2008); reading strategies: Leffa (1996) Solé (1998), Antunes (2009), Kleiman (2013); genre: Bakhtin (2011 [1979] 2006 [1999]), Marcuschi (2008); didactic sequence: Dolz, Noverraz and Schneuwly (2013 [2004]); technologies: Moran (2008 [2000]), Kenski (2007), Bento (2012), Behrens (2013); literary literacy: Cosson (2007); other theoretical orientations: PCN (1998), PDE (2008), Perrenoud (1999), among others. The methodology followed action research guidelines, a qualitative approach perspective. The research instruments included questionnaires, interviews, observations and field notes. The results pointed to the interest of students in this social network, which favored the development of a didactic sequence whose activities converged on the didactic use of Facebook as a support for the presentation of textual poetry genre, drawing the attention of students for reading. Thus, we reiterate the need to include the pedagogical use of Information and Communication Digital Technologies educational activities to better meet the expectations of the generation of "digital natives", offering them a significant Portuguese-speaking school that fits your interests.

A produção textual no ensino fundamental: processo de retextualização com o gênero memórias

Teaching Portuguese language in Brazilian public schools is still limited mostly to studying decontextualized text fragments, memorizing classifications and cult of grammar rules. Considering the language as a social, cultural practice which emerges from the intersubjective interaction, we sought to propose an educational intervention that prioritizes the retextualization processes from speech to the writing of memoirs as a textual genre, so as to contribute for improving learner’s discursive performances. Therefore, paying attention to these concerns and in attempt to contribute for improving the teaching of Portuguese language in elementary school, we chose as privileged locus a 9th grade class from a state school in Bento Fernandes, RN. The corpus is formed by texts produced and retextualized by students from the elders’ oral reports within local community. We sought thus to understand what memory is, its importance for registering local spoken language and culture, as much as to carry out didactic actions that favor students’ learning in the activities of textual production. In light of the theoretical overviews about linguistic-discursive relations, based on Marcuschi’s (1993, 1997, 2001, 2002, 2006, 2008, 2010) conception of oralitiy-writing continuum and the debates proposed by Antunes (2003, 2014), Alves Filho (2011), Koch (2012) and Bakhtin (1992, 2011), we aimed to understand, by analyzing the retextualized memoirs, how these practices complement each other within the process of orality and writing. As for the proposal of didactic sequences, the study has been oriented by Dolz and Scheneuely (2004); as for the memoirs, by the guidelines of Coracine and Ghiraldelo (2011) and Le Goff (2010, 2013). In this way, this work followed the action-research methodology in a qualitative approach, considering the teacher (researcher) as an active agent involved in the process of knowledge production in his own educational practice, so as to interfere in the mediation, knowledge production and its dissemination in classroom context, which is the privileged locus for constructing and transforming process. There is much to be research within the area of retextualization. Yet we verified that this educational intervention, based on discursive operators of retextualization, has been proven viable as an efficient path so that we teachers can work the peculiarities of usages and functions of textual genres in oral and written modalities of a language, without grasping both as a dichotomy. This accredited us to strengthen a discourse that undoes many myths still present in that order, especially the one that causes more damage for the learners of Portuguese language – that writing is a representation of speech.