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

Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software

Through the adoption of the software product line (SPL) approach, several benefits are achieved when compared to the conventional development processes that are based on creating a single software system at a time. The process of developing a SPL differs from traditional software construction, since it has two essential phases: the domain engineering - when common and variables elements of the SPL are defined and implemented; and the application engineering - when one or more applications (specific products) are derived from the reuse of artifacts created in the domain engineering. The test activity is also fundamental and aims to detect defects in the artifacts produced in SPL development. However, the characteristics of an SPL bring new challenges to this activity that must be considered. Several approaches have been recently proposed for the testing process of product lines, but they have been shown limited and have only provided general guidelines. In addition, there is also a lack of tools to support the variability management and customization of automated case tests for SPLs. In this context, this dissertation has the goal of proposing a systematic approach to software product line testing. The approach offers: (i) automated SPL test strategies to be applied in the domain and application engineering, (ii) explicit guidelines to support the implementation and reuse of automated test cases at the unit, integration and system levels in domain and application engineering; and (iii) tooling support for automating the variability management and customization of test cases. The approach is evaluated through its application in a software product line for web systems. The results of this work have shown that the proposed approach can help the developers to deal with the challenges imposed by the characteristics of SPLs during the testing process

Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

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

Reqsys-MDD: uma ferramenta para mapeamento entre modelos de features e requisitos em linhas de produto de software

The approach Software Product Line (SPL) has become very promising these days, since it allows the production of customized systems on large scale through product families. For the modeling of these families the Features Model is being widely used, however, it is a model that has low level of detail and not may be sufficient to guide the development team of LPS. Thus, it is recommended add the Features Model to other models representing the system from other perspectives. The goals model PL-AOVgraph can assume this role complementary to the Features Model, since it has a to context oriented language of LPS's, which allows the requirements modeling in detail and identification of crosscutting concerns that may arise as result of variability. In order to insert PL-AOVgraph in development of LPS's, this paper proposes a bi-directional mapping between PL-AOVgraph and Features Model, which will be automated by tool ReqSys-MDD. This tool uses the approach of Model-Driven Development (MDD), which allows the construction of systems from high level models through successive transformations. This enables the integration of ReqSys-MDD with other tools MDD that use their output models as input to other transformations. So it is possible keep consistency among the models involved, avoiding loss of informations on transitions between stages of development

Caracterizando os fluxos excepcionais em linhas de produto de software: um estudo exploratório

