Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools (2008)
Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Artur Boronat, Leif Geiger, ...
Abstract. In this paper, we consider a large variety of solutions for the generation of Sierpinski triangles, one of the case studies for the AGTIVE graph transformation tool contest [15]. A...
in Test Spezifikationen und Test Implementierungen. Ein Storyboard (2008)
Automatische Junit Testgenerierung, Leif Geiger, Prof Albert Zündorf
Aus solchen Beispielabläufen lassen sich automatisch Test Spezifikationen ableiten, die die drei folgenden Schritte implementieren: Als erstes wird eine Methode generiert, die die Anfangssituation...
Autor Prüfdatum Prüfer, Leif Geiger, Leif Geiger, Leif Geiger, Leif Geiger, Leif Geiger, ...
3.3.4 Grafisches Debuggen:
Dr. Albert Zündorf i Acknowledgements (2008)
Descending) Michael Kisker, Lothar Wendehals, Carsten Reckord, Jens Mühlenhoff, Robert Wagner, Matthias Tichy, ...
This book is a simplified and reorganized version of my Habilitation thesis. I still have to thank Prof. Wilhem Schäfer for supervising my work and Prof. Gregor Engels, Prof. Carlo Ghezzi and Prof....
Integrated, Document Centered Modelling in Fujaba (2008)
Leif Geiger, Christian Schneider, Albert Zündorf, Wilhelmshöher Allee
Originally, Fujaba is an UML based CASE Tool with emphasis on code generation and round-trip engineering. To provide better process support, we have developed the XProM plugin. The XProM plugin...
Teaching Modeling with Objects First (2008)
Ira Diethelm, Leif Geiger, Albert Zündorf
Informatics education usually starts with some programming language. Frequently, it focuses on programming language issues. Object orientation and OO modeling is considered as too complicated for...
Using Graph Transformation for Practical Model Driven Software Engineering (2005)
Lars Grunske, Leif Geiger, Albert Zündorf, Niels Van Eetvelde, Pieter Van Gorp, Daniel Varro
Model-driven software engineering (MDE) is a new technique to tackle the problem of software complexity. This chapter describes a new formalism for MDE based on graph transformation systems. I was...
Using Graph Transformation for Practical Model Driven Software Engineering (2005)
Lars Grunske, Leif Geiger, Albert Zündorf, Niels Van Eetvelde, Pieter Van Gorp, Daniel Varro
Model-driven software engineering (MDE) is a new technique to tackle the problem of software complexity. This chapter describes a new formalism for MDE based on graph transformation systems. I was...
Using graph transformation for practical model-driven software engineering (2005)
Grunske, Lars, Geiger, Leif, Zündorf, Albert, Van Eetvelde, Niels, Van Gorp, Pieter, Varró, Dániel
Model transformations are one of the core technologies needed to apply OMG's model-driven engineering concept for the construction of real-world systems. Several formalisms are currently proposed for...
A Graphical Specification of Model Transformations with Triple Graph Grammars (2005)
Lars Grunske, Leif Geiger, Michael Lawley
Abstract. Models and model transformations are the core concepts of OMG’s MDA T M approach. Within this approach, most models are derived from the MOF and have a graph-based nature. In contrast,...
OO Model based programming of PLCs (2005)
Albert Zündorf, Leif Geiger, Jörg Siedhof
this paper uses the same LEGO model of a carousel storage as [GSZ04]. However, while [GSZ04] uses a micro controller programmed in Java, here we control the storage system with a PLC device, cf....
A Graphical Specification of Model Transformations with Triple Graph Grammars (2005)
Lars Grunske, Leif Geiger, Michael Lawley
Models and model transformations are the core concepts of OMG's MDA approach. Within this approach, most models are derived from the MOF and have a graph-based nature. In contrast, most of the...
Story driven testing - SDT (2005)
In the last years, SCESM community has studied a number of synthesis approaches that turn scenario descriptions into some kind of state machine. In our story driven modeling approach, the statechart...
chapter Using Graph Transformation for Practical Model Driven Software Engineering (2005)
Lars Grunske, Leif Geiger, Albert Zündorf, Niels Van Eetvelde, Pieter Van Gorp, Dániel Varró
Summary. Model transformations are one of the core technologies needed to apply OMG’s model driven engineering concept for the construction of real world systems. Several formalisms are currently...
Template- and modelbased code generation for MDA-tools, in (2005)
Leif Geiger, Wilhelmshöher Allee
The Model Driven Architecture (MDA) proposes model transformations to obtain an executable model from a platform independent model. Unless one uses an interpreter the common executable model of an...
Using graph transformation for practical model-driven software engineering (2005)
Grunske, Lars, Geiger, Leif, Zündorf, Albert, Van Eetvelde, Niels, Van Gorp, Pieter, Varró, Dániel
Model transformations are one of the core technologies needed to apply OMG's model-driven engineering concept for the construction of real-world systems. Several formalisms are currently proposed for...
A graphical specification of model transformations with triple graph grammars (2005)
Grunske, Lars, Geiger, Leif, Lawley, Michael
Models and model transformations are the core concepts of OMG's MDA(tm) approach. Within this approach, most models are derived from the MOF and have a graph-based nature. In contrast, most of the...
Measurement of Modeling Abilities (2004)
Ira Diethelm, Leif Geiger, Christian Schneider, Albert Zündorf
This paper discusses the difficulties of measuring modeling abilities within examinations.
μFUP: A Software Development Process for Embedded Systems (2004)
Leif Geiger, Jörg Siedhof, Albert Zündorf
this paper, we introduced a process for developing embedded systems. We think, that in complex embedded systems consisting of several distributed components, an overall system model is needed for...
Statechart Modeling with Fujaba (2004)
This paper is a small case study on a simple visual language. We use the Fujaba approach to exemplify, how the di#erent requirements of an environment for such a visual language may be addressed...
Automatic time measurement for UML modeling activities (2004)
Ira Diethelm, Leif Geiger, Christian Schneider, Albert Zündorf
In order to improve learning and teaching processes in computer science, we need to analyze current processes qualitatively and quantitatively. Such an analysis may finally allow to evaluate...
Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests (2003)
This paper describes how the Fujaba CASE tool supports a semi-automatic transformation of usecase scenarios specified by so called story boards into automatic test specifications and test...
Graph Based Debugging with Fujaba (2002)
Leif Geiger, Ag Softwaretechnik, Albert Zündorf, Ag Softwaretechnik
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new graph based debugging...
Turning Collaboration Diagram Strips into Storycharts (2002)
Ira Diethelm, Leif Geiger, Thomas Maier, Albert Zündorf
this paper proposes a systematic approach how to turn strips of collaboration diagrams into storycharts. So far, this technique is employed manually. However, we discuss a tool based approach that...
Ira Diethelm, Leif Geiger, Albert Zundorf
When teaching object oriented modeling using the objects first approach the course typically starts with creating some kind of object models. We found that it is very hard for our students to judge...