POPT: uma abordagem de ensino de programação orientada a problema e testes

There is a growing interest of the Computer Science education community for including testing concepts on introductory programming courses. Aiming at contributing to this issue, we introduce POPT, a Problem-Oriented Programming and Testing approach for Introductory Programming Courses. POPT main goal is to improve the traditional method of teaching introductory programming that concentrates mainly on implementation and neglects testing. POPT extends POP (Problem Oriented Programing) methodology proposed on the PhD Thesis of Andrea Mendonça (UFCG). In both methodologies POPT and POP, students skills in dealing with ill-defined problems must be developed since the first programming courses. In POPT however, students are stimulated to clarify ill-defined problem specifications, guided by de definition of test cases (in a table-like manner). This paper presents POPT, and TestBoot a tool developed to support the methodology. In order to evaluate the approach a case study and a controlled experiment (which adopted the Latin Square design) were performed. In an Introductory Programming course of Computer Science and Software Engineering Graduation Programs at the Federal University of Rio Grande do Norte, Brazil. The study results have shown that, when compared to a Blind Testing approach, POPT stimulates the implementation of programs of better external quality the first program version submitted by POPT students passed in twice the number of test cases (professor-defined ones) when compared to non-POPT students. Moreover, POPT students submitted fewer program versions and spent more time to submit the first version to the automatic evaluation system, which lead us to think that POPT students are stimulated to think better about the solution they are implementing. The controlled experiment confirmed the influence of the proposed methodology on the quality of the code developed by POPT students

Interação gestual em ambiente residencial: estudo, concepção e desenvolvimento

Control and automation of residential environments domotics is emerging area of computing application. The development of computational systems for domotics is complex, due to the diversity of potential users, and because it is immerse in a context of emotional relationships and familiar construction. Currently, the focus of the development of this kind of system is directed, mainly, to physical and technological aspects. Due to the fact, gestural interaction in the present research is investigated under the view of Human-Computer Interaction (HCI). First, we approach the subject through the construction of a conceptual framework for discussion of challenges from the area, integrated to the dimensions: people, interaction mode and domotics. A further analysis of the domain is accomplished using the theoretical-methodological referential of Organizational Semiotics. After, we define recommendations to the diversity that base/inspire the inclusive design, guided by physical, perceptual and cognitive abilities, which aim to better represent the concerned diversity. Although developers have the support of gestural recognition technologies that help a faster development, these professionals face another difficulty by not restricting the gestural commands of the application to the standard gestures provided by development frameworks. Therefore, an abstraction of the gestural interaction was idealized through a formalization, described syntactically by construction blocks that originates a grammar of the gestural interaction and, semantically, approached under the view of the residential system. So, we define a set of metrics grounded in the recommendations that are described with information from the preestablished grammar, and still, we conceive and implement in Java, under the foundation of this grammar, a residential system based on gestural interaction for usage with Microsoft Kinect. Lastly, we accomplish an experiment with potential end users of the system, aiming to better analyze the research results

GeOntoQuery - um mecanismo de busca em bancos de dados geográficos baseado em ontologias

Geographic Information System (GIS) are computational tools used to capture, store, consult, manipulate, analyze and print geo-referenced data. A GIS is a multi-disciplinary system that can be used by different communities of users, each one having their own interest and knowledge. This way, different knowledge views about the same reality need to be combined, in such way to attend each community. This work presents a mechanism that allows different community users access the same geographic database without knowing its particular internal structure. We use geographic ontologies to support a common and shared understanding of a specific domain: the coral reefs. Using these ontologies' descriptions that represent the knowledge of the different communities, mechanisms are created to handle with such different concepts. We use equivalent classes mapping, and a semantic layer that interacts with the ontologies and the geographic database, and that gives to the user the answers about his/her queries, independently of the used terms

Conhecimento sobre energia eólica: um estudo exploratório a partir das redes semânticas naturais de estudantes da cidade de Natal

