Um middleware reflexivo e orientado a aspectos: arquitetura e implementações

Conselho Nacional de Desenvolvimento Científico e Tecnológico

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.

LWiSSy: uma linguagem específica de domínio para modelagem de sistemas de redes de sensores e atuadores sem fio

The field of Wireless Sensor and Actuator Networks (WSAN) is fast increasing and has attracted the interest of both the research community and the industry because of several factors, such as the applicability of such networks in different application domains (aviation, civil engineering, medicine, and others). Moreover, advances in wireless communication and the reduction of hardware components size also contributed for a fast spread of these networks. However, there are still several challenges and open issues that need to be tackled in order to achieve the full potential of WSAN usage. The development of WSAN systems is one of the most relevant of these challenges considering the number of variables involved in this process. Currently, a broad range of WSAN platforms and low level programming languages are available to build WSAN systems. Thus, developers need to deal with details of different sensor platforms and low-level programming abstractions of sensor operational systems on one hand, and they also need to have specific (high level) knowledge about the distinct application domains, on the other hand. Therefore, in order to decouple the handling of these two different levels of knowledge, making easier the development process of WSAN systems, we propose LWiSSy (Domain Language for Wireless Sensor and Actuator Networks Systems), a domain specific language (DSL) for WSAN. The use of DSLs raises the abstraction level during the programming of systems and modularizes the system building in several steps. Thus, LWiSSy allows the domain experts to directly contribute in the development of WSANs without having knowledge on low level sensor platforms, and network experts to program sensor nodes to meet application requirements without having specific knowledge on the application domain. Additionally, LWiSSy enables the system decomposition in different levels of abstraction according to structural and behavioral features and granularities (network, node group and single node level programming)

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

Modelo estocástico de programação matemática de alocação de medidores de tensão em alimentadores radiais de distribuição de energia elétrica para localização de faltas e monitoramento do perfil de tensão

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Programação de horários usando um algoritmo de busca em vizinhança variável

Pós-graduação em Engenharia Elétrica - FEIS

LOGO2VHDL: modelos descritos em VHDL a partir da linguagem do LOGO!Soft Comfort da Siemens

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

Implementação de uma plataforma HW/SW para automação industrial, utilizando hardware reconfigurável com processador NIOS II em conformidade com o padrão IEEE 1451

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

SRDigital: proposta de um modelo baseado na linguagem natural e controlada como instrumentos de apoio ao agente computacional do processo de referência

Pós-graduação em Ciência da Informação - FFC

Aprendizagem de eletromagnetismo via programação e computação simbólica

Relatamos a experiência de utilizar programação em Maple como ferramenta de aprendizagem do estudante num curso básico de teoria eletromagnética. Acreditamos que este relato possa ser útil a quem desejar utilizar o computador como instrumento pedagógico no ensino de Física.

Sistematização de projetos de controladores fuzzy através de programação orientada a objetos

Através do uso da programação em linguagem orientada a objetos e, aplicando-se uma técnica de programação específica, é possível gerar um conjunto de classes genéricas cujos objetos representam cada bloco de um controlador fuzzy e também suas variáveis linguísticas. Tais classes, sendo aplicadas de forma sistemática, facilitam a programação de uma variedade de controladores desta natureza. Este trabalho apresenta a referida técnica e mostra os resultados obtidos através de um modelo simulado de um pêndulo rotacional invertido que é controlado por um sistema de controle composto por três controladores fuzzy, projetados e construídos sob este ponto de vista.

Dois jogos de linguagem: a informática e a matemática na aprendizagem de função quadrática

Esta pesquisa foi realizada com o objetivo de identificar e analisar as relações entre as linguagens da Matemática e da Informática no contexto da sala de aula, a partir da inserção das tecnologias informáticas na aprendizagem da Função Quadrática. Nesse sentido, os conceitos que envolvem a forma algébrica e forma gráfica desta função, foram observados pelos alunos ao explorar aspectos dinâmicos na interface do Geogebra. A fundamentação teórica da pesquisa, foi subsidiada pelas ideias de Pierre Lévy sobre as tecnologias da inteligência na disseminação da informação e do conhecimento, bem como pelas contribuições filosóficas de Ludwig Wittgenstein acerca do jogo de linguagem. A metodologia da pesquisa possui caráter qualitativo definido a partir de critérios específicos acerca do objeto de estudo e dos sujeitos investigados. As informações foram obtidas por meio de questões específicas aplicadas em dois momentos, a saber: antes e após a realização de um minicurso sobre o GeoGebra. As análises das questões revelaram que os aspectos visuais e os movimentos no uso do computador, estabelecem relações entre as formas algébricas e gráficas da função quadrática. Assim, eles puderam perceber que os coeficientes numéricos modificam a parábola e isso dá sentido aos conceitos estudados. O uso do GeoGebra possibilita outras formas de aprendizagem evidenciadas entre o Jogo de Linguagem da Matemática e o Jogo de Linguagem da Informática no âmbito da Educação Matemática.

Programação de horários usando um algoritmo genético especializado

Pós-graduação em Engenharia Elétrica - FEIS

Reflexõs sobre a linguagem do ambiente chat no Teletandem sob a perspectiva da natureza heterogênea da escrita

This paper aims at discussing the characteristics of computer mediated language within a foreign language teaching and learning environment enabled by the use of synchronic writing resources – chat. The present research is based on (i) theoretical principles about the use of technologies and the teaching-learning of foreign languages in the scope of the Teletandem Brazil Project: Foreign languages for all – Projeto Teletandem Brasil: línguas estrangeiras para todos (TELLES, 2005); (ii) studies on the characteristics of the language within chat interactions; (iii) different theoretical perspectives on the relationship between spoken and written language, emphasizing the constitutive heterogeneity of writing perspective (CORRÊA, 1997, 1998, 2001); and (iv) some relevant concepts related to Prosodic Phonology field (NESPOR; VOGEL, 1986). Is being taken as research data, the written production of a Brazilian student (finishing a Licentiate in Literature) interacting with an American student (in Religious Studies) through Windows Live Messenger. The data were collected during a five-month period, during which the participants interacted through chat, totalizing 12 interactions in English and in Portuguese. During the analysis, a particular attention was given to the messages’ fragmentation, the use (or not) of punctuation signs and abbreviations within the Brazilian participant’s production, in order to discuss the representations she built of her writing, her interlocutor, herself and on the teaching-learning process of a foreign language.

Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos

Pós-graduação em Engenharia Elétrica - FEIS