A seamless framework for formal reasoning on specifications : model derivation, verification and comparison

While formal methods have been demonstrated to be favourable to the construction of reliable systems, they also present us with several limitations. Most of the efforts regarding formal reasoning are concerned with model correctness for critical systems, while other properties, including model validity, have seen little development, especially in the context of non-critical systems. We set to advance model validation by relating a software model with the corresponding requirements it is intended to capture. This requires us to express both requirements and models in a common formal language, which in turn will enable not only model validation, but also model generation and comparison. We present a novel framework (TOMM) that integrates the formalization of class diagrams and requirements, along with a set of formal theories to validate, infer, and compare class models. We introduce SpeCNL, a controlled domain independent subset of English sentences, and a document structure named ConSpec. The combination of both allows us to express and formalize functional requirements related to class models. Our formal framework is accompanied by a proof-of-concept tool that integrates language and image processing libraries, as well as formal methods, to aid the usage and evaluation of our theories. In addition, we provide an implementation that performs partial extraction of relevant information from the graphical representations of class diagrams. Though different approaches to model validation exist, they assume the existence of formal specifications for the model to be checked. In contrast, our approach has been shown to deal with informal specifications and seamlessly validate, generate and compare class models

International Perspectives on the Teaching and Learning of Geometry in Secondary Schools

A collection of 19 papers developed after the presentations at Topic Study Group 13 during the 13th International Congress on Mathematical Education, July 24 to August 1, 2016https://deepblue.lib.umich.edu/bitstream/2027.42/140744/1/International Perspectives on Secondary Geometry.pdfDescription of International Perspectives on Secondary Geometry.pdf : Main Articl

The Computational Attitude in Music Theory

Music studies’s turn to computation during the twentieth century has engendered particular habits of thought about music, habits that remain in operation long after the music scholar has stepped away from the computer. The computational attitude is a way of thinking about music that is learned at the computer but can be applied away from it. It may be manifest in actual computer use, or in invocations of computationalism, a theory of mind whose influence on twentieth-century music theory is palpable. It may also be manifest in more informal discussions about music, which make liberal use of computational metaphors. In Chapter 1, I describe this attitude, the stakes for considering the computer as one of its instruments, and the kinds of historical sources and methodologies we might draw on to chart its ascendance. The remainder of this dissertation considers distinct and varied cases from the mid-twentieth century in which computers or computationalist musical ideas were used to pursue new musical objects, to quantify and classify musical scores as data, and to instantiate a generally music-structuralist mode of analysis. I present an account of the decades-long effort to prepare an exhaustive and accurate catalog of the all-interval twelve-tone series (Chapter 2). This problem was first posed in the 1920s but was not solved until 1959, when the composer Hanns Jelinek collaborated with the computer engineer Heinz Zemanek to jointly develop and run a computer program. Recognizing the transformation wrought on modern statistics and communications technology by information theory, I revisit Abraham Moles’s book Information Theory and Esthetic Perception (orig. 1958) and use its vocabulary to contextualize contemporary information-theoretic work on music that various evokes the computational mind by John. R. Pierce and Mary Shannon, Wilhelm Fucks, and Henry Quastler (Chapter 3). I conclude with a detailed look into a score-segmentation algorithm of the influential American music theorist Allen Forte (Chapter 4). Forte was a skilled programmer who spent several years at MIT in the 1960s, with cutting-edge computers and the company of first-rank figures in the nascent fields of computer science and artificial intelligence. Each one of the researchers whose work is treated in these case studies—at some stage in their relationship with music—adopted what I call the computational attitude to music, to varying degrees and for diverse ends. Of the many questions this dissertation seeks to answer: what was gained by adopting such an attitude? What was lost? Having understood these past explorations of the computational attitude to music, we are better suited ask of ourselves the same questions today

Proceedings of the 12th International Conference on Technology in Mathematics Teaching ICTMT 12