The Exception Handling (EH) is a widely used mechanism for building robust systems. In Software Product Line (SPL) context it is not different. As EH mechanisms are embedded in most of mainstream programming languages (like Java, C# and C++), we can find exception signalers and handlers spread over code assets associated to common and variable SPL features. When exception signalers and handlers are added to an SPL in an unplanned way, one of the possible consequences is the generation of faulty family instances (i.e., instances on which common or variable features signal exceptions that are mistakenly caught inside the system). In this context, some questions arise: How exceptions flow between the optional and alternative features an LPS? Aiming at providing answers to these questions, this master thesis conducted an exploratory study, based on code inspection and static analysis code, whose goal was to categorize the main ways which exceptions flow in LPSs. To support the study, we developed an static analysis tool called PLEA (Product Line Exception Analyzer) that calculates the exceptional flows of LPSs, and categorize these flows according to the features associated with handlers and signalers. Preliminary results showed that some types of exceptional flows have more potential to yield failures in exceptional behavior of SLPs

Squid impact analyser: uma ferramenta para análise de impacto de mudança em linhas de produto de software

Software Products Lines (SPL) is a software engineering approach to developing software system families that share common features and differ in other features according to the requested software systems. The adoption of the SPL approach can promote several benefits such as cost reduction, product quality, productivity, and time to market. On the other hand, the SPL approach brings new challenges to the software evolution that must be considered. Recent research work has explored and proposed automated approaches based on code analysis and traceability techniques for change impact analysis in the context of SPL development. There are existing limitations concerning these approaches such as the customization of the analysis functionalities to address different strategies for change impact analysis, and the change impact analysis of fine-grained variability. This dissertation proposes a change impact analysis tool for SPL development, called Squid Impact Analyzer. The tool allows the implementation of change impact analysis based on information from variability modeling, mapping of variability to code assets, and existing dependency relationships between code assets. An assessment of the tool is conducted through an experiment that compare the change impact analysis results provided by the tool with real changes applied to several evolution releases from a SPL for media management in mobile devices

Correlação entre os métodos de concepção, ocorrência e formas de tratamento das onfalopatias em bovinos: estudo retrospectivo

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

Ambientes residenciais controlados por dispositivos móveis: estudo, concepção e desenvolvimento de um aplicativo considerando a diversidade

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

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

Desigualdades socioespaciais: produção do espaço e política habitacional de interesse social em Parnamirim/RN

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Avaliações sensoriais, bioquímicas e microbiológicas do guacamole, um produto à base de abacate, sob armazenamento a frio e com adição de ácido ascórbico

The elaboration of avocado products for commercialization keeping their characteristics of fresh product has been limited. The cut avocado darkens quickly and their sensorial characteristics are modified with the storage. In the present research, the sensorial parameters, microbiological stability, and peroxidase and polyphenoloxidase activity were evaluated in guacamole added with ascorbic acid and conserved under low temperature, by using avocado variety Hass. Products were conditioned in polyethylene+nylon packages with and without vacuum application; then, they were subjected to the slow and fast freezing (-18 degrees C) and stored in freezer (-18 degrees C). Evaluations were performed at the moment of elaboration of the product (t0) and at 3, 7 and 30 days post-storage. At t30, samples were kept under refrigeration (4 +/- 1 degrees C) and evaluated at 3, 5 and 7 days. After the 30 days of storage, -18 degrees C under freezing, followed by thawing and keeping at 4 +/- 1 degrees C for 7 days, the notes for the sensorial parameters decreased. The peroxidase activity was totally inhibited in the elaborated product and the polifenol oxidase activity considerably decreased in the guacamole (20.07 mM catechol/g fresh matter) relative to those in the fruit (58.31 mM catechol/g fresh matter), however with no significant variation during storage (at -18 degrees C). The samples were microbiologically stable under the conditions of the present study. The addition of ascorbic acid contributed to the conservation of the frozen avocado product by decreasing the enzymatic activity. However, the sensorial parameters are prejudiced under thawing and storage at 4 +/- 1 degrees C.

Concepção de roubo em pré-escolares

Partindo do trabalho pioneiro de J. Piaget, O julgamento moral da criança, revisamos as contribuições para este estudo sobre a concepção de roubo em crianças. Usando uma história que envolve um pequeno roubo examinamos como pré-escolares respondem a questões sobre o roubo ser certo ou errado, o porquê dessa resposta, assim como avaliamos a percepção da criança à presença, à contingência e à relatividade de regras. Tendo como sujeitos 80 crianças de duas pré-escolas, uma pública e outra particular, cada escola dividida em duas turmas, encontramos que todas as crianças têm noção da regra de o roubo ser errado e ao justificarem essa resposta apresentam cinco tipos de argumentos, assim como já apresentam julgamentos em função da intenção. Resultados são discutidos em termos da teoria de desenvolvimento moral de Piaget.

Liofilização de fatias de abacaxi: avaliação da cinética de secagem e da qualidade do produto

O objetivo deste trabalho foi avaliar a cinética de secagem e os parâmetros de qualidade - conteúdo de vitamina C, reidratação e textura - de fatias de abacaxi liofilizadas em função da espessura e da temperatura de congelamento. Abacaxis do tipo Havaí, variedade Smooth Cayenne, foram fatiados transversalmente em espessuras de 0,5, 1,0 e 1,5 cm. As fatias foram congeladas nas temperaturas de -14, -24 e -34 °C, sendo, em seguida, conduzidas ao liofilizador. Uma parcela das amostras era destinada ao estudo da cinética de secagem pela pesagem periódica das mesmas, enquanto outra foi reservada para os testes de qualidade. O teor de vitamina C foi quantificado por adição de ácido oxálico na amostra e titulado com 2,6-diclorofenolindofenol. O parâmetro de textura avaliado foi a dureza, por testes de compressão em texturômetro, enquanto a reidratação foi obtida pela pesagem das amostras antes e após a imersão em água destilada por 5 min. Os resultados do presente trabalho mostraram que existe uma forte dependência da cinética de secagem e dos atributos de qualidade de fatias de abacaxi liofilizadas em função das condições utilizadas durante a etapa de congelamento, mesmo sendo este classificado como congelamento lento. Por outro lado, a taxa de congelamento não é a única variável que tem influência sobre a cinética de secagem e os atributos de qualidade. A combinação de temperatura e umidade, tanto durante a liofilização propriamente dita, quanto durante a etapa de reidratação, tem influência sobre a transição vítrea do material que, por sua vez, afeta a extensão do colapso estrutural sofrido pelo produto.

O vídeo didático Conhecendo o Solo e a contribuição desse recurso audiovisual no processo de aprendizagem no ensino fundamental

O uso de recursos audiovisuais no ensino de solos, como estímulo para os alunos, pode auxiliar na construção de um conhecimento crítico e reflexivo. Este trabalho objetivou analisar a contribuição do vídeo Conhecendo o Solo no ensino e na aprendizagem dessa temática no nível fundamental. Com o intuito de estimular os alunos a perceber a importância dos solos nos ambientes, esse vídeo foi aplicado como conteúdo de ensino. em seguida, foi aplicado um questionário, em que os alunos descreveram as principais ideias transmitidas por esse, especificando os pontos positivos e negativos do recurso utilizado. A análise do questionário revelou que o uso do vídeo foi um facilitador da aprendizagem. Porém, as respostas dos estudantes indicaram que alguns aspectos necessitam de adequações, como o dinamismo, a interatividade, a quantidade de informações e a narração. Mesmo assim, o recurso foi classificado pela maioria dos alunos como adequado, e o repertório de conteúdos apresentou similaridade com o exposto no vídeo, caracterizando-o como um recurso de influência positiva no processo de ensino e aprendizagem.