The human being has a fundamental role in issues concerning scarcity of energy resources as well as in the success of technologies which favor the use of renewable sources, such as wind energy. But what does wind energy mean for people? What are the psychological meanings concerning this term? Aiming to answer these questions, the general objective of this dissertation was to identify and to analyze the knowledge about wind energy taking into account a network of psychological meanings. One hundred and ninety one (191) university students from Natal-RN participated in the study, being male the majority (53%); aged between 17 and 51 years old (M=23.3 years; SD=5.7). Participants responded to self reports using the Natural Semantic Networks (NSW) technique, as well as to several sociodemographic questions. The results showed a consistent, positive and useful general semantic network. In this semantic network, knowledge about wind energy was represented by words that correspond to the appeal of (pro) environmental stance (e.g., clean and nature), that evinced both the technological aspect (e.g., force) and the economic aspect (e.g., economy). Results from different groups were also analyzed. The first set of groups (non-environemental and environmental) was divided considering the course (e.g., ecology and economy). The second set of groups(non-caretaker and caretaker) was divided based on the practice of environmental care expressed. Subtle differences were observed in the semantic networks of caretakers, who emphasized environment, an attribute not mentioned by non-caretakes. This indicates a construction of knowledge that is influenced by the presence or absence of the environmental commitment. Such findings may be useful in the construction of instruments for surveys and in the development of public and educational policies. Additionally, they may assist the media towards a more objective performance concerning wind energy

On Fuzzy Implication Classes - Towards Extensions of Fuzzy Rule-Based Systems

Atualmente, há diferentes definições de implicações fuzzy aceitas na literatura. Do ponto de vista teórico, esta falta de consenso demonstra que há discordâncias sobre o real significado de "implicação lógica" nos contextos Booleano e fuzzy. Do ponto de vista prático, isso gera dúvidas a respeito de quais "operadores de implicação" os engenheiros de software devem considerar para implementar um Sistema Baseado em Regras Fuzzy (SBRF). Uma escolha ruim destes operadores pode implicar em SBRF's com menor acurácia e menos apropriados aos seus domínios de aplicação. Uma forma de contornar esta situação e conhecer melhor os conectivos lógicos fuzzy. Para isso se faz necessário saber quais propriedades tais conectivos podem satisfazer. Portanto, a m de corroborar com o significado de implicação fuzzy e corroborar com a implementação de SBRF's mais apropriados, várias leis Booleanas têm sido generalizadas e estudadas como equações ou inequações nas lógicas fuzzy. Tais generalizações são chamadas de leis Boolean-like e elas não são comumente válidas em qualquer semântica fuzzy. Neste cenário, esta dissertação apresenta uma investigação sobre as condições suficientes e necessárias nas quais três leis Booleanlike like — y ≤ I(x, y), I(x, I(y, x)) = 1 e I(x, I(y, z)) = I(I(x, y), I(x, z)) — se mantém válidas no contexto fuzzy, considerando seis classes de implicações fuzzy e implicações geradas por automorfismos. Além disso, ainda no intuito de implementar SBRF's mais apropriados, propomos uma extensão para os mesmos

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

On rich modal logics

I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski

Traduzindo o economês: metáforas da inflação em textos de jornalismo econômico

The research aimed two objectives: 1st) identifying and describing the metaphors of the inflation, in a corpus of 18 texts of economic journalism, from Joelmir Beting, written in the last trimester of 2002, at the moment of the government s transition of president Fernando Henrique Cardoso to Luiz Inácio Lula Da Silva. 2nd) verifying the recognition of the metaphors by the students of the basic education of a private school from Natal. 91 metaphors had been identified, analyzed in the perspective of the conceptual metaphor s theory, by Lakoff and Johnson (2002), on the basis of the distinction between conceptual metaphor and metaphoric expressions, and between domain-source/domain-target. 10 underlying conceptual metaphors had been inferred, being that the domains-source used more frequently to characterize the inflation had been those ones according to the human being and the animals and, of a less imaginable form, to the ways of transport (car, aircraft). These general conceptual metaphors had been unfolded in other s more specific ones ( animal specifying itself in lion , dragon , dog , etc.). Another result was the identification of metaphoric expressions with two or more meanings , with relation to more than one conceptual metaphor or explicit, in the same expression, two domains-source (for example: armored dragon ) and contributes, of a relevant form, for the semantic struturation of the text. The understanding of the metaphors was verified through an activity of domains-source s identification (10 metaphoric statements and fulfilling of the gap in the phrase the inflation is a/an ) applied in a group of 8th year of the basic education (12-13 years old, with 14 girls and 17 boys) from a school of good social and economic positions from Natal-RN. There weren t great difficulties on the part of the students in recognizing the domains-source involved: about 80% to the great majority of the statements

Traduzindo o economês: metáforas da inflação em textos de jornalismo econômico

