SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Cognitive intervention protocol for age-related memory impairments

With the number of elderly people increasing tremendously worldwide, comes the need for effective methods to maintain or improve older adults' cognitive performance. Using continuous neurofeedback, through the use of EEG techniques, people can learn how to train and alter their brain electrical activity. A software platform that puts together the proposed rehabilitation methodology has been developed: a digital game protocol that supports neurofeedback training of alpha and theta rhythms, by reading the EEG activity and presenting it back to the subject, interleaved with neurocognitive tasks such as n-Back and Corsi Block-Tapping. This tool will be used as a potential rehabilitative platform for age-related memory impairments.

Historical and conceptual landscape of the character

This paper was developed with the intention of broadly demonstrating the complexity of the area known recently as character development, as a creative process methods and implementation. It searches the understanding of the character itself, its place in the narrative and its reception by the reader or target audience. It is a multidisciplinary tool that faces a multitude of challenges from an increasingly demanding public and with specific goals in mind, and yet it also gives us valuable insight over how we interact with one another and the world around us, teaching us how to transfer such knowledge into fiction promoting empathic bonds between the reader and the characters. The human tendency to create is limitless and as old as mankind itself, we create, recreate and reinterpret and then populate such tales with believable characters from who we learn, and experience events and tales that shape our very lives.

Qualifound – a modular tool developed for quality improvement in foundries

Purpose – Castings defects are usually easy to characterize, but to eradicate them can be a difficult task. In many cases, defects are caused by the combined effect of different factors, whose identification is often difficult. Besides, the real non-quality costs are usually unknown, and even neglected. This paper aims to describe the development of a modular tool for quality improvement in foundries, and its main objective is to present the application potential and the foundry process areas that are covered and taken into account. Design/methodology/approach – The integrated model was conceived as an expert system, designated Qualifound, which performs both qualitative and quantitative analyses. For the qualitative analyses mode, the nomenclature and the description of defects are based on the classification suggested by the International Committee of the Foundry Technical Association. Thus, a database of defects was established, enabling one to associate the defects with the relevant process operations and the identification of their possible causes. The quantitative analysis mode deals with the number of produced and rejected castings and includes the calculation of the non-quality costs. Findings – The validation of Qualifound was carried out in a Portuguese foundry, whose quality system had been certified according to the ISO 9000 standards. Qualifound was used in every management area and it was concluded that the application had the required technological requisites to provide the necessary information for the foundry management to improve process quality. Originality/value – The paper presents a successful application of an informatics tool on quality improvement in foundries.

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

Survival analysis: a tool in the study of post-harvest diseases in peaches

Survival analysis is applied when the time until the occurrence of an event is of interest. Such data are routinely collected in plant diseases, although applications of the method are uncommon. The objective of this study was to use two studies on post-harvest diseases of peaches, considering two harvests together and the existence of random effect shared by fruits of a same tree, in order to describe the main techniques in survival analysis. The nonparametric Kaplan-Meier method, the log-rank test and the semi-parametric Cox's proportional hazards model were used to estimate the effect of cultivars and the number of days after full bloom on the survival to the brown rot symptom and the instantaneous risk of expressing it in two consecutive harvests. The joint analysis with baseline effect, varying between harvests, and the confirmation of the tree effect as a grouping factor with random effect were appropriate to interpret the phenomenon (disease) evaluated and can be important tools to replace or complement the conventional analysis, respecting the nature of the variable and the phenomenon.

Towards a Catalog of Usability Smells

This paper presents a catalog of smells in the context of interactive applications. These so-called usability smells are indicators of poor design on an application’s user interface, with the potential to hinder not only its usability but also its maintenance and evolution. To eliminate such usability smells we discuss a set of program/usability refactorings. In order to validate the presented usability smells catalog, and the associated refactorings, we present a preliminary empirical study with software developers in the context of a real open source hospital management application. Moreover, a tool that computes graphical user interface behavior models, giving the applications’ source code, is used to automatically detect usability smells at the model level.

Surface plasmon resonance as a tool in the functional analisys of an immunodominant site in foot-and-mouth disease virus

