Logística reversa numa empresa de laminação de vidros: um estudo de caso

Este trabalho apresenta uma aplicação da Logística Reversa numa empresa multinacional que atua na área de laminação de vidros no Brasil. Na empresa estudada, a sucata gerada pelos seus clientes pode ser usada para realimentar o seu processo de produção. Inicialmente, são discutidos os principais aspectos relacionados ao tema, tais como, definição de Logística Reversa, ciclo de vida do produto, motivos e destinos do retorno, além dos fatores que influenciam a eficiência de um processo de Logística Reversa. A seguir, ilustradas pelo estudo de caso, são apresentadas e comentadas as etapas para uma implementação de um sistema de Logística Reversa ser bem sucedida. Finalmente, comentam-se as dificuldades, ganhos e vantagens competitivas obtidas por empresas que adotaram soluções da Logística Reversa, em particular na empresa em que o estudo de caso foi desenvolvido.

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

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

Dos requisitos à arquitetura em linhas de produtos de software: uma estratégia de transformações entre modelos

The tracking between models of the requirements and architecture activities is a strategy that aims to prevent loss of information, reducing the gap between these two initial activities of the software life cycle. In the context of Software Product Lines (SPL), it is important to have this support, which allows the correspondence between this two activities, with management of variability. In order to address this issue, this paper presents a process of bidirectional mapping, defining transformation rules between elements of a goaloriented requirements model (described in PL-AOVgraph) and elements of an architectural description (defined in PL-AspectualACME). These mapping rules are evaluated using a case study: the GingaForAll LPS. To automate this transformation, we developed the MaRiPLA tool (Mapping Requirements to Product Line Architecture), through MDD techniques (Modeldriven Development), including Atlas Transformation Language (ATL) with specification of Ecore metamodels jointly with Xtext , a DSL definition framework, and Acceleo, a code generation tool, in Eclipse environment. Finally, the generated models are evaluated based on quality attributes such as variability, derivability, reusability, correctness, traceability, completeness, evolvability and maintainability, extracted from the CAFÉ Quality Model

GT4CCI: uma abordagem baseada em grounded theory para a identificação de interesses transversais em documentos de requisitos

When crosscutting concerns identification is performed from the beginning of development, on the activities involved in requirements engineering, there are many gains in terms of quality, cost and efficiency throughout the lifecycle of software development. This early identification supports the evolution of requirements, detects possible flaws in the requirements specification, improves traceability among requirements, provides better software modularity and prevents possible rework. However, despite these several advantages, the crosscutting concerns identification over requirements engineering faces several difficulties such as the lack of systematization and tools that support it. Furthermore, it is difficult to justify why some concerns are identified as crosscutting or not, since this identification is, most often, made without any methodology that systematizes and bases it. In this context, this paper proposes an approach based on Grounded Theory, called GT4CCI, for systematizing and basing the process of identifying crosscutting concerns in the initial stages of the software development process in the requirements document. Grounded Theory is a renowned methodology for qualitative analysis of data. Through the use of GT4CCI it is possible to better understand, track and document concerns, adding gains in terms of quality, reliability and modularity of the entire lifecycle of software

Comparação dos padrões de atratividade de Hermetia illucens (Diptera, Stratiomyidae) associada a carcaças de Rattus norvergicus enterradas e tratadas com hormônios esteróides

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

Importance of lateral lagoons for the ichthyofauna in a large tropical reservoir

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

Ultramorphological features of the egg of Telmatoscopus albipunctatus (Williston) (Diptera, Psychodidae)

Aspectos ultramorfológicos do ovo de Telmatoscopus albipunctatus (Williston) (Diptera, Psychodidae). As moscas da família Psychodidae, também conhecidas como moscas de banheiro, são de importância médica e veterinária. Informações gerais sobre ciclo de vida e hábitos do adulto são facilmente encontradas, mas pouco se sabe sobre a morfologia do ovo. Dessa forma, neste estudo, a ultramofologia do ovo de Telmatoscopus albipunctatus (Williston, 1893) foi analisada por microscopia eletrônica de varredura com o objetivo de descrever sua estrutura, provendo importantes dados para futuras comparações entre moscas de diferentes espécies e gêneros. O aspecto geral do ovo de T. albipunctatus é similar a outros Psychodidae, medindo aproximadamente 0.4 mm de comprimento e 0.1 mm de largura. Entretanto, baseado nas esculturas contínuas e descontínuas do exocórion, as quais podem ser espécie-específicas, podemos inferir que os ovos de T. albipunctatus podem sobreviver sob condições de muita umidade ou seca, dificultando o controle da espécie. Nossos resultados ressaltam a importância do uso da microscopia eletrônica como uma ferramenta no estudo dos padrões do exocórion. A morfologia externa do ovo de T. albipunctatus pode ser usada como base para futuros estudos e como ferramenta para comparação de diferentes espécies de moscas do gênero Psychodidae.

Reproductive aspects of Harttia carvalhoi Miranda Ribeiro, 1939, a small loricariid from streams of serra da Mantiqueira eastern, SP, Brazil

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

Reproductive strategies of two Curimatidae species in a Mogi Guacu impoundment, upper Parana River basin, São Paulo, Brazil

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

Molecular weight estimation of esterase isoenzymes in closely related Drosophila Species (Diptera: Drosophilidae) in non-denaturing polyacrylamide gel electrophoresis

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

New aerophytic morphospecies of Nostoc (Cyanobacteria) from São Paulo State, Brazil

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

Respostas fisiológicas ao déficit hídrico em duas cultivares enxertadas de seringueira (RRIM 600 e GT 1) crescidas em campo

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

Feeding associations between Guiana dolphins, Sotalia guianensis (Van Bénèden, 1864) and seabirds in the Lagamar estuary, Brazil

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

Fertility tables of two populations of the parthenogenetic species Poratia salvator (Diplopoda, Polydesmida, Pyrgodesmidae)

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

Cultura pedagógica e formação de professores: a biblioteca da escola normal de Piracicaba (1911-1920)

Cet article a pour objet la Bibliothèque de l'École Normale de Piracicaba, à l'intérieur de São Paulo, entre les années 1911 et 1920, parce qu'elle représente un lieu de formation d'enseignants et organisation de culture pédagogique. Cette Bibliothèque qui a été constituée au long du cycle de vie de l'École Complémentaire de Piracicaba (1896-1911) et officialisée à partir de 1911 aura le rôle d'organiser et disséminer une certaine culture pédagogique en raison de sélectionner, trier et distribuer un ensemble de connaissances propres à la profession enseignante. Elle symbolise un espace de formation de l'enseignant de l'École Normale et de l'élève-lecteur. L'étude de la culture pédagogique se concentre sur l'analyse de cette bibliothèque.