Geração automática de interfaces com o utilizador: uma abordagem baseada em MDA para a plataforma PHP

Os modelos e as técnicas de modelação são, hoje em dia, fundamentais na engenharia de software, devido à complexidade e sofisticação dos sistemas de informação actuais.A linguagem Unified Modeling Language (UML) [OMG, 2005a] [OMG, 2005b] tornou-se uma norma para modelação, na engenharia de software e em outras áreas e domínios, mas é reconhecida a sua falta de suporte para a modelação da interactividade e da interface com o utilizador [Nunes and Falcão e Cunha, 2000].Neste trabalho, é explorada a ligação entre as áreas de engenharia de software e de interacção humano-computador, tendo, para isso, sido escolhido o processo de desenvolvimento Wisdom [Nunes and Falcão e Cunha, 2000] [Nunes, 2001]. O método Wisdom é conduzido por casos de utilização essenciais e pelo princípio da prototipificação evolutiva, focando-se no desenho das interfaces com o utilizador através da estrutura da apresentação, com a notação Protótipos Abstractos Canónicos (PAC) [Constantine and Lockwood, 1999] [Constantine, 2003], e do comportamento da interacção com a notação ConcurTaskTrees (CTT) [Paternò, 1999] [Mori, Paternò, et al., 2004] em UML.É proposto, também, neste trabalho um novo passo no processo Wisdom, sendo definido um modelo específico, construído segundo os requisitos da recomendação Model Driven Architecture (MDA) [Soley and OMG, 2000] [OMG, 2003] elaborada pela organização Object Managent Group (OMG). Este modelo específico será o intermediário entre o modelo de desenho e a implementação da interface final com o utilizador. Esta proposta alinha o método Wisdom com a recomendação MDA, tornando possível que sejam gerados, de forma automática, protótipos funcionais de interfaces com o utilizador a partir dos modelos conceptuais de análise e desenho.Foi utilizada a ferramenta de modelação e de metamodelação MetaSketch [Nóbrega, Nunes, et al., 2006] para a definição e manipulação dos modelos e elementos propostos. Foram criadas as aplicações Model2Model e Model2Code para suportar as transformações entre modelos e a geração de código a partir destes. Para a plataforma de implementação foi escolhida a framework Hydra, desenvolvida na linguagem PHP [PHP, 2006], que foi adaptada com alguns conceitos de modo a suportar a abordagem defendida neste trabalho.

Alfabetização de crianças e jovens: superando desafios da inclusão escolar

This work has its genesis in the life of a teacher. It contemplates the report of a great story that expresses the political will of anonymous people who sought/seek to overcome challenges and prejudices, a joint effort to make real the right to literacy. The reported story was developed in the Pedagogic Clinic Teacher Heitor Carrilho, Natal-RN which, concerned about the sentence of 'unable to learn the written language' attributed to children and young public school students, decided to invest in overcoming prejudices and fight against school failure of these underprivileged. The problem that motivated the study was thus set up: What particularities characterize a pedagogical practice which aims to teach literacy to children and youth from public schools, considered not capable of learning the written language? What theoretical and methodological procedures are shown as a boost to literacy in the development of a pedagogical practice systematically targeted to reflect the perspective of educating those students in public schools? Aiming to answer these questions, we conducted a qualitative research having as methodology, Life Stories and Research/Formation. For the construction of the data, it was decided to use the participative observation, semi-structured interviews and document analysis. Guided by the principles of content analysis the data analysis was built, from which emerged two categories: theoretical and methodological procedures aligned to the major axes of literacy and Procedures of the specific theoretical and methodological fundamentals of literacy. As subsets of the transverse procedures others were seized: didactic-pedagogic procedures; social affective procedures. Regarding these ones, the research shows the importance of the teacher to build a relationship of listening to the students and their families in order to organize the pedagogical work, looking at multiple dimensions of the subject: the intellect, the creative, the affective, moral, noting that between the methodology and didactics or as part of it, the links built represent great opportunities to promote literacy. Regarding the specific procedures, others were built: procedures that emphasize oral communication, procedures that favor writing and procedures that privilege reading. Under these procedures, the results of research show that you can only promote literacy if the teacher provides the students effective conditions of understanding the principles of alphabetical notation from the use of various kinds of texts, leading them to comprehend and use them in different contexts. Therefore, instructors must meet the learners' prior knowledge, their language, and the learning real needs that will bring new challenges consistent with their possibilities. The research confirms the importance of the Educational Support extra school. However, it is essential to emphasize that it is a function of the school to promote literacy for all students in the early years of schooling. It is recorded, however, that for the implementation of this desire, we must break the school model characterized by a rigid tradition, in which there is only room for those who learn the content taught in a minimum time. Unfortunately, despite the discourse of inclusion and ensuring the right to education, the school remains exclusive and selective separating the school learning of interpersonal relations and social integration and performance. On the one hand, research showed the difficulties of conducting studies and/or strategies that address the particularities of children and young people believed not capable of learning. On the other hand, the political commitment and motivation have increased the perception that it is possible to mitigate the existing deficits in the educational context, beginning with the everyday teaching practice, in which new knowledge can be learned, methodologies can be improved and, despite everything, the educational success can be built

Fotointerpretação da vegetação através da densitometria