A fast and direct surface plasmon resonance (SPR) method for the kinetic analysis of the interactions between peptide antigens and immobilised monoclonal antibodies (mAb) has been established. Protocols have been developed to overcome the problems posed by the small size of the analytes (< 1600 Da). The interactions were well described by a simple 1:1 bimolecular interaction and the rate constants were self-consistent and reproducible. The key features for the accuracy of the kinetic constants measured were high buffer flow rates, medium antibody surface densities and high peptide concentrations. The method was applied to an extensive analysis of over 40 peptide analogues towards two distinct anti-FMDV antibodies, providing data in total agreement with previous competition ELISA experiments. Eleven linear 15-residue synthetic peptides, reproducing all possible combinations of the four replacements found in foot-and-mouth disease virus (FMDV) field isolate C-S30, were evaluated. The direct kinetic SPR analysis of the interactions between these peptides and three anti-site A mAbs suggested additivity in all combinations of the four relevant mutations, which was confirmed by parallel ELISA analysis. The four-point mutant peptide (A15S30) reproducing site A from the C-S30 strain was the least antigenic of the set, in disagreement with previously reported studies with the virus isolate. Increasing peptide size from 15 to 21 residues did not significantly improve antigenicity. Overnight incubation of A15S30 with mAb 4C4 in solution showed a marked increase in peptide antigenicity not observed for other peptide analogues, suggesting that conformational rearrangement could lead to a stable peptide-antibody complex. In fact, peptide cyclization clearly improved antigenicity, confirming an antigenic reversion in a multiply substituted peptide. Solution NMR studies of both linear and cyclic versions of the antigenic loop of FMDV C-S30 showed that structural features previously correlated with antigenicity were more pronounced in the cyclic peptide. Twenty-six synthetic peptides, corresponding to all possible combinations of five single-point antigenicity-enhancing replacements in the GH loop of FMDV C-S8c1, were also studied. SPR kinetic screening of these peptides was not possible due to problems mainly related to the high mAb affinities displayed by these synthetic antigens. Solution affinity SPR analysis was employed and affinities displayed were generally comparable to or even higher than those corresponding to the C-S8c1 reference peptide A15. The NMR characterisation of one of these multiple mutants in solution showed that it had a conformational behaviour quite similar to that of the native sequence A15 and the X-ray diffraction crystallographic analysis of the peptide ? mAb 4C4 complex showed paratope ? epitope interactions identical to all FMDV peptide ? mAb complexes studied so far. Key residues for these interactions are those directly involved in epitope ? paratope contacts (141Arg, 143Asp, 146His) as well as residues able to stabilise a particular peptide global folding. A quasi-cyclic conformation is held up by a hydrophobic cavity defined by residues 138, 144 and 147 and by other key intrapeptide hydrogen bonds, delineating an open turn at positions 141, 142 and 143 (corresponding to the Arg-Gly-Asp motif).

Teaching and learning production and operations management: the journey from identity crisis to a cross, disciplinary approach

Este artigo tem suas raízes em algumas questões relacionadas à "forma" e ao "conteúdo" do que nós, professores, ensinamos na área de Administração da Produção e Operações. Inicialmente, descrevo a evolução histórica desse campo no Brasil. Em seguida, discuto a crise de identidade que o campo está sofrendo. Com o objetivo de apresentar respostas para essa situação, apresento seis propostas para o desenvolvimento e consolidação do campo. Finalmente, descrevo uma iniciativa prática, envolvendo uma disciplina específica da área, ensinada para alunos de pós-graduação. Essa iniciativa enfatiza a "dimensão do conteúdo" (de uma abordagem técnico-operacional para uma abordagem estratégico-gerencial) como também a "dimensão da forma" (do foco no ensino para o foco no aprendizado). O sucesso dessa experiência em curso confirma a coerência da agenda proposta e induz futuros aperfeiçoamentos.

Dinâmica da acumulação de capacidades inovadoras: evidências de empresas de software no Rio de janeiro e em São Paulo

São escassos estudos sobre a dinâmica da acumulação de capacidades inovadoras. Este artigo examina o tema em oito empresas de software em São Paulo e Rio de Janeiro, encontrando: diferenças inter e intraempresariais em termos da direção e taxa de acumulação de capacidade para funções tecnológicas específicas; acúmulo de capacidade tecnológica mais rápido em empresas mais jovens; e decréscimo das taxas de acumulação tecnológica à medida que as empresas se aproximam de níveis mais inovadores de capacidades, demonstrando a potencialidade para aceleração do processo. Tais evidências são relevantes para o entendimento da acumulação tecnológica e fornecem uma noção do tempo necessário para se obterem benefícios de esforços de aprendizagem e construção de capacidade inovadora.

Atratividade de projetos de software livre: importância teórica e estratégias para administração

