CTAMS GeoMedia User Tool Documentation and Technical GIS Concepts, 1998

A user manual for the GeoMedia software program, along with some discussion of digital orthophotos.

Modelo institucional do processo de estruturação de empresas de desenvolvimento de software: um estudo de múltiplos casos

Some authors have shown the need of understanding the technological structuring process in contemporary firms. From this perspective, the software industry is a very important element because it provides products and services directly to many organizations from many fields. In this case, the Brazilian software industry has some peculiarities that distinguish it from other industries located in developed countries, which makes its understanding even more relevant. There is evidence that local firms take different strategies and structural configurations to enter into a market naturally dominated by large multinational firms. Therefore, this study aims to understand not only the structural configurations assumed by domestic firms but also the dynamic and the process that lead to these different configurations. To do so, this PhD dissertation investigates the institutional environment, its entities and the isomorphic movements, by employing an exploratory, descriptive and explanatory multiple cases study. Eight software development companies from the Recife's information technology Cluster were visited. Also, a form was applied and an interview with one of the main firm s professional was conducted. Although the study is predominantly qualitative, part of the data was analyzed through charts and graphs, providing a companies and environment overview that was very useful to analysis done through the interviews interpretation. As a result, it was realized that companies are structured around hybrids business models from two ideal types of software development companies, which are: software factory and technology-based company. Regarding the development process, it was found that there is a balanced distribution between the traditional and agile development paradigm. Among the traditional methodologies, the Rational Unified Process (RUP) is predominant. The Scrum is the most used methodology among the organizations based on the Agile Manifesto's principles. Regarding the structuring process, each institutional entity acts in such way that generates different isomorphic pressure. Emphasis was given to entities such as customers, research agencies, clusters, market-leading businesses, public universities, incubators, software industry organizations, technology vendors, development tool suppliers and manager s school and background because they relate themselves in a close way with the software firms. About this relationship, a dual and bilateral influence was found. Finally, the structuring level of the organizational field has been also identified as low, which gives a chance to organizational actors of acting independently

Validation Française de l’Échelle de la Personnalité Temporelle (French Validation of the Time Personality Indicator)

RÉSUMÉ Certains auteurs ont développé un intérêt pour la compréhension des aptitudes associées à la gestion du temps. Ainsi, plusieurs définitions théoriques ont été proposées afin de mieux cerner ce concept et une multitude de questionnaires a été développée afin de le mesurer. La présente étude visait à valider la traduction française d’un de ces outils, soit le Time Personality Indicator (TPI). Des analyses exploratoires et confirmatoires ont été effectuées sur l’ensemble des données recueillies auprès de 1 267 étudiants et employés de l’Université Laval ayant complété la version française du TPI ainsi que d’autres mesures de la personnalité. Les résultats ont révélé qu’une solution à huit facteurs permet de mieux décrire les données de l’échantillon. La discussion présente les raisons pour lesquelles la version française du TPI est valide, identifie certaines limites de la présente étude et souligne l’utilité de cet outil pour la recherche sur la gestion du temps. (ABSTRACT: Numerous authors have developed an interest towards the understanding of the abilities related to time management. As a consequence, multiple theoretical definitions have been proposed to explain time management. Likewise, several questionnaires have been developed in order to measure this concept. The aim of this study was to validate a French version of one of these tools, namely the Time Personality Indicator (TPI). The French version of the TPI and other personality questionnaires were completed by 1267 students and employees of Université Laval. The statistical approach used included exploratory and confirmatory analyses. Results revealed that an eight factor model provided a better adjustment to the data. The discussion provides arguments supporting the validity of the French version of the TPI and underlines the importance of such a tool for the research on time management)

Evaluation of a versatile energy auditing tool

