Mobile technology is increasingly prevalent in higher education. Chemistry-related software applications (apps) on touchscreen computers are emerging as a popular platform in many areas, including in the chemistry classroom. In this work, a new game-based app designed for hand-held and portable touch-controlled devices is presented. Chirality-2 covers multiple aspects of introductory undergraduate organic chemistry. The app allows users to earn chemistry-type medals related to his or her score for each stage, track progress, and post scores and compete with peers on social media. The app is free to download on both the iOS and Android operating systems and aims to help reinforce important chemical concepts necessary for introductory undergraduate chemistry courses worldwide. The target audience includes teachers and students at the final year of high school and introductory undergraduate level.

No abstract

This work presents a model-based development methodology 1 for verified software systems as well as a tool support for it: an applied AUTOFOCUS 3 tool chain and its basic principles emphasizing the verification of the system under development as well as the check mechanisms we used to raise the level of confidence in the correctness of the implementation of the automatic generators.

No abstract

No abstract

Formal verification of software systems is a challenge that is particularly important in the area of safety-critical automotive systems. Here, approaches like direct code verification are far too complicated, unless the verification is restricted to small textbook examples. Furthermore, the verification of application logic is of limited use in industrial context, unless the underlying operating system and the hardware are verified, too. This paper introduces a generic model stack, allowing the verification of all system layers as well as the concrete application models being used in the upper layers. The presented models and proofs close the gap between the correctness proof for the lower layers of car electronics developed at the Saarland University and the verification procedure for distributed applications developed at the Technische Universität München.

No abstract

No abstract