"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

e-Learning Statistics - A Selective Review

Modern computing equipment is present at schools and universities at all levels of education. In the statistical sciences computers offer great opportunities to enrich the learning process by the means of e.g. animations, software integration or on-the-fly computations. A personal review of different e-learning platforms for statistics is done in this paper. This review reveals facts that could be taken into account for future e-learning platforms in statistics. One of the most striking discoveries of our analysis is that students of statistics actually do not use electronic media in the desired frequency and actually rely more on print media such as books,copies of slides, etc.e-learning, electronic books, hypertext courseware, statistical software

An intelligent training system for payload-assist module deploys

An autonomous intelligent training system which integrates expert system technology with training/teaching methodologies is described. The Payload-Assist Module Deploys/Intelligent Computer-Aided Training (PD/ICAT) system has, so far, proven to be a potentially valuable addition to the training tools available for training Flight Dynamics Officers in shuttle ground control. The authors are convinced that the basic structure of PD/ICAT can be extended to form a general architecture for intelligent training systems for training flight controllers and crew members in the performance of complex, mission-critical tasks

Enhancing apprentice-based learning of Java

Various methods have been proposed in the past to improve student learning by introducing new styles of working with assignments. These include problem-based learning, use of case studies and apprenticeship. In most courses, however, these proposals have not resulted in a widespread significant change of teaching methods. Most institutions still use a traditional lecture/lab class approach with a strong separation of tasks between them. In part, this lack of change is a consequence of the lack of easily available and appropriate tools to support the introduction of new approaches into mainstream courses.In this paper, we consider and extend these ideas and propose an approach to teaching introductory programming in Java that integrates assignments and lectures, using elements of all three approaches mentioned above. In addition, we show how the BlueJ interactive programming environment [7] (a Java development environment aimed at education) can be used to provide the type of support that has hitherto hindered the widespread take-up of these approaches. We arrive at a teaching method that is motivating, effective and relatively easy to put into practice. Our discussion includes a concrete example of such an assignment, followed by a description of guidelines for the design of this style of teaching unit

A self-regulated learning approach : a mobile context-aware and adaptive learning schedule (mCALS) tool

Self-regulated students are able to create and maximize opportunities they have for studying or learning. We combine this learning approach with our Mobile Context-aware and Adaptive Learning Schedule (mCALS) tool which will create and enhance opportunities for students to study or learn in different locations. The learning schedule is used for two purposes, a) to help students organize their work and facilitate time management, and b) for capturing the users’ activities which can be retrieved and translated as learning contexts later by our tool. These contexts are then used as a basis for selecting appropriate learning materials for the students. Using a learning schedule to capture and retrieve contexts is a novel approach in the context-awareness mobile learning field. In this paper, we present the conceptual model and preliminary architecture of our mCALS tool, as well as our research questions and methodology for evaluating it. The learning materials we intend to use for our tool will be Java for novice programmers. We decided that this would be appropriate because large amounts of time and motivation are necessary to learn an object-oriented programming language such as Java, and we are currently seeking ways to facilitate this for novice programmers

Workers researching the workplace using a work based learning framework: Developing a research agenda for the development of improved supervisory practice

This is a preprint of an article which later appeared in Impact: Journal of Applied Research in Workplace E-learning.The article is case study of academic practice in respect of the supervision of research in the workplace by distance learners using a Work Based Learning (WBL) framework. Key aspects of the WBL are described including the role of technology in delivery. Drawing upon tutor experience at one institution and knowledge of practice elsewhere several conceptual and practical issues are raised as the basis for a planned research exercise to identify commonalities and differences in approach among practitioners. Ultimately, the purpose is to improve the relevance and application of workplace research by practitioners