Trabalho e atividade: categorias de análise na psicologia histórico-cultural do desenvolvimento

Este artigo é resultado de estudos teóricos e pretende apresentar algumas contribuições ao estudo da psicologia histórico-cultural do desenvolvimento, mais especificamente no que se refere à relação existente entre as categorias de trabalho e atividade. Estudos desta natureza são importantes para psicólogos, pedagogos e demais profissionais envolvidos direta ou indiretamente com a prática educativa, na busca por compreender o problema da periodização do desenvolvimento em uma perspectiva não naturalizante. Nesta direção, a categoria de atividade principal mostra-se central como força motriz do processo de desenvolvimento humano, portanto encontra-se estreitamente ligada ao lugar que cada indivíduo ocupa na sociedade de classes bem como às condições objetivas de sua existência material. O estudo do desenvolvimento coincide com o estudo da pessoa concreta, imersa numa trama de relações sociais e num sistema político e econômico; enfim, outra coisa não é senão o estudo da história objetivada em cada indivíduo particular.

Didática no curso de pós graduação: uma contribuição para a transformação do fazer docente na universidade

Trata-se do relato de uma experiência desenvolvida em cursos de pós-graduação, sobre o processo de investigação e desenvolvimento de um programa para a disciplina Didática Geral. Descreve: 1) o objetivo - transformação do fazer docente na Universidade; 2) o conteúdo - fundamentos teóricos do ensino superior e planejamento de ensino; 3) o método - tomada de consciência e micro-aulas. 4) a avaliação - diagnóstica, formativa e somativa.

In the eye of the storm: exploring the introduction of environmental issues in the production function in Brazilian companies

This article aims to analyse the introduction of environmental issues in the context of the production function, which has been referred to as the organisational area to lead corporate environmental management. With that purpose, the theoretical references for corporate environmental management and the necessary alterations in production function have been organised to include environmental aspects, especially in terms of product and process development, quality management, and logistics. Considering that this research field still lacks empirical evidence for Brazilian companies, four case studies were conducted using companies located in the country. The environmental management maturity level of those companies tends to follow the rate with which the environmental issue is introduced in production sub-areas, especially in the product development process. However, in most cases we found that the companies had difficulties in structuring the insertion of the environmental dimension in logistics. The final notes point out the distance observed between what is recommended by international literature and the reality of Brazilian companies in the challenge of making the production function environmentally friendly.

Avaliação imuno-histoquímica da BMP-2, BMP-4 e seus receptores (BMPRIA e BMPRII) em ameloblastomas e tumor odontogênico adenomatóide

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.

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

Uma linguagem de modelagem da interação para auxiliar a comunicação designer-usuário

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

Produção de conhecimento sobre narrativas orais: contribuições para as investigações em linguagem infantil

Este estudo tem como objetivo indicar um panorama geral sobre a produção de conhecimento no que tange os padrões para o desenvolvimento da narrativa oral, nos últimos quatro anos por meio de uma revisão bibliográfica sistematizada, voltada para a temática de intervenção em linguagem infantil, com o uso de narrativas orais. A revisão foi realizada em uma única etapa, com critérios específicos, utilizando os seguintes descritores: narrativas, narrativa, narrativas de crianças, linguagem e desenvolvimento, linguagem oral, habilidades linguísticas, linguagem falada, linguagem infantil, narração/narração de histórias e linguagem. O período considerado foi de 2007 a 2011. Foram obtidos 900 registros, dentre os quais, nove (1%) atenderam aos critérios estabelecidos para análise. A maioria dos estudos relacionou-se com análises psicolinguísticas. Apenas um estudo utilizou método experimental. No período considerado foram produzidos poucos estudos abordando narrativas orais infantis; a sua grande maioria levou em consideração, fundamentalmente, aspectos cognitivos e linguísticos no processo de desenvolvimento da habilidade narrativa; a grande maioria das pesquisas foi realizada com crianças que possuem algum tipo de alteração em seu desenvolvimento linguístico. Considera-se que a produção de conhecimento, em relação ao desenvolvimento de narrativas orais infantis, exige, atualmente, um olhar voltado para as intervenções que utilizem metodologia experimental. Por fim, considera-se que é necessária uma atenção maior em relação ao desenvolvimento típico da habilidade narrativa.

MARISA-MDD: uma abordagem para transformações entre modelos orientados a aspectos: dos requisitos ao projeto detalhado

Aspect Oriented approaches associated to different activities of the software development process are, in general, independent and their models and artifacts are not aligned and inserted in a coherent process. In the model driven development, the various models and the correspondence between them are rigorously specified. With the integration of aspect oriented software development (DSOA) and model driven development (MDD) it is possible to automatically propagate models from one activity to another, avoiding the loss of information and important decisions established in each activity. This work presents MARISA-MDD, a strategy based on models that integrate aspect-oriented requirements, architecture and detailed design, using the languages AOV-graph, AspectualACME and aSideML, respectively. MARISA-MDD defines, for each activity, representative models (and corresponding metamodels) and a number of transformations between the models of each language. These transformations have been specified and implemented in ATL (Atlas Definition Language), in the Eclipse environment. MARISA-MDD allows the automatic propagation between AOV-graph, AspectualACME, and aSideML models. To validate the proposed approach two case studies, the Health Watcher and the Mobile Media have been used in the MARISA-MDD environment for the automatic generation of AspectualACME and aSideML models, from the AOV-graph model

