Browsing by Subject "Verification"

Now showing 1 - 3 of 3
  • Thumbnail Image
    Publication
    Open Access
    El escenario de la calidad en la universidad española: de dónde venimos y hacia dónde vamos
    (2014-08-01) Muñoz Cantero, Jesús Miguel; Pozo, Carmen
    During the 90s of last century, become significant in the Spanish university education concepts and visions hitherto - unknown: System of indicators, program evaluation, qualifications, quality assurance, accreditation,... The low permeability of the system does not it enabled the impregnation quality culture in all its strata or levels and in all Units. The Bologna Declaration in June 1999, was decisive for the construction of the European Higher Education Area (EHEA) in Spain. Since then he has designed modern architecture rules to improve their teaching, research and management quality. The Organization of Official University Education recognizes the need to establish criteria to facilitate the evaluation, certification and accreditation. The establishment of a Quality Assurance System (QMS) is mandatory for the process of verification and accreditation of Titles. Initiated the implementation of the relevant teachings legalist establish evaluation committees, be held on the basis of this monitoring system to guide the accreditation of qualifications. While this is being done, regulation for re-accreditation of official title, today, is not defined.
  • Thumbnail Image
    Publication
    Restricted
    Fact checking skills and project-based learning about infodemic and disinformation
    (2021-06-24) Pérez Escolar, Marta; Ordóñez Olmedo, Eva; Alcaide Pulido, Purificación; Comunicación; Facultades de la UMU::Facultad de Comunicación y Documentación
    In today's high-information and high-communication society, university students are increasingly involved in autonomous and collaborative learning processes, which require active methodologies to facilitate the integration of social competencies. The objective of this study was to raise awareness of the risks of disinformation and infodemics and to identify the main social competencies and skills related to fact-checking that students should acquire. Based on thematic-experiential classes and through the project-based learning methodology, this teaching experience consisted of lecturing a fake class in the communication degree programme, in which the professor gave a speech to 150 students about coronavirus that contained both hoaxes and true information, thus challenging students to identify false information. The results obtained in this qualitative study are divided into three parts to answer each research question. The first part is focused on identifying the most influential hoaxes about the coronavirus that young people have embraced as reliable information during the 2020 pandemic (RQ1). The second part is dedicated to explaining students’ reactions when they are involved in infodemic contexts. We also point out the main challenge that arose in a period of infodemics (RQ2). In the third part, we propose the main fact-checking skills that students should acquire to tackle disinformation in a period of infodemics (RQ3). Training in these skills appeared to improve job performance and undoubtedly contributed to the personal development of our future graduates.
  • Thumbnail Image
    Publication
    Embargo
    Static Analysis of Model Transformations
    (2017) Sánchez Cuadrado, Jesús; Guerra, Esther; de Lara, Juan; Informática y Sistemas
    Model transformations are central to Model-Driven Engineering (MDE), where they are used to transform models between different languages; to refactor and simulate models; or to generate code from models. Thus, given their prominent role in MDE, practical methods helping in detecting errors in transformations and automate their verification are needed. In this paper, we present a method for the static analysis of ATL model transformations. The method aims at discovering typing and rule errors, like unresolved bindings, uninitialized features or rule conflicts. It relies on static analysis and type inference, and uses constraint solving to assert whether a source model triggering the execution of a given problematic statement can possibly exist. Our method is supported by a tool that integrates seamlessly with the ATL development environment. To evaluate the usefulness of our method, we have used it to analyse a public repository of ATL transformations. The high number of errors discovered shows that static analysis of ATL transformations is needed in practice. Moreover, we have measured the precision and recall of the method by considering a synthetic set of transformations obtained by mutation techniques, and comparing with random testing. The experiment shows good overall results in terms of false positives and negatives.