The research aimed two objectives: 1st) identifying and describing the metaphors of the inflation, in a corpus of 18 texts of economic journalism, from Joelmir Beting, written in the last trimester of 2002, at the moment of the government s transition of president Fernando Henrique Cardoso to Luiz Inácio Lula Da Silva. 2nd) verifying the recognition of the metaphors by the students of the basic education of a private school from Natal. 91 metaphors had been identified, analyzed in the perspective of the conceptual metaphor s theory, by Lakoff and Johnson (2002), on the basis of the distinction between conceptual metaphor and metaphoric expressions, and between domain-source/domain-target. 10 underlying conceptual metaphors had been inferred, being that the domains-source used more frequently to characterize the inflation had been those ones according to the human being and the animals and, of a less imaginable form, to the ways of transport (car, aircraft). These general conceptual metaphors had been unfolded in other s more specific ones ( animal specifying itself in lion , dragon , dog , etc.). Another result was the identification of metaphoric expressions with two or more meanings , with relation to more than one conceptual metaphor or explicit, in the same expression, two domains-source (for example: armored dragon ) and contributes, of a relevant form, for the semantic struturation of the text. The understanding of the metaphors was verified through an activity of domains-source s identification (10 metaphoric statements and fulfilling of the gap in the phrase the inflation is a/an ) applied in a group of 8th year of the basic education (12-13 years old, with 14 girls and 17 boys) from a school of good social and economic positions from Natal-RN. There weren t great difficulties on the part of the students in recognizing the domains-source involved: about 80% to the great majority of the statements

As abordagens teóricas e os formalismos para o tratamento computacional do significado lexical

No âmbito do Processamento Automático de Línguas Naturais (PLN), o desenvolvimento de recursos léxico-semânticos é premente. Ao conceber os sistemas de PLN como um exercício de engenharia da linguagem humana, acredita-se que o desenvolvimento de tais recursos pode ser beneficiado pelos modelos de representação do conhecimento, desenvolvidos pela Engenharia do Conhecimento. Esses modelos, em particular, fornecem simultaneamente o arcabouço teórico-metodológico e a metalinguagem formal para o tratamento computacional do significado das unidades lexicais. Neste artigo, após a apresentação da concepção linguístico-computacional de léxico, elucidam-se os principais paradigmas de representação do conhecimento, enfatizando a abordagem do significado e a metalinguagem formal vinculadas a cada um deles.

Dialética da pratica e ação sem prática

O conceito de prática recobriria o de sistema de ação, não fosse a existência de sistemas de ação sem prática. Resta que uma prática é um sistema de ação. Como conseqüência, suposta a reciprocação de sistema com teoria e uma atenta inspeção nos termos da proposição, há equivalência semântica entre prática teóricae sistema de ação prático. Num e noutro caso, a contradição interna aos pares de conceitos se resolve dialeticamente. Graças à dialética, são fundidos numa unidade de sentido, síntese de tensões opostas. Daí a proposta de uma dialética da prática global, conjuntamente abstrata e histórica. Destotalizada ou à margem dessa dialética, pode ser destacada a ação sem prática, exemplificada no drama. Dramática é precisamente uma ação que não é prática. O tempo e o lugar da prática são a história e o mundo do homem; o tempo e o lugar do drama são a ficção cultural e a substância simbólica. Mimese da prática, o drama, reproduz, não os traços do modelo, mas a sua produção, tornando-se por sua vez modelo do modelo. Mimese não é cópia, é forma autônoma de eficiência, paradoxalmente sem prática mas especular.

ASPECTOS FUNCIONAIS da ORDEM DE CONSTITUINTES

O objetivo deste trabalho é fornecer uma interpretação funcional para a ordem de constituintes da sentença do português falado no Brasil (PB). Segundo a metodologia aqui adotada, as generalizações de natureza sintática decorrem necessariamente de generalizações de natureza semântica e pragmática. Os dados constituem uma amostragem representativa de sentenças do português falado, extraída de inquéritos do Projeto NURC. Como enfoque funcional prevê a coexistência de diferentes padrões de ordenação de constituintes, usados em diferentes condições e para diferentes propósitos, postula-se que o PB dispõe de dois padrões igualmente relevantes: a ordem SVO e a ordem VSO, ambos pragmaticamente motivados. Argumenta-se ainda que tais motivações pragmáticas relaciona, diacronicamente, os padrões funcionais em uso a uma mudança em curso na classificação tipológica do PB de um tipo primitivo VSO para o tipo SVO atualmente predominante.

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)

Fraseologismos zoônimos: elaboração de base de dados Português-Francês

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