Energy auditing can be an important contribution for identification and assessment of energy conservation measures (ECMs) in buildings. Numerous tools and software have been developed, with varying degree of precision and complexity and different areas of use.   This paper evaluates PHPP as a versatile, easy-to-use energy auditing tool and gives examples of how it has been compared to a dynamic simulation tool, within the EU-project iNSPiRe. PHPP is a monthly balance energy calculation tool based on EN13790. It is intended for assisting the design of Passive Houses and energy renovation projects and as guidance in the choice of appropriate ECMs.   PHPP was compared against the transient simulation software TRNSYS for a single family house and a multi-family house. It should be mentioned that dynamic building simulations might strongly depend on the model assumptions and simplifications compared to reality, such as ideal heating or real heat emission system. Setting common boundary conditions for both PHPP and TRNSYS, the ideal heating and cooling loads and demands were compared on monthly and annual basis for seven European locations and buildings with different floor area, S/V ratio, U-values and glazed area of the external walls.   The results show that PHPP can be used to assess the heating demand of single-zone buildings and the reduction of heating demand with ECMs with good precision. The estimation of cooling demand is also acceptable if an appropriate shading factor is applied in PHPP. In general, PHPP intentionally overestimates heating and cooling loads, to be on the safe side for system sizing. Overall, the agreement with TRNSYS is better in cases with higher quality of the envelope as in cold climates and for good energy standards. As an energy auditing tool intended for pre-design it is a good, versatile and easy-to-use alternative to more complex simulation tools.

A Scalable Design Framework for Variability Management in Large-Scale Software Product Lines

Variability management is one of the major challenges in software product line adoption, since it needs to be efficiently managed at various levels of the software product line development process (e.g., requirement analysis, design, implementation, etc.). One of the main challenges within variability management is the handling and effective visualization of large-scale (industry-size) models, which in many projects, can reach the order of thousands, along with the dependency relationships that exist among them. These have raised many concerns regarding the scalability of current variability management tools and techniques and their lack of industrial adoption. To address the scalability issues, this work employed a combination of quantitative and qualitative research methods to identify the reasons behind the limited scalability of existing variability management tools and techniques. In addition to producing a comprehensive catalogue of existing tools, the outcome form this stage helped understand the major limitations of existing tools. Based on the findings, a novel approach was created for managing variability that employed two main principles for supporting scalability. First, the separation-of-concerns principle was employed by creating multiple views of variability models to alleviate information overload. Second, hyperbolic trees were used to visualise models (compared to Euclidian space trees traditionally used). The result was an approach that can represent models encompassing hundreds of variability points and complex relationships. These concepts were demonstrated by implementing them in an existing variability management tool and using it to model a real-life product line with over a thousand variability points. Finally, in order to assess the work, an evaluation framework was designed based on various established usability assessment best practices and standards. The framework was then used with several case studies to benchmark the performance of this work against other existing tools.

Validation of evacuation models

Too often, validation of computer models is considered as a "once and forget" task. In this paper a systematic and graduated approach to evacuation model validation is suggested. This involves, (i) component testing, (ii) functional validation, (iii) qualitative validation and (iv) quantitative validation. Viewed in this manner, validation is considered an on-going activity and an integral part of the life cycle of the software. While the first three components of the validation protocol pose little or no significant problems, the task of quantitative validation poses a number of challenges, the most significant being a shortage of suitable experimental data. Finally, the validation protocol used in the development of the EXODUS suite of evacuation models is examined.

Measuring energy footprint of software features

Abstract—With the proliferation of Software systems and the rise of paradigms such the Internet of Things, Cyber- Physical Systems and Smart Cities to name a few, the energy consumed by software applications is emerging as a major concern. Hence, it has become vital that software engineers have a better understanding of the energy consumed by the code they write. At software level, work so far has focused on measuring the energy consumption at function and application level. In this paper, we propose a novel approach to measure energy consumption at a feature level, cross-cutting multiple functions, classes and systems. We argue the importance of such measurement and the new insight it provides to non-traditional stakeholders such as service providers. We then demonstrate, using an experiment, how the measurement can be done with a combination of tools, namely our program slicing tool (PORBS) and energy measurement tool (Jolinar).

