Logo des Repositoriums

Auflistung nach Autor:in "Baar, Thomas"

1 - 3 von 3
  • Konferenzbeitrag
    Modeling the puposes of models
    (Modellierung 2012, 2012) Jeanneret, Cédric; Glinz, Martin; Baar, Thomas
    Today, the purpose of a model is often kept implicit. The lack of explicit statements about a model’s purpose hinders both its creation and its (re)use. In this paper, we adapt two goal modeling techniques, the Goal-Question-Metric paradigm and KAOS, an intentional modeling language, so that the purpose of a model can be explicitly stated and operationalized. Using some examples, we present how these approaches can document a model’s purpose so that this model can be validated, improved and used correctly.
  • Konferenzbeitrag
    Modellbasierte GUI-Entwicklung mit Wireframes
    (INFORMATIK 2011 – Informatik schafft Communities, 2011) Baar, Thomas
    Die graphische Nutzeroberfläche einer Anwendung spielt immer häufiger eine entscheidende Rolle hinsichtlich der Nutzerakzeptanz dieser Anwendung. Ergonomisch gestaltete Nutzeroberflächen können helfen, Ermüdungen bei der Anwendungsbenutzung vorzubeugen sowie die Arbeitsfreude der Nutzer zu bewahren oder gar zu steigern. Die effiziente Programmierung von graphischen Nutzeroberflächen ist seit geraumer Zeit Thema unzähliger Programmierframeworks und -bibliotheken. Entscheidender Nachteil von Programmieransätzen ist jedoch eine häufig unzureichende Unterstützung für Rapid Prototyping. Damit werden auch frühzeitige Ergonomiebetrachtungen eines GUI-Entwurfs unmöglich. In den letzten Jahren ist Wireframe-Modellierung in der Praxis zunehmend populär geworden. Wireframe-Modelle erlauben es, auf sehr kostengünstige Weise sowohl Struktur als auch Darstellungsform graphischer Nutzeroberflächen zu entwerfen. Wireframe-Modelle ermoglichen es, bereits in einer frühen Projektphase vom Kunden wertvolle Rückmeldungen über die geplante Realisierung der Anwendung zu erhalten. In diesem Vortrag werden Wireframe-Modelle und bestehende Werkzeugunterstützung aus dem Blickwinkel der modellbasierten Software-Entwicklung evaluiert. Durch diese Evaluierung konnten Defizite identifiziert werden, die den Einsatz dieser Modelle bei modellgetriebenen Software-Projekten noch verhindern. Als gravierendstes Defizit ist der Inselcharakter von Wireframe-Modellen zu werten. Die derzeitige Werkzeugunterstützung für Wireframes erlaubt es nicht, Wireframes mit anderen Modellen der Anwendung, wie beispielsweise dem Domänen- oder Funktionsmodell, zu verknüpfen. Im Vortrag werden Vorschläge unterbreitet, wie bestehende Defizite hinsichtlich des Einsatzes von Wireframe-Modellen in modellgetriebenen Software-Projekten überwunden werden können.
  • Konferenzbeitrag
    Visualization Support for Contracts in VeriFast
    (INFORMATIK 2023 - Designing Futures: Zukünfte gestalten, 2023) Hergersberg, Pauline; Lippold, Judith; Nahrstedt, Bastian; Baar, Thomas
    A widespread quality assurance technique for ensuring correctness of software is testing, but relevant test cases might be easily overlooked. Formal methods - an alternative to testing - are applied in software industry only rarely, due to the lack of both widely used verification tools and engineers able to apply such tools effectively. In order to address these problems, our university offers appropriate courses, in which the open-source tool VeriFast is applied to formally verify given contracts for functions implemented in C. While VeriFast is very fast in verifying even larger programs, students often have difficulties when authoring function contracts and other proof arguments formally. To address this problem, we developed a web-based system for visualizing each contract as a graph. In this paper, we describe the architecture and the main features of our system and show on a running example, how our system can support the user of VeriFast.