"Boring formal methods" or "Sherlock Holmes deduction methods"?

This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody" elective course at at TU Munich, Germany, to engage pupils studying Computer Science, IT and engineering subjects on Bachelor and Master levels. Our goal was to overcome the bias that logic and formal methods are not only very complicated but also very boring to study and to apply. In this paper, we present the core structure of the course, provide examples of exercises and evaluate the course based on the students' surveys.Comment: Preprint. Accepted to the Software Technologies: Applications and Foundations (STAF 2016). Final version published by Springer International Publishing AG. arXiv admin note: substantial text overlap with arXiv:1602.0517

Research questions and approaches for computational thinking curricula design

Teaching computational thinking (CT) is argued to be necessary but also admitted to be a very challenging task. The reasons for this, are: i) no general agreement on what computational thinking is; ii) no clear idea nor evidential support on how to teach CT in an effective way. Hence, there is a need to develop a common approach and a shared understanding of the scope of computational thinking and of effective means of teaching CT. Thus, the consequent ambition is to utilize the preliminary and further research outcomes on CT for the education of the prospective teachers of secondary, further and higher/adult education curricula

Knowledge Cartography: Software tools and mapping techniques

Knowledge Cartography is the discipline of mapping intellectual landscapes.The focus of this book is on the process by which manually crafting interactive, hypertextual maps clarifies one’s own understanding, as well as communicating it.The authors see mapping software as a set of visual tools for reading and writing in a networked age. In an information ocean, the primary challenge is to find meaningful patterns around which we can weave plausible narratives. Maps of concepts, discussions and arguments make the connections between ideas tangible and disputable. With 17 chapters from the leading researchers and practitioners, the reader will find the current state–of-the-art in the field. Part 1 focuses on educational applications in schools and universities, before Part 2 turns to applications in professional communitie

Content-driven design and architecture of E-learning applications

E-learning applications combine content with learning technology systems to support the creation of content and its delivery to the learner. In the future, we can expect the distinction between learning content and its supporting infrastructure to become blurred. Content objects will interact with infrastructure services as independent objects. Our solution to the development of e-learning applications – content-driven design and architecture – is based on content-centric ontological modelling and development of architectures. Knowledge and modelling will play an important role in the development of content and architectures. Our approach integrates content with interaction (in technical and educational terms) and services (the principle organization for a system architecture), based on techniques from different fields, including software engineering, learning design, and knowledge engineering

The role of virtual reality in built environment education

This study builds upon previous research on the integration of Virtual Reality (VR) within the built environment curriculum and aims to investigate the role of VR and three-dimensional (3D) computer modelling on learning and teaching in a school of the built environment. In order to achieve this aim, a number of academic experiences were analysed to explore the applicability and viability of 3D computer modelling and VR into built environment subject areas. Although two-dimensional (2D) representations have been greatly accepted by built environment professions and education, 3D computer representations and VR applications, offering interactivity and immersiveness, are not yet widely accepted. The study attempts to understand the values and challenges of integrating visualisation technologies into built environment teaching and investigates tutors’ perceptions, opinions and concerns with respect to these technologies. The study reports on the integration process and considers how 3D computer modelling and VR technologies can combine with, and extend, the existing range of learning and teaching methods appropriate to different disciplines and programme areas

A systemic framework for managing e-learning adoption in campus universities: individual strategies in context

There are hopes that new learning technologies will help to transform university learning and teaching into a more engaging experience for twenty-first-century students. But since 2000 the changes in campus university teaching have been more limited than expected. I have drawn on ideas from organisational change management research to investigate why this is happening in one particular campus university context. My study examines the strategies of individual lecturers for adopting e-learning within their disciplinary, departmental and university work environments to develop a conceptual framework for analysing university learning and teaching as a complex adaptive system. This conceptual framework links the processes through which university teaching changes, the resulting forms of learning activity and the learning technologies used – all within the organisational context of the university. The framework suggests that systemic transformation of a university’s learning and teaching requires coordinated change across activities that have traditionally been managed separately in campus universities. Without such coordination, established ways of organising learning and teaching will reassert themselves, as support staff and lecturers seek to optimise their own work locally. The conceptual framework could inform strategies for realising the full benefits of new learning technologies in other campus universities