92 resultados para Processo de desenvolvimento do software
Resumo:
This study aims to reconstruct the story of Education of the School called Desembargador Vicente de Lemos in the city of Senador Elói de Souza in Rio Grande do Norte in Natal- Brazil. This is done considering activities that were realized by the teacher Anália Maciel. Since the worl deals with an investigation that is related to Cultural History field, the research emphasized the school as well as the presence of female teachers, in particular Anália Maciel. Concepts present in the work of Chartier (1990), Burke (1992), Le Goff (1992) and Morais (2002) were used in order to comprehend the transformation process in which local schools have been through. This is also done considering the state educational actions of behalf of the teacher. The documental fonts regarded available records such as Governmental correspondence, Law and Decrees. The information fonts used were available at the The Geographical and Historical Institute of Rio Grande do Norte as well as the State s Public Archive. Other information fonts were newspapers such as A República, Diário de Natal and Tribuna do Norte. Some people that were contemporary with the teacher and were there when the school was created were interviewed. Discourses from the decades of 1930 and 1940 were analyzed. The research was guided by the History of Education and Scholar Institution field of analysis. The research also allows to reflect on the pedagogical practices of the time and permits to understand a past-still present -as well as all the development of process that the education went through in the historical context of the city of Senador Elói de Souza. It was also possible to acknowledge that the creation of the school represented thoroughly a landmark in the education in this city and it contributed in a determinant manner for the formation of the students
Resumo:
This study is inserted at the Line of Strategical Research of Thinking and Knowledge production which scientific projects about the relation of thinking and knowledge production are realized. The accomplishment of this dissertation involved an empiric research at a school of the municipal district of Natal RN. Our purpose was to investigate the practice of the staff working with students who present Disabilities and Attention Deficit Hyperactivity (DADH) at regular classes due to the organization of thinking in pedagogical strategies. The object of this study is presented at the center of the questions which involves the conscious analysis of the problems and needs that emerge at the school. Considering the specialty of the theme, we choose a methodology whose focus is the dialogue and the sharing of meanings with the partners of this research through the observation of the activities developed at class/school and interviews/conversations with six teachers of first and second cycles of primary education. According with the study, some theoretician presumptions of Mr. Freire (2001), Mr. Nóvoa (1995), Mr. Bohm (2005) and son on. The results reveled at the research indicate the fragility of a continuous formation directed to the development of critical-reflexive thinking of the teachers.The teachers revel conceptions due to formation, pedagogical practices and the relation with the parents and coordinators, through their performances and speeches, allowing us to identify some pedagogical strategies used. We identified some negative response about the process of learning-developing of these pedagogical strategies such as the one we call unconcern . The strategy of sitting the student at the front row chairs can have positive and negative responses depending on the way the teacher act and follow the student. Other strategies identified as positive response bringers at the learning-developing process and that should be reinforced by the staff are the playful and the group assignments . At this perspective, the school needs to develop a collective project between the pedagogical team and teachers to overcome the needs of all students, and as a consequence, of the staff and improve the positive strategies, minimizing the negative ones and allowing the organizations of new strategies that promotes the improvement of learning-teaching process of the students with DADH
Resumo:
O presente trabalho tem o objetivo de apresentar uma investigação sobre o nível de clareza dos textos informativos dos rótulos de embalagens de café torrado e moído, considerando os aspectos lingüísticos e ergonômicos presentes nos rótulos do produto. Lingüisticamente analisar se a linguagem utilizada nos rótulos é adequada para a compreensão das informações pelo consumidor, ainda expor como a lingüística preconiza a organização e estruturação dos textos a partir da classificação do gênero textual. Do ponto de vista da ergonomia a pesquisa pretende identificar a conformidade ergonômica presente nas informações dos rótulos das embalagens de café. Devido à evolução das atividades comerciais, a embalagem passou ao longo do tempo a acumular funções, transformando-se em um considerável veículo de comunicação, informação e sedução do seu público consumidor, por isso, a adoção de normas adequadas relativas às informações pode evitar que o consumidor desenvolva conceitos inadequados ou até mesmo empregue erroneamente um produto alimentício em sua dieta. A engenharia de produção considera importante a inserção de melhores práticas de produção e gestão do produto nas empresas, com vistas ao aumento de sua competitividade, compatibilizando as características ergonômicas do produto embalagem, com as necessidades do consumidor enquanto parte integrante do processo de desenvolvimento do produto. A pesquisa propõe, então, um roteiro para avaliação dos rótulos de embalagens, utilizando para isso um questionário com questões fechadas e uma aberta, aplicados em consumidores de café torrado e moído no momento da compra em quatro supermercados de Natal. Os principais resultados da investigação demonstram que os aspectos lingüísticos dos textos informativos foram considerados bons, enquanto os aspectos ergonômicos informacionais analisados podem vir a contribuir para uma melhoria visual das informações contidas nos rótulos das embalagens das marcas de café investigadas
Resumo:
The knowledge management has received major attention from product designers because many of the activities within this process have to be creative and, therefore, they depend basically on the knowledge of the people who are involved in the process. Moreover, Product Development Process (PDP) is one of the activities in which knowledge management manifests in the most critical form once it had the intense application of the knowledge. As a consequence, this thesis analyzes the knowledge management aiming to improve the PDP and it also proposes a theoretical model of knowledge management. This model uses five steps (creation, maintenance, dissemination, utilization and discard) through the verification of the occurrence of four types of knowledge conversion (socialization, externalization, combination and internalization) that it will improve the knowledge management in this process. The intellectual capital in Small and Medium Enterprises (SMEs) managed efficiently and with the participation of all employees has become the mechanism of the creation and transference processes of knowledge, supporting and, consequently, improving the PDP. The expected results are an effective and efficient application of the proposed model for the creation of the knowledge base within an organization (organizational memory) aiming a better performance of the PDP. In this way, it was carried out an extensive analysis of the knowledge management (instrument of qualitative and subjective evaluation) within the Design department of a Brazilian company (SEBRAE/RN). This analysis aimed to know the state-of-the-art of the Design department regarding the use of knowledge management. This step was important in order to evaluate in the level of the evolution of the department related to the practical use of knowledge management before implementing the proposed theoretical model and its methodology. At the end of this work, based on the results of the diagnosis, a knowledge management system is suggested to facilitate the knowledge sharing within the organization, in order words, the Design department
Resumo:
We propose a robotics simulation platform, named S-Educ, developed specifically for application in educational robotics, which can be used as an alternative or in association with robotics kits in classes involving the use of robotics. In the usually known approach, educational robotics uses robotics kits for classes which generally include interdisciplinary themes. The idea of this work is not to replace these kits, but to use the developed simulator as an alternative, where, for some reason, the traditional kits cannot be used, or even to use the platform in association with these kits. To develop the simulator, initially, we conducted research in the literature on the use of robotic simulators and robotic kits, facing the education sector, from which it was possible to define a set of features considered important for creating such a tool. Then, on the software development phase, the simulator S-Educ was implemented, taking into account the requirements and features defined in the design phase. Finally, to validate the platform, several tests were conducted with teachers, students and lay adults, in which it was used the simulator S-Educ, to evaluate its use in educational robotics classes. The results show that robotic simulator allows a reduction of financial costs, facilitate testing and reduce robot damage inherent to its use, in addition to other advantages. Furthermore, as a contribution to the community, the proposed tool can be used to increase adhesion of Brazilian schools to the methodologies of educational robotics or to robotics competitions
Resumo:
We propose an online configurable multiplatform development environment specifically developed for educational robotics applications. The environment, which appears as an extension of RoboEduc software, allows the programming of several programmable robots to be performed using the R-Educ language. We make it possible for the user to program in the language R-Educ and then translate the code to a language previously registered, compiled and then sent or executed by the robot. To develop this work, we conducted a bibliographic research about the main programming languages used in robotics, as well as their definitions and paradigms, from which it was possible to define a set of patterns considered important for the creation of this environment. Then, in the software development phase, we implemented the development environment, bearing in mind the requirements and functionality defined in the design phase. Finally, to validate the platform, we conducted some trials of programming languages and verificate if the complete cycle was satisfied - registration of language, programming in R-Educ, compilation for the registered language, compilation to the machine code and send the code for the robot
Resumo:
BMPs are components superfamily ligands transformation growth fator-β (TGF-β) secreted into the extracellular environment, with mechanisms of intercellular communication through specific ligands and receptors in various target cells, being recognized for its influence in osteogenic induction, also play an important role in tissue homeostasis, cell proliferation, differentiation control , in addition to being present in the development of various malignancies. The aim of this study was to compare the immunohistochemical expression of BMP-2, BMP-4 and its receptors BMPRIA and BMPRII in cases of ameloblastoma and adenomatoid odontogenic tumor. The sample consisted of 20 cases of solid ameloblastoma (SA), 10 cases of ameloblastoma unicystic (UA) and 16 cases of adenomatoid odontogenic tumor (AOT). The expression of BMPs and their receptors was evaluated in the parenchyma and stroma of lesions, establishing the percentage of immunopositive cells (0 - negative; 1-1 % to 10 % of cells positive; 2 - 11% to 25% of positive cells; 3 - 26% to 50% of cells positive; 4 - 51% to 75 % of positive cells; 5 - more than 75% positive cells). Analysis of the expression of BMP-2 revealed no statistically significant differences in parenchymal (p = 0.925) and stromal component (p = 0.345) between the groups, as well as BMP-4 (p = 0.873 / p = 0.131). In the epithelial component, SA and AOT had a higher frequency of score 5. In turn, all cases of UA were classified as score 5. The analysis of the stromal component showed no statistically significant difference between groups with respect to median scores BMPRIA positivity (p = 0.768) and BMPRII (p = 0.779). In the epithelial component of SA and UA, no statistically significant correlations between imunoexpression proteins analyzed were observed. In turn, the group of AOT, statistically significant positive correlations between the scores of expression of all studied proteins were found. In the stromal component, statistically significant positive correlations were found only in the SA group in BMP -4 and BMPRII (r = 0.476; p = .034), in the UA in BMP-4 and BMPRIA (r = 0.709; p = 0.022). The results of this study suggest that the BMPs and their receptors are involved in the development process odontogenic tumors. BMP-4, in turn, besides being present in odontogenic tumors have the capacity to form mineralized material.
Resumo:
The tales of children's literature, in their plots, mark existential dilemmas belonging in human‟s lives, such as death, situations of separation, loss, abandonment, fear, challenges, achievements and other elements that make them suitable material to assist children in their developmental process. Such elements, present in children‟s storybooks, are close to the experiences lived by the children in the context of hospitalization in a special manner. With that said this study focus on the understanding of the therapeutic possibilities of the tales of children's literature in the care of hospitalized children in Pediatric Intensive Care Units (UTIPED) based on the Heidegger's concept of Care and adopting the Phenomenology as the method. The UTIPED of a state public hospital located in the municipality of Natal/RN was elected as the study site and four hospitalized children aged between six and nine years, all males, presenting different clinical conditions were selected to participate in the study following age and clinical conditions as the selective criteria. The procedure of corpus construction included eight individual sessions of storytelling accompanied by the use of ludic resources. The phenomenological understanding about the therapeutic possibilities of tales was structured under three main elements: (1) the ludic axis; (2) the reflective axis; and (3) the affective axis. The appropriateness of the proposed therapy in the context of the UTIPED and the potential of the tales as a protection factor to the child was evident. The storytelling activity framed a scenario of care unusual in the context of intensive care units, establishing a symbolic space for children‟s expression. Therefore, this study indicates this therapeutic proposal for children‟s care in the UTIPED that considers their evolutionary stage, their clinical conditions at the time and especially their emotional needs during their immersion in a diverse and foreign environment which is filled with potentially harmful elements to their full development.
Resumo:
The increasing search for the psychological attendance, express in the waiting list in the clinics, clinic-school and in the private clinics, beyond the increase of the choice of psychology as professional career among the pre-college students, allows us to reflect about the place that is occupied by the Psychology, nowadays. The main focus of this study is the clinical Psychology, an area of psychology. The interest in to deepen the reflection regarding of the place that the psychologist and his acting had been assumed in our society, emerged from our own actuation as clinical psychologist. Reflections concerning the suffering of man of our time, accompanying our inquietude while researcher and made us question about the actuation of clinical psychology, nowadays. This research aimed to understand how the clinical psychologists perceive their practice, attempting to get appointments regarding of what is to be clinical psychologist in contemporaneity, more specifically, in the face of the psychic suffering. Based on a phenomenological perspective of research were accomplished semi-structured interviews and a discussion group with clinical psychologists. From the obtained results, we arrived to the following conclusions: a) the most of participants considered the academic formation of the psychologist insufficient and far from social reality; b) the speeches revealed that there is still a relation between the practice of clinical psychologist and the medical model of attendance. Nevertheless, was observed a change in the new psychologists conception of clinic, but is still in development; c) in the most of speeches, we founded consensus about the idea of that the social context which the contemporaneous world lives, had generated new demands of suffering; d) the clinical listening is considered the specificity of the clinical psychologist. We believe that this study had been contributed to fomenting the discussion about the academic formation of clinical psychologist and, the concepts and models of clinic that now base the actuation of the professionals that are inserted on the work market
Resumo:
The development of interactive systems involves several professionals and the integration between them normally uses common artifacts, such as models, that drive the development process. In the model-driven development approach, the interaction model is an artifact that includes the most of the aspects related to what and how the user can do while he/she interacting with the system. Furthermore, the interactive model may be used to identify usability problems at design time. Therefore, the central problematic addressed by this thesis is twofold. In the first place, the interaction modeling, in a perspective that helps the designer to explicit to developer, who will implement the interface, the aspcts related to the interaction process. In the second place, the anticipated identification of usability problems, that aims to reduce the application final costs. To achieve these goals, this work presents (i) the ALaDIM language, that aims to help the designer on the conception, representation and validation of his interactive message models; (ii) the ALaDIM editor, which was built using the EMF (Eclipse Modeling Framework) and its standardized technologies by OMG (Object Management Group); and (iii) the ALaDIM inspection method, which allows the anticipated identification of usability problems using ALaDIM models. ALaDIM language and editor were respectively specified and implemented using the OMG standards and they can be used in MDA (Model Driven Architecture) activities. Beyond that, we evaluated both ALaDIM language and editor using a CDN (Cognitive Dimensions of Notations) analysis. Finally, this work reports an experiment that validated the ALaDIM inspection method
Resumo:
A maioria da soluções apresentadas como candidatas à implementação de serviços de distribuição de áudio e vídeo, têm sido projetadas levando-se em consideração determinadas condições de infra-estrutura, formato dos fluxos de vídeo a serem transmitidos, ou ainda os tipos de clientes que serão atendidos pelo serviço. Aplicações que utilizam serviços de distribuição de vídeo normalmente precisam lidar com grandes oscilações na demanda pelo serviço devido a entrada e saída de usuários do serviço. Com exemplo, basta observar a enorme variação nos níveis de audiência de programas de televisão. Este comportamento coloca um importante requisito para esta classe de sistemas distribuídos: a capacidade de reconfiguração como conseqüência de variações na demanda. Esta dissertação apresenta um estudo que envolveu o uso de agentes móveis para implementar os servidores de um serviço de distribuição de vídeo denominada DynaVideo. Uma das principais características deste serviço é a capacidade de ajustar sua configuração em conseqüência de variações na demanda. Como os servidores DynaVideo podem replicar-se e são implementados como código móvel, seu posicionamento pode ser otimizado para atender uma dada demanda e, como conseqüência, a configuração do serviço pode ser ajustada para minimizar o consumo de recursos necessários para distribuir vídeo para seus usuários. A principal contribuição desta dissertação foi provar a viabilidade do conceito de servidores implementados como agentes móveis Java baseados no ambiente de desenvolvimento de software Aglet.
Resumo:
Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B
Resumo:
Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.
Resumo:
There is a need for multi-agent system designers in determining the quality of systems in the earliest phases of the development process. The architectures of the agents are also part of the design of these systems, and therefore also need to have their quality evaluated. Motivated by the important role that emotions play in our daily lives, embodied agents researchers have aimed to create agents capable of producing affective and natural interaction with users that produces a beneficial or desirable result. For this, several studies proposing architectures of agents with emotions arose without the accompaniment of appropriate methods for the assessment of these architectures. The objective of this study is to propose a methodology for evaluating architectures emotional agents, which evaluates the quality attributes of the design of architectures, in addition to evaluation of human-computer interaction, the effects on the subjective experience of users of applications that implement it. The methodology is based on a model of well-defined metrics. In assessing the quality of architectural design, the attributes assessed are: extensibility, modularity and complexity. In assessing the effects on users' subjective experience, which involves the implementation of the architecture in an application and we suggest to be the domain of computer games, the metrics are: enjoyment, felt support, warm, caring, trust, cooperation, intelligence, interestingness, naturalness of emotional reactions, believabiliy, reducing of frustration and likeability, and the average time and average attempts. We experimented with this approach and evaluate five architectures emotional agents: BDIE, DETT, Camurra-Coglio, EBDI, Emotional-BDI. Two of the architectures, BDIE and EBDI, were implemented in a version of the game Minesweeper and evaluated for human-computer interaction. In the results, DETT stood out with the best architectural design. Users who have played the version of the game with emotional agents performed better than those who played without agents. In assessing the subjective experience of users, the differences between the architectures were insignificant
Resumo:
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)