Innovation, inclusion, sharing and diversity are some of the words that briefly and suitably characterize the ICTMT series of biennial international conferences – the International Conference on Technology in Mathematics Teaching. Being the twelfth of a series which began in Birmingham, UK, in 1993, under the influential enterprise of Professor Bert Waits from Ohio State University, this conference was held in Portugal for the first time. The 12th International Conference on Technology in Mathematics Teaching was hosted by the Faculty of Sciences and Technology of the University of Algarve, in the city of Faro, from 24 to 27 June 2015, and was guided by the original spirit of its foundation. The integration of digital technologies in mathematics education across school levels and countries, from primary to tertiary education, together with the understanding of the phenomena involved in the teaching and learning of mathematics in technological environments have always been driving forces in the transformation of pedagogical practices. The possibility of joining at an international conference a wide diversity of participants, including school mathematics teachers, lecturers, mathematicians, mathematics educators and researchers, software designers, and curriculum developers, is one facet that makes this conference rather unique. At the same time, it seeks to foster the sharing of ideas, experiences, projects and studies while providing opportunities to try-out and assess tools or didactical proposals during times of hands-on work. The ICTMT 12 had this same ambition, when embracing and welcoming just over 120 delegates who actively and enthusiastically contributed to a very packed program of scientific proposals and sessions on various topics

Enhancing Free-text Interactions in a Communication Skills Learning Environment

Learning environments frequently use gamification to enhance user interactions.Virtual characters with whom players engage in simulated conversations often employ prescripted dialogues; however, free user inputs enable deeper immersion and higher-order cognition. In our learning environment, experts developed a scripted scenario as a sequence of potential actions, and we explore possibilities for enhancing interactions by enabling users to type free inputs that are matched to the pre-scripted statements using Natural Language Processing techniques. In this paper, we introduce a clustering mechanism that provides recommendations for fine-tuning the pre-scripted answers in order to better match user inputs

Research on Teaching and Learning In Biology, Chemistry and Physics In ESERA 2013 Conference

This paper provides an overview of the topics in educational research that were published in the ESERA 2013 conference proceedings. The aim of the research was to identify what aspects of the teacher-student-content interaction were investigated frequently and what have been studied rarely. We used the categorization system developed by Kinnunen, Lampiselkä, Malmi and Meisalo (2016) and altogether 184 articles were analyzed. The analysis focused on secondary and tertiary level biology, chemistry, physics, and science education. The results showed that most of the studies focus on either the teacher’s pedagogical actions or on the student - content relationship. All other aspects were studied considerably less. For example, the teachers’ thoughts about the students’ perceptions and attitudes towards the goals and the content, and the teachers’ conceptions of the students’ actions towards achieving the goals were studied only rarely. Discussion about the scope and the coverage of the research in science education in Europe is needed.Peer reviewe

Supporting orchestration of blended CSCL scenarios in distributed learning environments

El diseño y gestión en tiempo real de escenarios de aprendizaje colaborativo soportado por ordenador (en inglés, CSCL) es una tarea compleja y difícilmente realizable por profesores no expertos, que en los últimos años ha dado en denominarse "orquestación". La presente tesis doctoral profundiza en este concepto de orquestación, y de hecho la primera contribución de la tesis es un marco conceptual para caracterizar la orquestación, destinada a su uso por científicos en el campo del CSCL, validado mediante dos paneles de científicos del CSCL. La tesis también propone los "patrones atómicos" como herramientas conceptuales para que profesores no expertos realicen dicha orquestación, y que se han validado mediante cuatro talleres con profesores de educación primaria y superior. Finalmente, se propone GLUE!-PS, una infraestructura tecnológica para el despliegue y gestión en tiempo real de escenarios CSCL, validada a través de talleres y experiencias auténticas con profesorado universitario.Departamento de Teoría de la Señal y Comunicaciones e Ingeniería Telemática2012-11-2