Search Results - "Taentzer, Gabriele"

Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars by Fritsche, Lars, Kosiol, Jens, Schürr, Andy, Taentzer, Gabriele

“…Model synchronization, i.e., the task of restoring consistency between two interrelated models after a model change, is a challenging task. Triple graph…”
Get full text

A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications by Kosiol, Jens, Taentzer, Gabriele

“…Double-pushout rewriting is an established categorical approach to the rule-based transformation of graphs and graph-like objects. One of its standard results…”
Get full text

Empowering model repair: a rule-based approach to graph repair without side effects—extended version by Lauer, Alexander, Kosiol, Jens, Taentzer, Gabriele

“…Abstract Working with models can lead to inconsistencies, e.g., due to erroneous or contradictory actions during concurrent modeling processes. Modern modeling…”
Get full text

A tool environment for quality assurance based on the Eclipse Modeling Framework by Arendt, Thorsten, Taentzer, Gabriele

“…The paradigm of model-based software development has become more and more popular since it promises an increase in the efficiency and quality of software…”
Get full text

A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework by Kosiol, Jens, John, Stefan, Taentzer, Gabriele

“…In model-driven optimization (MDO), domain-specific models are used to define and solve optimization problems via meta-heuristic search, often via evolutionary…”
Get full text

A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties by John, Stefan, Kosiol, Jens, Lambers, Leen, Taentzer, Gabriele

“…Optimization problems in software engineering typically deal with structures as they occur in the design and maintenance of software systems. In model-driven…”
Get full text

Sustaining and improving graduated graph consistency: A static analysis of graph transformations by Kosiol, Jens, Strüber, Daniel, Taentzer, Gabriele, Zschaler, Steffen

“…•Graph consistency as graduated property of graphs.•Consistency-sustaining and improving graph transformations with static analysis.•Practical validation in…”
Get full text

Applying MDD in the content management system domain by Priefer, Dennis, Rost Wolf, Strüber, Daniel, Taentzer Gabriele, Kneisel, Peter

“…Content management systems (CMSs) such as Joomla and WordPress dominate today’s web. Enabled by standardized extensions, administrators can build powerful web…”
Get full text

Co-evolving meta-models and their instance models: A formal approach based on graph transformation by Mantz, Florian, Taentzer, Gabriele, Lamo, Yngve, Wolter, Uwe

“…Model-driven engineering focuses on models as primary artifacts of the software development process, which means programs are mainly generated by model-to-code…”
Get full text

Model-driven development of mobile applications for Android and iOS supporting role-based app variability by Vaupel, Steffen, Taentzer, Gabriele, Gerlach, René, Guckert, Michael

“…Rapidly increasing numbers of applications and users make the development of mobile applications to one of the most promising fields in software engineering…”
Get full text

Formal foundation of consistent EMF model transformations by algebraic graph transformation by Biermann, Enrico, Ermel, Claudia, Taentzer, Gabriele

“…Model transformation is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is…”
Get full text

Applying MDD in the content management system domain: Scenarios, tooling, and a mixed-method empirical assessment by Priefer, Dennis, Rost, Wolf, Strüber, Daniel, Taentzer, Gabriele, Kneisel, Peter

“…Content management systems (CMSs) such as Joomla and WordPress dominate today’s web. Enabled by standardized extensions, administrators can build powerful web…”
Get full text

Analysing refactoring dependencies using graph transformation by Mens, Tom, Taentzer, Gabriele, Runge, Olga

Get full text

A fundamental approach to model versioning based on graph modifications: from theory to implementation by Taentzer, Gabriele, Ermel, Claudia, Langer, Philip, Wimmer, Manuel

“…In model-driven engineering, models are primary artifacts that can evolve heavily during their life cycle. Therefore, versioning of models is a key technique…”
Get full text

Translating essential OCL invariants to nested graph constraints for generating instances of meta-models by Radke, Hendrik, Arendt, Thorsten, Becker, Jan Steffen, Habel, Annegret, Taentzer, Gabriele

“…Domain-specific modeling languages (DSMLs) are usually defined by meta-modeling using the Object Constraint Language (OCL) for specifying invariants. This…”
Get full text

Multi-granular conflict and dependency analysis in software engineering based on graph transformation by Lambers, Leen, Strüber, Daniel, Taentzer, Gabriele, Born, Kristopher, Huebert, Jevgenij

“…Conflict and dependency analysis (CDA) of graph transformation has been shown to be a versatile foundation for understanding interactions in many software…”
Get full text

Generating instance models from meta models by Ehrig, Karsten, Küster, Jochen Malte, Taentzer, Gabriele

“…Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling…”
Get full text

Contents for a Model-Based Software Engineering Body of Knowledge by Burgueño, Loli, Ciccozzi, Federico, Famelis, Michalis, Kappel, Gerti, Lambers, Leen, Mosser, Sebastien, Paige, Richard F., Pierantonio, Alfonso, Rensink, Arend, Salay, Rick, Taentzer, Gabriele, Vallecillo, Antonio, Wimmer, Manuel

“…Although Model-Based Software Engineering (MBE) is a widely accepted Software Engineering (SE) discipline, no agreed-upon core set of concepts and practices…”
Get full text

Multi-amalgamated triple graph grammars: Formal foundation and application to visual language translation by Leblebici, Erhan, Anjorin, Anthony, Schürr, Andy, Taentzer, Gabriele

“…Visual languages (VLs) facilitate software development by not only supporting communication and abstraction, but also by generating various artifacts such as…”
Get full text

Introduction to the STAF 2015 special section by Blanchette, Jasmin, Bordeleau, Francis, Pierantonio, Alfonso, Kosmatov, Nikolai, Taentzer, Gabriele, Wimmer, Manuel

Get full text