Milhares de Projetos de Software Livre (PSL) foram e continuam sendo criados na Internet. Esse cenário aumenta as oportunidades de colaboração tanto quanto acirra a concorrência por usuários e contribuidores, que elevariam esses projetos a níveis superiores aos que seriam alcançados por seus fundadores sozinhos. E dado que o aprimoramento por meio de colaboração é o principal objetivo dos fundadores de PSL, a importância de entender e administrar a capacidade de atrair usuários e contribuidores fica estabelecida. Para auxiliar pesquisadores e fundadores nesse desafio, o conceito de atratividade é introduzido neste artigo, que desenvolve um ferramental teórico-gerencial sobre as causas, indicadores e consequências da atratividade, viabilizando sua administração estratégica.

PROPOSTA DE INVESTIGAÇÃO SOBRE O USO DE SOFTWARE NO SUPORTE À INOVAÇÃO EM SERVIÇOS

RESUMOEste artigo examina os objetivos, instrumentos e características das inovações habilitadas por Tecnologias da Informação e Comunicação (TICs) no Brasil, enfatizando as tecnologias utilizadas, os canais habilitados pelas ferramentas digitais, os processos de aprendizado para inovação e as mudanças organizacionais necessárias para o uso de ferramentas avançadas. A metodologia consiste na adaptação de taxonomias existentes para os propósitos específicos da pesquisa e a realização de uma pesquisa de campo com o auxílio do software Atlas.ti. Os resultados mostram que as inovações habilitadas por TIC não constituem eventos isolados e pontuais, uma vez que alteram processos, formas de relacionamento com parceiros e clientes, e requerem uma maior integração de funções organizacionais. Importantes diferenças foram observadas em função do porte da empresa, da internacionalização das operações, da capacitação técnica e do grau de acesso a ferramentas proprietárias.

Estresse e desordem temporomandibular (DTM) : incidência e relação em docentes de nível