Decision making models embedded into a web-based tool for assessing pest infestation risk

Current practices in agricultural management involve the application of rules and techniques to ensure high quality and environmentally friendly production. Based on their experience, agricultural technicians and farmers make critical decisions affecting crop growth while considering several interwoven agricultural, technological, environmental, legal and economic factors. In this context, decision support systems and the knowledge models that support them, enable the incorporation of valuable experience into software systems providing support to agricultural technicians to make rapid and effective decisions for efficient crop growth. Pest control is an important issue in agricultural management due to crop yield reductions caused by pests and it involves expert knowledge. This paper presents a formalisation of the pest control problem and the workflow followed by agricultural technicians and farmers in integrated pest management, the crop production strategy that combines different practices for growing healthy crops whilst minimising pesticide use. A generic decision schema for estimating infestation risk of a given pest on a given crop is defined and it acts as a metamodel for the maintenance and extension of the knowledge embedded in a pest management decision support system which is also presented. This software tool has been implemented by integrating a rule-based tool into web-based architecture. Evaluation from validity and usability perspectives concluded that both agricultural technicians and farmers considered it a useful tool in pest control, particularly for training new technicians and inexperienced farmers.

Computer-aided tool for the teaching of relational algebra in data base courses

This article describes the design and implementation of computer-aided tool called Relational Algebra Translator (RAT) in data base courses, for the teaching of relational algebra. There was a problem when introducing the relational algebra topic in the course EIF 211 Design and Implementation of Databases, which belongs to the career of Engineering in Information Systems of the National University of Costa Rica, because students attending this course were lacking profound mathematical knowledge, which led to a learning problem, being this an important subject to understand what the data bases search and request do RAT comes along to enhance the teaching-learning process.It introduces the architectural and design principles required for its implementation, such as: the language symbol table, the gramatical rules and the basic algorithms that RAT uses to translate from relational algebra to SQL language. This tool has been used for one periods and has demonstrated to be effective in the learning-teaching process.  This urged investigators to publish it in the web site: www.slinfo.una.ac.cr in order for this tool to be used in other university courses.

Mapping and Displaying Structural Transformations between XML and PDF

Documents are often marked up in XML-based tagsets to delineate major structural components such as headings, paragraphs, figure captions and so on, without much regard to their eventual displayed appearance. And yet these same abstract documents, after many transformations and 'typesetting' processes, often emerge in the popular format of Adobe PDF, either for dissemination or archiving. Until recently PDF has been a totally display-based document representation, relying on the underlying PostScript semantics of PDF. Early versions of PDF had no mechanism for retaining any form of abstract document structure but recent releases have now introduced an internal structure tree to create the so called 'Tagged PDF'. This paper describes the development of a plugin for Adobe Acrobat which creates a two-window display. In one window is shown an XML document original and in the other its Tagged PDF counterpart is seen, with an internal structure tree that, in some sense, matches the one seen in XML. If a component is highlighted in either window then the corresponding structured item, with any attendant text, is also highlighted in the other window. Important applications of correctly Tagged PDF include making PDF documents reflow intelligently on small screen devices and enabling them to be read out in correct reading order, via speech synthesiser software, for the visually impaired. By tracing structure transformation from source document to destination one can implement the repair of damaged PDF structure or the adaptation of an existing structure tree to an incrementally updated document.

PICTOAPRENDE: Design and evaluation of a tool that contributes to the personal autonomy of children and youth diagnosed with autism spectrum disorder in Ecuador

This paper presents the development and evaluation of PICTOAPRENDE, which is an interactive software designed to improve oral communication. Additionally, it contributes to the development of children and youth who are diagnosed with autism spectrum disorder (ASD) in Ecuador. To fulfill this purpose initially analyzes the intervention area where the general characteristics of people with ASD and their status in Ecuador is described. Statistical techniques used for this evaluation constitutes the basis of this study. A section that presents the development of research-based cognitive and social parameters of the area of intervention is also shown. Finally, the algorithms to obtain the measurements and experimental results along with the analysis of them are presented.

