The concept of features provides an elegant way to specify families of systems. Given a base system, features encapsulate additional functionalities that can be activated or deactivated to enhance or restrict the base system’s behaviors. Features can also facilitate the analysis of families of systems by exploiting commonalities of the family members and performing an all-in-one analysis, where all systems of the family are analyzed at once on a single family model instead of one-by-one. Most prominent, the concept of features has been successfully applied to describe and analyze (software) product lines. We present the tool ProFeat that supports the feature-oriented engineering process for stochastic systems by probabilistic model checking. To describe families of stochastic systems, ProFeat extends models for the prominent probabilistic model checker Prism by feature-oriented concepts, including support for probabilistic product lines with dynamic feature switches, multi-features and feature attributes. ProFeat provides a compact symbolic representation of the analysis results for each family member obtained by Prism to support, e.g., model repair or refinement during feature-oriented development. By means of several case studies we show how ProFeat eases family-based quantitative analysis and compare one-by-one and all-in-one analysis approaches.

The dissertation consists of an introduction and three empirical articles. The introduction gives the theoretical background, integrates the three articles, and elaborates on future research questions. The first article investigates the important decision in the lives of German and Indian university students to identify the important areas of decision making. The second article examines the structure of real life decision making and reveals the underlying factors of five major decision areas. The third article investigates the similarities and differences on decision making between German and Indian students using prior qualitative findings in a large quantitative survey.

This diploma thesis is focused on war journalism and compares how the Czech daily Mlada fronta Dnes and American daily The New York Times inform about Syria civil war. In first theoretical part is introduced concept of journalism, process of news selection and agenda setting. Moreover war journalism, propaganda and historical development of war journalism are introduced. Following part brings concrete description of for theoretical bases which help form research questions. The quantitative analyse is chosen as a method of research. Research part of this work aims to discover masculine and feminine values in journalism. These values were former defined in Gina G. Barker study. Next part aims to connect three media roles by Daya Kishan Thussu a Des Friedman to chosen newspaper. Moreover the used sources of dailies are described. Research is focused on patriotism during inform about civil war as well. The last part brings the results of this research and comparison of journalism about Syrian civil war on the pages of Czech and American newspapers.

Durch den Einsatz digitaler Technologien ergeben sich auch im Rahmen der beruflichen Bildung neue Möglichkeiten zur digitalisierten Dokumentation von Wissen und Verfügbarmachung von Informationen für die beteiligten Alteurinnen und Akteure. Dieser Beitrag zeigt, inwiefern eine digitale Lernortkooperation unter Gesichtspunkten des Wissenstransfers mithilfe eines Online-Berichtsheftes umgesetzt werden kann. Dazu wird das vom BMBF geförderte Verbundprojekt ‚Diffusion digitaler Technologien in der beruflichen Bildung durch Lernortkooperation‘ (DiBBLok) vorgestellt und inblicke in die Ergebnisse einer quantiativen Strukturdatenanalyse des Online-Berichtsheftes BLok gegeben.