Logo des Repositoriums

Auflistung nach Autor:in "Lamprecht, Anna-Lena"

1 - 3 von 3
  • Konferenzbeitrag
    Datenflussanalyse als Modelchecking im jABC
    (Software Engineering 2006, Proceedings der Fachtagung des GI-Fachbereichs Softwaretechnik, 2006) Lamprecht, Anna-Lena; Margaria, Tiziana; Steffen, Bernhard
    Dieses Papier beschreibt wie das jABC (eine generische Umgebung für bibliotheksbasierte Programmentwicklung) zusammen mit zwei seiner Plugins (der Modelchecker und ein Flussgraph-Konverter) ein Framework, DFA-MC, für intraprozedurale Datenflussanalyse als Modelchecking bildet. Basierend auf Funktionalitäten, die von der Programmanalyseplattform Soot bereitgestellt werden, generiert der Konverter Graphstrukturen aus Java-Klassen. Die Datenflussanalysen werden dann als Formeln im modalen μ-Kalkül ausgedrückt. Die Analyse selbst wird ausgeführt, indem der Modelchecker die Gültigkeit der Formel auf dem Flussgraphen überprüft.
  • Zeitschriftenartikel
    Neue Fachgruppe „Research Software Engineering“ gegründet
    (Softwaretechnik-Trends Band 43, Heft 3, 2023) Lamprecht, Anna-Lena; Hasselbring, Wilhelm; Dietrich, Jan Philipp; Fritzsch, Bernadette; Goedicke, Michael; Grunske, Lars; Haupt, Carina; Janosch, Stephan; Löffler, Frank; Rumpe, Bernhard; Speck, Robert
    Forschungssoftware spielt eine entscheidende Rolle in (fast) allen Wissenschaftsdisziplinen. Research Software Engineering (RSE) bezeichnet den Einsatz von Methoden der Softwaretechnik bei der Entwicklung von Forschungssoftware. Der Begriff "RSE" entstand etwa im Jahr 2010 und wurde zunächst durch die britische Forschungscommunity geprägt. Als Querschnittsdisziplin vereint RSE dabei Methoden der Informatik, insbesondere des Software Engineerings, mit den Ideen offener Wissenschaft (Open Science) und den fachspezifischen Methoden der verschiedenen Disziplinen. Die neue Fachgruppe Research Software Engineering im Fachbereich Softwaretechnik hat sich als gemeinsame Einrichtung von GI und der RSE zum Ziel gesetzt, ein Forum für den Austausch zwischen anwendungsorientierten Forscher:innen verschiedenster softwareintensiver Wissenschaftsdisziplinen und Informatiker:innen aus dem Bereich Software Engineering zu etablieren. Gemeinsam können aktuelle Herausforderungen des RSE besser adressiert sowie vorhandenes technisches, methodisches und organisatorisches Wissen aufbereitet und transferiert werden.
  • Workshopbeitrag
    On Managing Large Collections of Scientific Workflows
    (Modellierung 2024 Satellite Events, 2024) Elfaramawy, Nourhan; Deniz, Fatma; Grunske, Lars; Hilbrich, Marcus; Kehrer, Timo; Lamprecht, Anna-Lena; Mendling, Jan; Weidlich, Matthias