Estudo da circunferência no ensino médio: sugestões de atividades com a utilização do software geogebra

Esta dissertação propõe sete atividades acerca do estudo da circunferência para alunos do Ensino Médio. A maioria das atividades propostas utilizam o software gratuito de geometria dinâmica GeoGebra como ferramenta de aprendizagem. Programa com diversas vantagens. Além da concepção da geometria dinâmica, a associação entre Geometria e Álgebra, relação enfatizada até no seu nome. As atividades sugeridas abordam os seguintes conteúdos: equações da circunferência (reduzida e geral), análise da equação completa do 2o grau a duas variáveis, método de completar quadrados para reestabelecimento do centro e medida do raio da circunferência, posição relativa entre ponto e circunferência, reta e circunferência e entre duas circunferências. No presente trabalho consta ainda uma análise de alguns livros didáticos para ciência do que está sendo oportunizado ao professor como subsídio para suas aulas. Associamos esta análise também com a argumentação de que o produto deste trabalho é inovador. Mostraremos também a análise das atividades que embasaram a proposta desse trabalho quando aplicadas nas turmas de 3o ano do Instituto Federal do Rio Grande do Sul - Campus Rio Grande, assim como os resultados de uma pesquisa feita sobre os conhecimentos prévios dos alunos sobre geometria do Ensino Fundamental, especificamente relacionados ao círculo.

Automated Software Debugging Using Hybrid Static/Dynamic Analysis

With the increasing complexity of today's software, the software development process is becoming highly time and resource consuming. The increasing number of software configurations, input parameters, usage scenarios, supporting platforms, external dependencies, and versions plays an important role in expanding the costs of maintaining and repairing unforeseeable software faults. To repair software faults, developers spend considerable time in identifying the scenarios leading to those faults and root-causing the problems. While software debugging remains largely manual, it is not the case with software testing and verification. The goal of this research is to improve the software development process in general, and software debugging process in particular, by devising techniques and methods for automated software debugging, which leverage the advances in automatic test case generation and replay. In this research, novel algorithms are devised to discover faulty execution paths in programs by utilizing already existing software test cases, which can be either automatically or manually generated. The execution traces, or alternatively, the sequence covers of the failing test cases are extracted. Afterwards, commonalities between these test case sequence covers are extracted, processed, analyzed, and then presented to the developers in the form of subsequences that may be causing the fault. The hypothesis is that code sequences that are shared between a number of faulty test cases for the same reason resemble the faulty execution path, and hence, the search space for the faulty execution path can be narrowed down by using a large number of test cases. To achieve this goal, an efficient algorithm is implemented for finding common subsequences among a set of code sequence covers. Optimization techniques are devised to generate shorter and more logical sequence covers, and to select subsequences with high likelihood of containing the root cause among the set of all possible common subsequences. A hybrid static/dynamic analysis approach is designed to trace back the common subsequences from the end to the root cause. A debugging tool is created to enable developers to use the approach, and integrate it with an existing Integrated Development Environment. The tool is also integrated with the environment's program editors so that developers can benefit from both the tool suggestions, and their source code counterparts. Finally, a comparison between the developed approach and the state-of-the-art techniques shows that developers need only to inspect a small number of lines in order to find the root cause of the fault. Furthermore, experimental evaluation shows that the algorithm optimizations lead to better results in terms of both the algorithm running time and the output subsequence length.

Modelo gerador de questões no reforço da aprendizagem das radiações e conteúdos de física moderna no ensino secundário