Uma abordagem baseada em aspectos e composição dinâmica para a construção de aplicações adaptativas cientes ao contexto

Ubiquitous computing systems operate in environments where the available resources significantly change during the system operation, thus requiring adaptive and context aware mechanisms to sense changes in the environment and adapt to new execution contexts. Motivated by this requirement, a framework for developing and executing adaptive context aware applications is proposed. The PACCA framework employs aspect-oriented techniques to modularize the adaptive behavior and to keep apart the application logic from this behavior. PACCA uses abstract aspect concept to provide flexibility by addition of new adaptive concerns that extend the abstract aspect. Furthermore, PACCA has a default aspect model that considers habitual adaptive concerns in ubiquitous applications. It exploits the synergy between aspect-orientation and dynamic composition to achieve context-aware adaptation, guided by predefined policies and aim to allow software modules on demand load making possible better use of mobile devices and yours limited resources. A Development Process for the ubiquitous applications conception is also proposed and presents a set of activities that guide adaptive context-aware developer. Finally, a quantitative study evaluates the approach based on aspects and dynamic composition for the construction of ubiquitous applications based in metrics

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

MaRISA-AOCode: uma abordagem genérica para geração de código orientado a aspectos

Currently there are several aspect-oriented approaches that are related to different stages of software development process. These approaches often lack integration with each other and their models and artifacts are not aligned in a coherent process. The integration of Aspect-Oriented Software development (AOSD) and Model-Driven Development (MDD) enables automatic propagation of models from one phase to another, avoiding loss of important information and decisions established in each. This paper presents a model driven approach, called Marisa-AOCode, which supports the processing of detailed design artifacts to code in different Aspect-Oriented Programming languages. The approach proposed by Maris- AOCode defines transformation rules between aSideML, a modeling language for aspectoriented detailed design, and Metaspin, a generic metamodel for aspect-oriented programming languages. The instantiation of the generic metamodel (Metaspin) provided by the approach of Maris-AOCode is illustrated by the transformation of Metaspin for two languages: AspectLua and CaesarJ. We illustrate the approach with a case study based on the Health Watcher System

CrossMDA2: Uma abordagem para minimizar o problema da fragilidade de pointcuts na evolução de sistemas orientados a aspectos

This work proposes a model based approach for pointcut management in the presence of evolution in aspect oriented systems. The proposed approach, called conceptual visions based pointcuts, is motivated by the observation of the shortcomings in traditional approaches pointcuts definition, which generally refer directly to software structure and/or behavior, thereby creating a strong coupling between pointcut definition and the base code. This coupling causes the problem known as pointcut fragility problem and hinders the evolution of aspect-oriented systems. This problem occurs when all the pointcuts of each aspect should be reviewed due to any software changes/evolution, to ensure that they remain valid even after the changes made in the software. Our approach is focused on the pointcuts definition based on a conceptual model, which has definitions of the system's structure in a more abstract level. The conceptual model consists of classifications (called conceptual views) on entities of the business model elements based on common characteristics, and relationships between these views. Thus the pointcuts definitions are created based on the conceptual model rather than directly referencing the base model. Moreover, the conceptual model contains a set of relationships that allows it to be automatically verified if the classifications in the conceptual model remain valid even after a software change. To this end, all the development using the conceptual views based pointcuts approach is supported by a conceptual framework called CrossMDA2 and a development process based on MDA, both also proposed in this work. As proof of concept, we present two versions of a case study, setting up a scenario of evolution that shows how the use of conceptual visions based pointcuts helps detecting and minimizing the pointcuts fragility. For the proposal evaluation the Goal/Question/Metric (GQM) technique is used together with metrics for efficiency analysis in the pointcuts definition

Avaliação sistemática de abordagens de derivação de produto

Product derivation tools are responsible for automating the development process of software product lines. The configuration knowledge, which is responsible for mapping the problem space to the solution space, plays a fundamental role on product derivation approaches. Each product derivation approach adopts different strategies and techniques to manage the existing variabilities in code assets. There is a lack of empirical studies to analyze these different approaches. This dissertation has the aim of comparing systematically automatic product derivation approaches through of the development of two different empirical studies. The studies are analyzed under two perspectives: (i) qualitative that analyzes the characteristics of approaches using specific criteria; and (ii) quantitative that quantifies specific properties of product derivation artifacts produced for the different approaches. A set of criteria and metrics are also being proposed with the aim of providing support to the qualitative and quantitative analysis. Two software product lines from the web and mobile application domains are targets of our study

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Avaliação de arquitetura de agentes emocionais : uma abordagem baseada em métrica de qualidade e na influência das emoções sobre usuários

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