Delphi study for the design and validation of a questionnaire about digital competences in higher education

The study of digital competence remains an issue of interest for both the scientific community and the supranational political agenda. This study uses the Delphi method to validate the design of a questionnaire to determine the perceived importance of digital competence in higher education. The questionnaire was constructed from different framework documents in digital competence standards (NETS, ACLR, UNESCO). The triangulation of non-parametric techniques made it possible to consolidate the results obtained through the Delphi panel, the suitability of which was highlighted through the expert competence index (K). The resulting questionnaire emerges as a good tool for undertaking future national and international studies on digital competence in higher education.

Aprender através do recurso digital Pixton no 1º ciclo do ensino básico

Relatório de Estágio apresentado à Escola Superior do Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico.

A software tool for accurate assessment of costs and CO2 emissions in wood transport using OpenStreetMap©

Costs and environmental impacts are key elements in forest logistics and they must be integrated in forest decision-making. The evaluation of transportation fuel costs and carbon emissions depend on spatial and non-spatial data but in many cases the former type of data are dicult to obtain. On the other hand, the availability of software tools to evaluate transportation fuel consumption as well as costs and emissions of carbon dioxide is limited. We developed a software tool that combines two empirically validated models of truck transportation using Digital Elevation Model (DEM) data and an open spatial data tool, specically OpenStreetMap©. The tool generates tabular data and spatial outputs (maps) with information regarding fuel consumption, cost and CO2 emissions for four types of trucks. It also generates maps of the distribution of transport performance indicators (relation between beeline and real road distances). These outputs can be easily included in forest decision-making support systems. Finally, in this work we applied the tool in a particular case of forest logistics in north-eastern Portugal

e-Consultation as a tool for participation in teachers’ unions: the greater the focus, the greater the number of visits

In the 2000’s, the Internet became the preferred mean for the citizens to communicate. The YouTube, Twitter, Facebook, LinkedIn, i.e., the social networks in general appeared together with the Web 2.0, which allows an extraordinary interaction between citizens and the democratic institutions. The trade unions constantly fight governments’ decisions, especially in periods of crisis like the one that the world, Europe and, in particular, Portugal are facing. In this regard, the use of e-participation platforms is expected to strengthen the relationship between trade unions and the education community. This paper reports the research about the planning and driving of a series of experiments of online public consultation, launched by teachers’ trade unions. These experiments are compared with those of other countries, such as Australia, United Kingdom and United States of America. A quantitative analysis of the results regarding hits, subscriptions, and response rates is presented, and it is compared with the 90-9-1 rule, the ASCU model and data from government agencies. The experiments performed used the Liberopinion, an online platform that supports bidirectional asynchronous communication. A better understanding of the benefits of these collaborative environments is expected by promoting quality of interaction between actors.

A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

Satellite applications as an ocean and coastal zone management tool: three cases studies

La presente investigación es un estudio de tres aplicaciones de los satélites del océano y las zonas costeras (OCzM). Los sensores de radar que se utilizan en la exploración batimétrica son útiles en la industria de las tuberías de petróleo y en la navegación costera. Térmica y la imagen de radar se han utilizado para detectar indirectamente la distribución de los recursos de las pesquerías de atún y últimamente también otras pesquerías. El sistema de posicionamiento global (GPS) y de comunicaciones de datos de seguimiento de la flota actual de permisos, aunque el enfoque de esta tesis es sobre la flota pesquera. El desarrollo de cualquier sistema de monitoreo de la flota puede seguir el mismo principio.

Forensic laboratories : handbook for facility planning, design, construction, and moving /

"NCJ 168106."

... DNA testing accountability report /

"... in accordance with Public Act 093-0785."

Online Video as a Tool for Planning Education and Engagement: A Content Analysis of U.S. City Planning Departments’ YouTube Channels

Thesis (Master's)--University of Washington, 2016-06

A rapid dietary assessment tool to determine intake of folate was developed and validated

Background and Objective: Estimates of dietary folate intake are currently of considerable interest, but no rapid tools are available to assess dietary intake of folate that are well suited to everyday health promotion activities, We developed and tested the reliability and validity of two prototypes of a rapid dietary assessment tool (a folate intake tool, FIT) to determine dietary intake of folate. Study Design and Setting: Five hundred and sixty eight men and women aged 33-93 years from Perth, Western Australia. Completed one of the two prototypes of the tool and gave a fasting blood sample for measurement of serum folate. A subset (n - 277) of participants completed the same tool on a second occasion 3-6 weeks later. Results: The Pearson correlations (r) between folate score from the tool and serum folate were moderately high for both prototypes (FIT-A r = 0.54-, FIT-B r = 0.49). The folate scores for the two prototypes were similar on repeat testing and correlated strongly (FIT-A r = 0.75; FIT-B r = 0.68). Conclusions: The rapid dietary assessment tool described here, FIT, provides a valid and reliable measurement of dietary intake of folate for both men and women. (c) 2005 Elsevier Inc. All rights reserved.

Tool support for executable documentation of Java class hierarchies

While object-oriented programming offers great solutions for today's software developers, this success has created difficult problems in class documentation and testing. In Java, two tools provide assistance: Javadoc allows class interface documentation to be embedded as code comments and JUnit supports unit testing by providing assert constructs and a test framework. This paper describes JUnitDoc, an integration of Javadoc and JUnit, which provides better support for class documentation and testing. With JUnitDoc, test cases are embedded in Javadoc comments and used as both examples for documentation and test cases for quality assurance. JUnitDoc extracts the test cases for use in HTML files serving as class documentation and in JUnit drivers for class testing. To address the difficult problem of testing inheritance hierarchies, JUnitDoc provides a novel solution in the form of a parallel test hierarchy. A small controlled experiment compares the readability of JUnitDoc documentation to formal documentation written in Object-Z. Copyright (c) 2005 John Wiley & Sons, Ltd.

A case study in specification and implementation testing

Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved.

Testing java interrupts and timed waits

Testing concurrent software is difficult due to problems with inherent nondeterminism. In previous work, we have presented a method and tool support for the testing of concurrent Java components. In this paper, we extend that work by presenting and discussing techniques for testing Java thread interrupts and timed waits. Testing thread interrupts is important because every Java component that calls wait must have code dealing with these interrupts. For a component that uses interrupts and timed waits to provide its basic functionality, the ability to test these features is clearly even more important. We discuss the application of the techniques and tool support to one such component, which is a nontrivial implementation of the readers-writers problem.

Dealing with non-determinism in testing concurrent java components

The testing of concurrent software components can be difficult due to the inherent non-determinism present in these components. For example, if the same test case is run multiple times, it may produce different results. This non-determinism may lead to problems with determining expected outputs. In this paper, we present and discuss several possible solutions to this problem in the context of testing concurrent Java components using the ConAn testing tool. We then present a recent extension to the tool that provides a general solution to this problem that is sufficient to deal with the level of non-determinism that we have encountered in testing over 20 components with ConAn. © 2005 IEEE

Supporting the software testing process through specification animation

Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and transitions of the specification. Testgraphs are used to generate sequences for animation, and during testing, to execute these same sequences on the implementation.