Logo des Repositoriums

Auflistung nach Autor:in "Schulz, Marcel"

1 - 2 von 2
  • Konferenzbeitrag
    meDIAry – Quantified Self-App zur Erfassung der Nutzung digitaler Medien im Studium
    (DeLFI 2018 - Die 16. E-Learning Fachtagung Informatik, 2018) Mandausch, Martin; Karagüzel, Hakan; Schulz, Marcel; Henning, Peter
    Mit der App meDIAry können Studierende ihre Mediennutzung selbst protokollieren. Nach der Experience Sampling Methode werden sowohl höchst relevante Forschungsdaten generiert, als auch Grundlagen für einen selbstkritischen Reflexionsprozess der Studierenden gelegt. Die Demonstration gibt Einblick in die App, die Client-Server-Architektur, erste Daten-auswertungen und potentielle Anwendungsszenarien in der Hochschullehre und -forschung.
  • Konferenzbeitrag
    Realization of business processes
    (INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2, 2010) Speck, Andreas; Rusnjak, Andreas; Schulz, Marcel
    Business process models are the fundamental models of commercial systems. Therefore the business processes are issue of optimization as well as verification. When a business process has been identified as comparatively good (or optimal) it is of interest if the realization of the system still realizes this process. In this paper we present an approach how to verify such realizations. As application system we use the e-commerce system Intershop Enfinity which provides an executable process model: the Pipeline Model. These Pipeline Models have to be transferred to formal automata models which then may be checked. As tools to check we use model checkers.