RESUMO: O trabalho docente exige dedicação em sala de aula e fora dela, pois o professor vê-se na missão de educador, formador de opiniões e de futuros profissionais no mercado de trabalho. Uma das patologias que pode ocorrer devido ao estresse gerado pela docência é o desenvolvimento de Desordens Temporomandibulares, que acarretará cefaleias, dores musculares na região cervical e facial e alterações posturais. Tivemos a pretensão de conduzir nossas reflexões sobre o estresse do docente para procurar responder às nossas inquietações. Para isso, formulamos o seguinte questionamento: qual a incidência e a relação entre o estresse e o desenvolvimento de Desordens Temporomandibulares no docente de nível superior? O objetivo geral desta investigação foi descrever e analisar a relação entre o estresse e a incidência de Desordem Temporomandibular (DTM) em docentes de nível superior da cidade de Palmas – Tocantins – Brasil. Para contemplar o objetivo geral, buscamos verificar a presença ou não de estresse e os principais sintomas de estresse nos docentes de Ensino Superior, identificando a fase do estresse em que os professores se encontravam e verificar a presença ou não de DTM e seus graus. Procuramos, ainda, avaliar a relação entre sexo e presença de estresse, estado civil e presença de estresse, o tempo de docência e a presença de estresse e a relação entre a carga horária em sala de aula e a carga horária total de trabalho e a presença de estresse, entre sexo e presença de DTM, estado civil e presença de DTM, o tempo de docência e a presença de DTM e a relação entre a carga horária em sala de aula e carga horária total de trabalho e a presença de DTM. A metodologia utilizada, para a realização deste trabalho, foi de caráter exploratório e descritivo com uma abordagem quantitativa dos dados obtidos. A pesquisa caracterizou-se num estudo de campo, fundamentada em um instrumento denominado “Inventário de Sintomas de Stress Lipp – ISSL” da autora Marilda Lipp (2005), versão para adulto, ao qual acrescentamos dados sociodemográficos (estado civil, tempo de docência, carga horária de sala de aula e de trabalho total). Recorremos, ainda, ao Questionário Índice de Helkimo para identificar a ocorrência de DTMs. A coleta dos dados foi realizada a partir de uma amostra de duzentos e trinta e três (233) docentes de Ensino Superior, com idade entre 23 e 74 anos. Com base na análise realizada, os resultados revelaram que a presença de sintomas de estresse se encontra em 106 (45,49%) docentes, com predomínio da fase de resistência. Verificamos que 127 (54,5%) docentes não apresentam estresse. A sintomatologia predominante são sintomas psicológicos. Vimos que o tempo de docência e a jornada de trabalho não contribuem como um valor preditivo da presença de estresse, bem como o estado civil, e verificamos que o sexo feminino apresentou mais sintomas de estresse. Ao analisarmos a presença ou não de DTM, vimos que os docentes apresentam sintomas de DTM em sua maioria, encontrada em 187 docentes (80,25%), com predomínio do grau de DTM leve. Vimos que o tempo de docência e a jornada de trabalho não contribuem como um valor significativo para a presença de DTM, mas que o sexo feminino apresentou mais sintomas de DTM, bem como os casados. Buscando responder ao problema norteador desta 6 investigação, vimos que, mesmo nos docentes sem presença de estresse, havia sintomas de DTM. Esses dados indicam que a profissão docente pode causar sobrecargas e gerar a DTM. Diante dessa amostra de docentes pesquisados, concluímos que os dados aqui apresentados sugerem uma ampliação do estudo. Considerando a relevância do papel desempenhado pelos docentes das Instituições de Ensino Superior na formação dos acadêmicos e em sua efetiva transformação em futuros profissionais, nossa contribuição para o conhecimento do processo de estresse e os graus de DTM na atividade docente proporcionará oportunidade aos profissionais das diversas áreas do conhecimento e, principalmente, aos docentes para despertarem para a elaboração de programas de combate, controle e prevenção do estresse e do desenvolvimento de DTMs, resultando, dessa forma, na conquista de uma vida mais saudável, tanto na área física quanto na área psicológica. ABSTRACT: Abstract The teacher’s job requires dedication in and out of the classroom for a teacher is in a education mission, he/she is an opinion maker and responsible for future professionals in the market. One of the pathologies that may take place due to the stress caused by this job is the Temporomandibular Joint Disorder (TMD) that will trigger cephaleas, muscle pain in the cervical and facial area and posture changes. The purpose of this paper is to conduct reflections about teachers’ stress trying to answer the following question: What is the incidence rate and correlation between stress and the occurrence of Temporomandibular Joint Disorder (DTM) in teachers of institutions of higher learning in the city of Palmas – Tocantis – Brazil. To fulfill the general purpose we tried to verify the presence or not of stress and the principal symptoms in teachers in universities and colleges, identifying the levels of stress that they were, and verifying the presence or not of TMD and its levels. We tried to evaluate the correlation between gender and the occurrence of stress, marital status and the presence of stress, career time and the presence of stress, and time working in classroom and the total time of work and the presence of stress. The methodology used to perform this was an exploratory and descriptive study with a quantitative approach of the data gathered. The research was characterized by a field study, fundamented by a tool called “Lipp Stress Symptom Inventory – ISSL” from the author Marilda Lipp (2005), adult version, which we also added social-demographic data (marital status, time teaching, hours working in the classroom, and total time of work). We also used the Helkimo Index Questionnaire to identify the occurrence of TMD’s. The data was collected from a sample of two hundred three (233) teachers of universities and colleges between 23 to 74 years of age. Based on the analysis performed, the results showed the presence of stress among 106 (45.49%) of the teachers, with the predominance of the resistance level. We observed that some 127 teachers (54.5%) did not show stress. The predominant symptomology were psychological ones. We observed that time of experience and the schedule do not influence as a predictive value for the stress presence, neither does the marital status and we also observed that the female gender showed more stress symptoms. When we analyzed the presence or not of TMD, we observed that most of the teachers showed symptoms of TMD, some 187 teachers (80.25%), with the predominance of first level TMD. We observed that the time as teacher and the schedule do not influence with an important value for the TMD presence, however the feminine gender as well as married teachers showed more symptoms of TMD. Trying to answer the most important issue of this study, we saw that even without the occurrence of stress the TMD was present showing that the profession can cause overwork and consequently TMD. With this sample of teachers studied we conclude that the found data suggest a wider research. Considering the role performed by teachers of universities and colleges in the development of students and future professionals, our contribution for the understanding of the stress development and TMD levels in the teaching activity will enable the opportunity for professionals of different areas of knowledge, and 8 principally for teachers, to awaken to the need to develop programs to fight, control, and prevent stress and the development of TMD, therefore resulting in a healthier life, both a physical as well as a psychological one.

Public hearings as a tool to improve participation in regulatory policies: case study of the National Agency of Electric Energy

The participation of citizens in public policies is an opportunity not only to educate them, but also to increase their empowerment. However, the best way for deploying participatory policies, defining their scope and approach, still remains an open and continuous debate. Using as a case study the Brazilian National Agency of Electric Energy (Aneel), with its public hearings about tariff review, this paper aims at analyzing the democratic aspects of these hearings and challenges the hypothesis of many scholars about the social participation bias in this kind of procedure. This study points out a majority participation of experts, contrasting with the political content of discussions. And, this way, it contributes to a critical analysis of the public hearings as a participatory tool, indicating their strengths and their aspects which deserve a special attention.