Considerando-se que os critérios fotointerpretativos têm muito de subjetivo, com resultados que variam segundo o fotointérprete, pretendeu-se neste trabalho, ressaltar a utilização da densitometria como auxiliar na fotointerpretação da vegetação. No estudo foram utilizadas fotografias aéreas coloridas (transparências 23 x 23 cm) na escala 1:6.000. O filme colorido utilizado foi o Kodak Ektachrome MS Aerographic Film 2448. Desde que as fotografias estavam numa escala grande, foi bastante fácil identificar as culturas existentes na área bem como a vegetação natural. Cada categoria de vegetação foi classificada pela notação de Munsell. A densidade ótica foi medida por intermédio de um microdensitômetro de transmissão, marca Weston, modelo 877. Para cada item identificado nas fotografias foram feitas leituras de densidade ótica, para posterior comparação. Os dados obtidos foram utilizados para avaliar a importância das leituras densitométricas nas transparências coloridas, obtendo-se as seguintes conclusões principais: a) as medidas densitométricas ofereceram resultados mais consistentes que os obtidos por fotointerpretação convencional; b) a utilização do filme infravermelho colorido sugere a possibilidade de ampliar a resposta das leituras densitométricas.

Investigação histórica na formação de professores de matemática: um estudo centrado no conceito de função

In this study we analyzed the development of a teaching experience, involving students with a bachelor s degree in mathematics from UFRN, based on the history of mathematics and mathematical investigations with the aim of contributing to the improvement of the teaching-learning of mathematics. The historical investigation tasks were planned and applied in the classroom, focusing on functional thought. The results obtained during the experience were described and evaluated based on authors who support the assumption of investigation and history as an alternative to the learning of mathematics. We emphasize that the material of analysis consisted of a work diary, audio recordings, questionnaires with testimony of the students involved, and, in addition, the assessment of the teacher of that subject. With regard to the mathematical content, the study was restricted to the concept of function, forms of representation and notation. It was evident that students showed great improvement with regard to the necessary formalization of the mathematical contents which were focused on, and to the active involvement of the students at different stages of the study. We can affirm that the completed study certainly represents significant contributions to an approach in the teaching-learning of functional thought

Geometria e arirmética numa visão multicultural: uma experiência pedagógica

This paper aims to build a notebook of activities that can help the teacher of elementary school mathematics. Topics covered are arithmetic and geometry and the activities proposed here were developed aiming print them a multicultural character. We take as a base line developed by Claudia Zaslavsky multiculturalism and reflected in his books "Games and activities worldwide" and "More games and activities worldwide." We structure our work around four themes: the symbol of the Olympic Games, the pyramids of Egypt, the Russian abacus abacus and Chinese. The first two themes allow you to explore basic concepts of geometry while the latter two themes allow us to explore numerical notation and arithmetic operations

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 automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

Varenius e o conhecimento matemático do século XVII

Neste artigo, discutimos o contexto do desenvolvimento da Geografia que, no século XVII, liberou-se do seu papel nas diferentes fés cristãs, bem como a importância da cisão dos Protestantes, em Luteranos e Calvinistas, para o processo de secularização, e o conseguinte estabelecimento da Geografia como ciência moderna. Analisamos a contribuição fundamental do luterano Bernhard Varen, cuja obra Geografia Geral apresenta o paradigma dessa nova ciência. Naquela época, a Geografia era considerada um ramo da matemática, e esta obra nos dá indícios sobre notações e conceitos matemáticos utilizados naquele século. Analisamos, particularmente, o uso da notação decimal de números não inteiros e algumas aplicações de conceitos trigonométricos, comparando a edição original com as principais reedições desta obra.

A tradução química de experimentos alquímicos envolvendo água régia em Robert Boyle

Recentemente, alguns acadêmicos têm demonstrado que a tradução química pode auxiliar o trabalho histórico. O objetivo deste trabalho é traduzir alguns experimentos alquímicos de Robert Boyle para a química contemporânea, particularmente, aqueles que envolvem a água régia. A maior parte desses experimentos tem relação com o mecanicismo boyleano, com receitas de produção de compostos e com a padronização de procedimentos químicos. Muitos deles envolvem descrições precisas de propriedades, tais como o ponto de fusão, a mudança de gosto, a liberação de som e bolhas, a corrosão etc., que podem ser usadas como ferramentas de rastreamento para uma tradução à notação química atual.

A resolução de problemas no processo ensino-aprendizagem-avaliação de matemática na e além da sala de aula

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

O ensino-aprendizagem de matemática através da resolução de problemas no 3º ciclo do ensino fundamental

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

Análise de linguagens de modelagem de processos de um modelo de referência na cadeia de suprimentos

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

Aprendizagem da lecto-escrita musical ao piano: um diálogo com a psicogênese da língua escrita

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

Análise de experimentos fatoriais de dois fatores com tratamentos adicionais

Experiments using factorial arrangement of treatments are rather common and useful in agricultural research. The main advantage is the possibility of testing many hypotheses, allowing broader conclusions over different factors, studied simultaneously. Factorial arrangements are used to compare levels of each factor (main effects), and also to verify if the differences among levels of a given factor are dependent on the levels of the other factors (interacions). In the analysis of data from factorial experiments, difficulty is increased when additional treatments are included. Inclusion of one or more additional treatments is a quite common practice, since such treatments are usually taken as reference or standard for evaluation and comparasion of the remaimng treatments, or aiming complementary information. This increase of difficulty is however low, compared to the advantages. As in literature there are few references about the statistical analysis of factorial experiments with additonal treatments, and given straightforward use in experimentation, the objective of this work was the presentation of approach for the use of factorial experiments with additonal treatments trough the analysis of some examples using the SAS® software, with the corresponding theoretical development, obtaining the system of normal equations, estimators of the parameters and variance of contrasts among two treatment means. It is suggested that additional treatments should be used with caution. The analysis of variance of such kind of experiment was presented using matrix notation.