Model-Driven requirements engineering process aided by ontologies and natural controlled languages

Researches in Requirements Engineering have been growing in the latest few years. Researchers are concerned with a set of open issues such as: communication between several user profiles involved in software engineering; scope definition; volatility and traceability issues. To cope with these issues a set of works are concentrated in (i) defining processes to collect client s specifications in order to solve scope issues; (ii) defining models to represent requirements to address communication and traceability issues; and (iii) working on mechanisms and processes to be applied to requirements modeling in order to facilitate requirements evolution and maintenance, addressing volatility and traceability issues. We propose an iterative Model-Driven process to solve these issues, based on a double layered CIM to communicate requirements related knowledge to a wider amount of stakeholders. We also present a tool to help requirements engineer through the RE process. Finally we present a case study to illustrate the process and tool s benefits and usage

Cenário da produção acadêmica em história da matemática no ensino de matemática: uma análise reflexiva das teses e dissertações (1990-2010)

This research aims to make a reflective analysis about the academic production originated in the stricto sensu post graduation programs in the country, produced in the period of 1990 to 2010, in the field of History of Mathematics, especifically on works about the History of Mathematics in Mathematics education and that present pedagogical proposals that make use of the History of Mathematics in order to teach Mathematics. Defending the thesis that the researches on mathematics education with goals turned to the use of didactic proposals related to the history of mathematic that take in consideration the coherency between epistemological aspects inherent to mathematics history and anthological elements materialized on the conceptions of mathematics and mathematics history and of apprenticeship (implicitly or explicitly exposed) may originate significant contribution to the field of history of mathematics on education. Among these, nine were Master’s Degree dissertations and five PHD’s theses. The reflective analysis was accomplished from two matrixes; one from theoretical nature and the other, ontologic nature, elaborated from the pretexts of Sanches Gamboa, about the epistemological analysis from academic production in the field of Mathematics Education and the following theoretical perspectives in the field of History of Mathematics Education, that are: linear evolutionary theory, structural construtivist operative, evolutionary discontinuous, historical and socialcultural investigation and the use of activities estimulating the usage of verbal and nonverbal expressions. These perspectives were based on the works of Miguel and Miorim, Mendes and Radford. As results, we have detected some established dissonances between the categories related to theoretical and ontologic levels and the pedagogical proposal presented in these researches. On the other hand, we have discovered works that are able to establish consonances between the theoretical and ontological elements and the presented pedagogical proposal. These works carry significative contributions to the field of History of Mathematics applied to Mathematics pedagogical practice, inclusively presenting significative theoretical elements to the production of knowledge recognized as scientific in the Mathematics field

Lacan, Gödel, a ciência e a verdade

Jaques Lacan, the thinker who proposes a return to the fundamentals of psychoanalysis in Freud states that the math would face as a privileged way of transmission of knowledge by the science. Although he was a follower of the mathematization of nature as the foundation of modern science, for him this principle does not imply eliminating the subject that produces it. That would be equivalent to saying that there can not be a language, whatever, even the math, that may "erases" the subject assumption in science. In the text The science and the truth we will try to introduce the idea, not so simple, by the way, the truth as the cause. Citing the framework of the causes in Aristotle, Lacan will speak of a homology between the truth as formal cause, in the case of science, and the truth as material cause, on the side of psychoanalysis. Among its aims with this text, he wants to establish that the unconscious of the subject would be none other than the subject of science. The famous incompleteness theorems of logical-mathematical Kurt Gödel enter here as a chapter of this issue. Recognized as true watershed, these theorems have to be remembered as revealing even outside the mathematical environment, and Lacan himself is not indifferent to this. He makes mention of Gödel's name and draws some observations apparently modest support for his own theory. Since some technical sophisticated knowledges awaits the reader who intends understand this supposed corroboration that Gödel provides to psychoanalysis, introduce the student of Lacan in the use he makes of the incompleteness theorems is the objective of this work. In The science and the truth, which fits us to locate the name of Gödel, one must question how seize such an idea without incurring the extrapolation and abuse of mathematical knowledge, almost trivial in this case. Thus, this paper aims to introduce the reader to the reasoning behind the theorems of Gödel, acquaint him about the Lacan’s mathematical claims, and indicate how to proceed using this implicit math in the text The science and the truth.

O direito fundamental à igualdade no contexto da identidade sexual no Brasil: um estudo da situação jurídico-constitucional com ênfase no exame da suposta inconstitucionalidade por omissão do legislador civil

