Eltern, die für ihr Kind das Risiko einer genetisch bedingten Krankheit befürchten oder Paare, die mögliche Ursachen (z.B. Unfruchtbarkeit) für ihre bisherige Kinderlosigkeit untersuchen lassen wollen, benötigen neben Befunden aus der Präimplantationsdiagnostik oder dem nicht invasiven-pränatalen Bluttest (NIPT) viele weitere Detailinformationen, damit sie die individuell richtige Entscheidung treffen können. Unter Umständen müssen sie eine Fehlgeburt oder das Risiko einer schweren Behinderung ihres Wunschkindes in Betracht ziehen oder sich für einen frühzeitigen...

This thesis investigates real-life calendars, calendar and time expressions, and time and date formats. The thesis aims at the development of computer-based tools for modeling and processing such calendric data. The realization is based on a programming language approach to time and calendars that essentially differs from logic-based and algebraic approaches. The thesis underlying this work is twofold: (1) »Calendar as Type«, i.e. time and calendar expressions are not modeled in a logic or an algebra but instead, by means of data types. The user is provided with a set of language constructs...