Os avanços e a disseminação do uso das Tecnologias de Informação e Comunicação (TIC) descortinam novas perspetivas para a educação com suporte em ambientes digitais de aprendizagem usados via internet (Fiolhais & Trindade, 2003). A plataforma usada no Projeto Matemática Ensino (PmatE) da Universidade de Aveiro (UA) é uma das ferramentas informáticas que suporta esses ambientes através da avaliação baseada no Modelo Gerador de Questões (MGQ), possibilitando a obtenção da imagem do progresso feito pelos alunos (Vieira, Carvalho & Oliveira, 2004). Reconhecendo a importância didática desta ferramenta, já demonstrada noutras investigações (por exemplo, Carvalho, 2011; Pais de Aquino, 2013; Peixoto, 2009), o presente estudo tem como objetivo geral desenvolver material didático digital de Física, no contexto do programa moçambicano de Física da 12ª classe, para alunos e professores sobre radiações e conteúdos da Física Moderna. Pretendeu-se, ainda, propor estratégias de trabalho com recurso às TIC para a melhoria da qualidade das aprendizagens nesta disciplina. O estudo assentou nas três seguintes questões de investigação: (a) Como conceber instrumentos de avaliação das aprendizagens baseadas no modelo gerador de questões para o estudo das radiações e conteúdos da Física Moderna, no contexto do programa moçambicano de Física da 12ª classe? (b) Que potencialidades e constrangimentos apresentam esses instrumentos quando implementados com alunos e professores? (c) De que forma o conhecimento construído pode ser mobilizado para outros temas da Física e para o ensino das ciências em geral? O estudo seguiu uma metodologia de Estudos de Desenvolvimento, de natureza mista, que compreendeu as fases da Análise, Design, Desenvolvimento e Avaliação, seguindo como paradigma um estudo de cariz exploratório, com uma vertente de estudo de caso. Assim, na Análise, foi discutido o contexto da educação em Moçambique e a problemática da abordagem das radiações e conteúdos de Física Moderna no ensino secundário no quadro desafiante que se coloca atualmente à educação científica. No Design foram avaliadas as abordagens dasTIC no ensino e aprendizagem da Física e das ciências em geral e construída a árvore de objetivos nos conteúdos referidos na fase anterior. Na fase do Desenvolvimento foram construídos os instrumentos de recolha de dados, elaborados os protótipos de MGQ e sua posterior programação, validação e testagem em formato impresso no estudo exploratório. Na Avaliação, foi conduzido o estudo principal com a aplicação dos modelos no formato digital e feita sua avaliação, o que incluiu a administração de inquéritos por questionário a alunos e professores. Os resultados indicam que na conceção de MGQ, a definição dos objetivos de aprendizagem em termos comportamentais é fundamental na formulação de questões e na análise dos resultados da avaliação com o objetivo de reajustar as estratégias didáticas. Apontam também que a plataforma do PmatE que suporta os MGQ, embora possua constrangimentos devido a sua dependência da internet e limitações de ordem didática, contribui positivamente na aprendizagem e na identificação das dificuldades e principais erros dos alunos, por um lado. Por outro, estimula através da avaliação os processos de assimilação e acomodação do conhecimento. O estudo recomenda a necessidade de mudanças nas práticas de ensino e de aprendizagem para que seja possível a utilização de conteúdos digitais como complemento à abordagem didática de conteúdos.

Adaptation and validation into Portuguese language of the HIV Antibody Testing Attitude Scale

Objective. To culturally adapt and validate a version in European Portuguese language of the HIV Antibody Testing Attitude Scale. Methods. Study conducting a methodological investigation for the adaptation and validation of an attitude measurement instrument. The instrument translation and back-translation were performed. Then, a pre-test was conducted. The study used a sample of 317 subjects from the academic community - students, professors and other professionals - who were contacted in the campus. Ethical principles were observed. Results. Three analyses were conducted using the method of principal component analysis (PCA) with five, four and three factors. A three-factor solution was achieved, which presents 50.82% variance. In the analysis of inter-item correlation, values between -0.018 and 0.749 were observed. Internal consistency shows Cronbach’s alpha coefficients of 0.860 overall and between 0.865 and 0.659 in the three factors. Conclusion. The instrument version shows psychometric properties that allow its use in Portuguese-speaking countries.