This dissertation analyses the Brazilian Supreme Court’s judgement in the Non-compliance Action of the Fundamental Precept 132/RJ and in the Direct Action of Unconstitutionality 4277/DF, which created in the country the same-sex civil union. In This decision, the STF interpreted according to the constitution Article 1.723 of the Civil Code, invoking several fundamentals reaffirmed in the Constitution. From all these laws invoked by the Supreme Court to support the pretorian creation, the content of consitutional Law regarding equality is the only that corresponds, and it is sufficient to evidence the necessity of the creation, by legislator, of the institute for civil rights, since the Constitution forbids distinctions that is not expressly provided for in the Constitution (Art. 3º, IV, of Federal Constitution). In this way, Article 226, § 3º is not an exception capable of satisfying the condition of the consitutional foresight because although it protect, according its content only the civil union “between the man and the woman”, it is not able to forbid the creation, by legislator, of another kinds of families, including the same-sex civil union. As such, the reasoning, now legitimate according to the legislator, is not support the creation of institute by Constitutional Court, because the Court may enforce the Law, interpreting in the purviews allowed by the legal text and its constitutionality. In regard to the civil union of individuos of the same sex, the Court could not deduce that such union was implied by Law, like the interpretation according to the Constitution given by judges, on grounds of semantic purviews of the words man and woman, existents in both articles. The Court could not created it either, exceeding the legal system role. So, upon the institute creation, the STF, exceeded two limits: the interpretation and Law enforcement.

Qual é a sua tribo? O uso do TAI online no desvelamento de conhecimentos sociais ocultos

The Implicit Association Test (IAT) has succeeded in accessing mental phenomena hardly exposed through self-report and explicit measures well known in the traditional studies on psychology. Although this measurement technique is among the most consistent in international publications, the few articles in Brazil have not deepened on theoretical issues that underlie the practice. This created a gap between the spread of this measure in the country and the production seen in international laboratories, both at quantitative and qualitative terms. In this context, the online labs implemented in several countries, including Brazil, created unique opportunities to overcome these disparities. Our work sought theoretical and conceptual clarification, contextualized to the historical development of the IAT and its online version, displaying affordably an unprecedented presentation of the virtual tool adapted to the Brazilian public. In a second step, we investigated empirically the data obtained by the Brazilian electronic portal "Countries", analyzing the degree of implicit and explicit nationalism of 2271 Brazilian subjects collected from early 2009 to late 2014. Our goal was to determine whether the data results obtained in a time of major sporting confrontation (FIFA World Cup 2010 and 2014) differ from periods when the tournament did not happen. Analyzes showed differences on the eve of the sporting confrontation, when the increase in the implicit nationalism was clearly superior, even with no effect by self-reports. In an independent analysis of a cultural context, there is an oscillation of explicit nationalism over the years, but not for the implicit action. In addition, it was found in women greater degree of implicit and explicit nationalism than in men, with both sexes presenting their preferences towards Brazil. In an end section, we suggest that nationalism may be a by-product of universal mental mechanisms that evolved to identify of the belonging group categorization, corroborating with the group favoritism. We propose that the intensification of the group preference on the eve of the competition has as its ancestral function strengthen the cohesion of the group in preparation to confrontational situations. We pointed out the need for studies on the differences between the sexes in matters relating to group membership belonging. It was expected largest nationalist attitudes in men reflecting the maintenance of cohesive groups in ancient societies. Thus, it appears a singular importance impart the traditional TAI studies with its online version for future investigations of human behavior in various areas of knowledge.

Qual é a sua tribo? O uso do TAI online no desvelamento de conhecimentos sociais ocultos

The Implicit Association Test (IAT) has succeeded in accessing mental phenomena hardly exposed through self-report and explicit measures well known in the traditional studies on psychology. Although this measurement technique is among the most consistent in international publications, the few articles in Brazil have not deepened on theoretical issues that underlie the practice. This created a gap between the spread of this measure in the country and the production seen in international laboratories, both at quantitative and qualitative terms. In this context, the online labs implemented in several countries, including Brazil, created unique opportunities to overcome these disparities. Our work sought theoretical and conceptual clarification, contextualized to the historical development of the IAT and its online version, displaying affordably an unprecedented presentation of the virtual tool adapted to the Brazilian public. In a second step, we investigated empirically the data obtained by the Brazilian electronic portal "Countries", analyzing the degree of implicit and explicit nationalism of 2271 Brazilian subjects collected from early 2009 to late 2014. Our goal was to determine whether the data results obtained in a time of major sporting confrontation (FIFA World Cup 2010 and 2014) differ from periods when the tournament did not happen. Analyzes showed differences on the eve of the sporting confrontation, when the increase in the implicit nationalism was clearly superior, even with no effect by self-reports. In an independent analysis of a cultural context, there is an oscillation of explicit nationalism over the years, but not for the implicit action. In addition, it was found in women greater degree of implicit and explicit nationalism than in men, with both sexes presenting their preferences towards Brazil. In an end section, we suggest that nationalism may be a by-product of universal mental mechanisms that evolved to identify of the belonging group categorization, corroborating with the group favoritism. We propose that the intensification of the group preference on the eve of the competition has as its ancestral function strengthen the cohesion of the group in preparation to confrontational situations. We pointed out the need for studies on the differences between the sexes in matters relating to group membership belonging. It was expected largest nationalist attitudes in men reflecting the maintenance of cohesive groups in ancient societies. Thus, it appears a singular importance impart the traditional TAI studies with its online version for future investigations of human behavior in various areas of knowledge.