vitruv.bib

@inproceedings{burger2010a,
  abstract = {The evolution of software systems often produces incompatibilities with existing data and applications. To prevent incompatibilities, changes have to be well-planned, and developers should know the impact of changes on a software system. This consideration also applies to the field of model-driven development, where changes occur with the modification of the underlying metamodels. Models that are instantiated from an earlier metamodel version may not be valid instances of the new version of a metamodel. In contrast to other metamodeling standards like the Eclipse Modeling Framework (EMF), no classification of metamodel changes has been performed yet for the Meta Object Facility (MOF).The contribution of this paper is the evaluation of the impact of metamodel changes on models. For the formalisation of changes to MOF-based metamodels, a ChangeMetamodel is introduced to describe the transformation of one version of a metamodel to another. The changes are then classifed by their impact on the compatibility to existing model data. The classification is formalised using OCL constraints. The ChangeMetamodel and the change classifications presented in this paper lay the foundation for the implemention of a mechanism that allows metamodel editors to estimate the impact of metamodel changes semi-automatically.},
  author = {Erik Burger and Boris Gruschko},
  booktitle = {Proceedings of Modellierung 2010},
  day = {26},
  editor = {Gregor Engels and Dimitris Karagiannis and Heinrich C. Mayr},
  location = {Klagenfurt, Austria},
  month = {March},
  series = {GI-LNI},
  slides = {http://sdqweb.ipd.kit.edu/publications/pdfs/burger2010a_slides.pdf},
  title = {{A Change Metamodel for the Evolution of MOF-Based Metamodels}},
  url = {http://sdqweb.ipd.kit.edu/publications/pdfs/burger2010a.pdf},
  volume = {P-161},
  year = {2010},
  pages = {285--300},
  tags = {Vitruv},
  groups = {SDQ; BurgerErik}
}
@inproceedings{burger2013a,
  acmid = {2465501},
  address = {New York, NY, USA},
  author = {Burger, Erik},
  booktitle = {Proceedings of the 18th international doctoral symposium on Components and architecture},
  doi = {10.1145/2465498.2465501},
  isbn = {978-1-4503-2125-9},
  keywords = {model-driven software development, orthographic software modeling, view-based modeling},
  location = {Vancouver, British Columbia, Canada},
  numpages = {6},
  pages = {25--30},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/burger2013a.pdf},
  publisher = {ACM},
  series = {WCOP '13},
  title = {{Flexible Views for View-Based Model-Driven Development}},
  url = {http://doi.acm.org/10.1145/2465498.2465501},
  year = {2013},
  tags = {Vitruv},
  groups = {SDQ; BurgerErik}
}
@inproceedings{burger2013b,
  acmid = {2489863},
  address = {New York, NY, USA},
  articleno = {1},
  author = {Burger, Erik},
  booktitle = {Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling},
  doi = {10.1145/2489861.2489863},
  isbn = {978-1-4503-2070-2},
  keywords = {model-driven software development, view-based modeling},
  location = {Montpellier, France},
  numpages = {5},
  pages = {1:1--1:5},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/burger2013b.pdf},
  publisher = {ACM},
  series = {VAO '13},
  title = {{Flexible Views for Rapid Model-Driven Development}},
  url = {http://doi.acm.org/10.1145/2489861.2489863},
  year = {2013},
  tags = {Vitruv},
  groups = {SDQ; BurgerErik}
}
@inproceedings{burger2014a,
  author = {Erik Burger and Aleksandar Toshovski},
  booktitle = {Proceedings of Modellierung 2014},
  day = {21},
  location = {Vienna, Austria},
  month = {March},
  series = {GI-LNI},
  title = {{Difference-based Conformance Checking for Ecore Metamodels}},
  url = {http://sdqweb.ipd.kit.edu/publications/pdfs/burger2014a.pdf},
  volume = {225},
  year = {2014},
  pages = {97--104},
  tags = {Vitruv},
  groups = {SDQ; BurgerErik}
}
@article{burger2014b,
  affiliation = {Karlsruhe Institute of Technology},
  author = {Erik Burger and J{\"o}rg Hen{\ss} and Martin K{\"u}ster and Steffen Kruse and Lucia Happe},
  doi = {10.1007/s10270-014-0413-5},
  editor = {Robert France and Bernhard Rumpe},
  issn = {1619-1374},
  journal = {Software \& Systems Modeling},
  pages = {472--496},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/burger2014b.pdf},
  publisher = {Springer Berlin / Heidelberg},
  title = {{View-Based Model-Driven Software Development with ModelJoin}},
  volume = {15},
  number = {2},
  year = {2014},
  tags = {Vitruv},
  groups = {SDQ; SEQ; BurgerErik; HenssJoerg; KuesterMartin; HappeLucia}
}
@techreport{modeljointechreport2014,
  author = {Erik Burger and J{\"o}rg Hen{\ss} and Steffen Kruse and Martin K{\"u}ster and Andreas Rentschler and Lucia Happe},
  institution = {Karlsruhe Institute of Technology, Faculty of Informatics},
  issn = {2190-4782},
  number = {1},
  series = {Karlsruhe Reports in Informatics},
  title = {{ModelJoin. A Textual Domain-Specific Language for the Combination of Heterogeneous Models}},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000037908},
  urn = {urn:nbn:de:swb:90-379089},
  year = {2014},
  tags = {Vitruv},
  groups = {SDQ; SEQ; BurgerErik; HenssJoerg; KuesterMartin; RentschlerAndreas; HappeLucia}
}
@phdthesis{burger2014diss,
  address = {Karlsruhe, Germany},
  author = {Erik Burger},
  doi = {10.5445/KSP/1000043437},
  editor = {Ralf Reussner},
  isbn = {978-3-7315-0276-0},
  issn = {1867-0067},
  month = {July},
  publisher = {KIT Scientific Publishing},
  school = {Karlsruhe Institute of Technology},
  series = {The Karlsruhe Series on Software Design and Quality},
  title = {{Flexible Views for View-based Model-driven Development}},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000043437},
  year = {2014},
  tags = {Vitruv},
  groups = {SDQ; BurgerErik}
}
@inproceedings{burger2016a,
  author = {Erik Burger and Oliver Schneider},
  title = {{Translatability and Translation of Updated Views in ModelJoin}},
  editor = {Pieter van Gorp and Gregor Engels},
  booktitle = {Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016},
  location = {Cham},
  month = {July},
  year = {2016},
  publisher = {Springer International Publishing},
  location = {Cham},
  series = {Lecture Notes in Computer Science},
  volume = {9765},
  pages = {55--69},
  isbn = {978-3-319-42064-6},
  doi = {10.1007/978-3-319-42064-6_4},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/burger2016a.pdf},
  tags = {Vitruv},
  groups = {SDQ; BurgerErik}
}
@article{bruneliere2017sosym,
  author = {Hugo Bruneli{\`{e}}re and Erik Burger and Jordi Cabot and Manuel Wimmer},
  doi = {10.1007/s10270-017-0622-9},
  editor = {Jeff Gray and Bernhard Rumpe},
  issn = {1619-1374},
  journal = {Software \& Systems Modeling},
  publisher = {Springer Berlin / Heidelberg},
  title = {{A Feature-based Survey of Model View Approaches}},
  year = {2017},
  month = {September},
  day = {15},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/burger2017a.pdf},
  tags = {Vitruv},
  groups = {SDQ; BurgerErik}
}
@inproceedings{kramer2013b,
  acmid = {2489864},
  address = {New York, NY, USA},
  articleno = {5},
  author = {Kramer, Max E. and Burger, Erik and Langhammer, Michael},
  booktitle = {Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling},
  doi = {10.1145/2489861.2489864},
  isbn = {978-1-4503-2070-2},
  keywords = {component-based software architectures, model-driven engineering, synchronization, view-based modeling},
  location = {Montpellier, France},
  numpages = {6},
  pages = {5:1--5:6},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2013b.pdf},
  publisher = {ACM},
  series = {VAO '13},
  tags = {workshop, Vitruv},
  title = {{View-Centric Engineering with Synchronized Heterogeneous Models}},
  url = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2013b.pdf},
  year = {2013},
  groups = {SDQ; KramerMax; BurgerErik; LanghammerMichael}
}
@inproceedings{kramer2014a,
  author = {Max E. Kramer},
  booktitle = {Software Engineering 2014 -- Fachtagung des GI-Fachbereichs Softwaretechnik},
  editor = {Wilhelm Hasselbring and Nils Christian Ehmke},
  isbn = {978-388579-621-3},
  issn = {1617-5468},
  location = {Kiel, Germany},
  note = {Doctoral Symposium},
  pages = {233-236},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2014a.pdf},
  publisher = {Gesellschaft f\"{u}r Informatik e.V.\ (GI)},
  series = {GI Lecture Notes in Informatics},
  tags = {doctoral-symposium, Vitruv},
  title = {Synchronizing Heterogeneous Models in a View-Centric Engineering Approach},
  url = {http://subs.emis.de/LNI/Proceedings/Proceedings227/P-227.pdf},
  volume = {227},
  year = {2014},
  groups = {SDQ; KramerMax}
}
@inproceedings{kramer2014b,
  acmid = {2631676},
  address = {New York, NY, USA},
  articleno = {7},
  author = {Kramer, Max E. and Langhammer, Michael},
  booktitle = {Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling},
  doi = {10.1145/2631675.2631676},
  isbn = {978-1-4503-2900-2},
  keywords = {Model-Driven Software Engineering, Software Architectures},
  location = {York, United Kingdom},
  numpages = {4},
  pages = {7:7--7:10},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2014b.pdf},
  publisher = {ACM},
  series = {VAO '14},
  tags = {workshop, Vitruv},
  title = {Proposal for a Multi-View Modelling Case Study: Component-Based Software Engineering with UML, Plug-ins, and Java},
  url = {http://doi.acm.org/10.1145/2631675.2631676},
  year = {2014},
  groups = {SDQ; KramerMax; LanghammerMichael}
}
@misc{kramer2014c,
  author = {Max E. Kramer and Anton Hergenr\"{o}der and Martin Hecker and Simon Greiner and Kaibin Bao},
  howpublished = {Poster at the 35th IEEE Symposium on Security and Privacy},
  location = {San Jose, California, USA},
  pdf = {http://www.ieee-security.org/TC/SP2014/posters/KRAME.pdf},
  tags = {poster, Vitruv},
  title = {Specification and Verification of Confidentiality in Component-Based Systems},
  url = {http://www.ieee-security.org/TC/SP2014/posters/KRAME.pdf},
  year = {2014},
  groups = {SDQ; KramerMax}
}
@inproceedings{kramer2015a,
  acmid = {2737177},
  address = {New York, NY, USA},
  author = {Kramer, Max E. and Langhammer, Michael and Messinger, Dominik and Seifermann, Stephan and Burger, Erik},
  booktitle = {Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering},
  doi = {10.1145/2737166.2737177},
  isbn = {978-1-4503-3471-6},
  keywords = {co-evolution, formal specification, model-driven engineering},
  location = {Montr\'{e}al, QC, Canada},
  numpages = {6},
  pages = {21--26},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2015a.pdf},
  publisher = {ACM},
  series = {CBSE '15},
  tags = {conference, Vitruv},
  title = {Change-Driven Consistency for Component Code, Architectural Models, and Contracts},
  url = {http://doi.acm.org/10.1145/2737166.2737177},
  year = {2015},
  groups = {SDQ; SEQ; KramerMax; LanghammerMichael; SeifermannStephan; BurgerErik}
}
@techreport{kramer2015b,
  address = {Karlsruhe},
  author = {Max E. Kramer and Michael Langhammer and Dominik Messinger and Stephan Seifermann and Erik Burger},
  institution = {Karlsruhe Institute of Technology, Department of Informatics},
  issn = {2190-4782},
  pdf = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000045654},
  series = {Karlsruhe Reports in Informatics},
  title = {Realizing Change-Driven Consistency for Component Code, Architectural Models, and Contracts in Vitruvius},
  url = {http://nbn-resolving.org/urn:nbn:de:swb:90-456541},
  volume = {04},
  year = {2015},
  tags = {Vitruv},
  groups = {SDQ; SEQ; KramerMax; LanghammerMichael; SeifermannStephan; BurgerErik}
}
@inproceedings{kramer2015c,
  acmid = {2737194},
  address = {New York, NY, USA},
  author = {Kramer, Max E.},
  booktitle = {Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures},
  doi = {10.1145/2737182.2737194},
  isbn = {978-1-4503-3470-9},
  keywords = {co-evolution, model synchronization, model-driven software engineering, transformations, view-based modeling},
  location = {Montr\'{e}al, QC, Canada},
  note = {20th International Doctoral Symposium on Components and Architecture (WCOP '15)},
  numpages = {6},
  pages = {129--134},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2015c.pdf},
  publisher = {ACM},
  series = {QoSA '15},
  tags = {doctoral-symposium, Vitruv},
  title = {A Generative Approach to Change-Driven Consistency in Multi-View Modeling},
  url = {http://doi.acm.org/10.1145/2737182.2737194},
  year = {2015},
  groups = {SDQ; KramerMax}
}
@misc{kramer2015d,
  author = {Kramer, Max E. and Langhammer, Michael and Messinger, Dominik and Seifermann, Stephan and Burger, Erik},
  howpublished = {Poster at the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering},
  location = {Montr\'{e}al, QC, Canada},
  tags = {poster, Vitruv},
  title = {Change-Driven Multi-View Consistency for Component Models, Code, and Contracts},
  year = {2015},
  groups = {SDQ; SEQ; KramerMax; LanghammerMichael; SeifermannStephan; BurgerErik}
}
@inproceedings{kramer2016a,
  author = {Max E. Kramer and Kirill Rakhman},
  title = {Automated Inversion of Attribute Mappings in Bidirectional Model Transformations},
  booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations (Bx 2016)},
  editor = {Anthony Anjorin and Jeremy Gibbons},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  pages = {61--76},
  location = {Eindhoven, The Netherlands},
  pdf = {http://ceur-ws.org/Vol-1571/paper_4.pdf},
  volume = {1571},
  year = {2016},
  url = {http://nbn-resolving.org/urn:nbn:de:0074-1571-4},
  issn = {1613-0073},
  tags = {Vitruv, workshop},
  groups = {SDQ; KramerMax}
}
@techreport{kramer2016b,
  address = {Karlsruhe},
  author = {Max E. Kramer and Kirill Rakhman},
  institution = {Karlsruhe Institute of Technology, Department of Informatics},
  issn = {2190-4782},
  pdf = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000052702},
  series = {Karlsruhe Reports in Informatics},
  title = {Proofs for the Automated Inversion of Attribute Mappings in Bidirectional Model Transformations},
  url = {http://nbn-resolving.org/urn:nbn:de:swb:90-527025},
  volume = {2016-3},
  year = {2016},
  doi = {10.5445/IR/1000052702},
  tags = {Vitruv},
  groups = {SDQ; KramerMax}
}
@inproceedings{fiss2016a,
  author = {Sebastian Fiss and Max E. Kramer and Michael Langhammer},
  title = {Automatically Binding Variables of Invariants to Violating Elements in an OCL-Aligned XBase-Language},
  booktitle = {Proceedings of Modellierung 2016},
  pdf = {http://subs.emis.de/LNI/Proceedings/Proceedings254/189.pdf},
  year = {2016},
  series = {Lecture Notes in Informatics (LNI)},
  isbn = {978-3-88579-648-0},
  issn = {1617-5468},
  editor = {Andreas Oberweis and Ralf Reussner},
  volume = {P-254},
  publisher = {Gesellschaft f\"{u}r Informatik e.V.\ (GI)},
  address = {Bonn, Germany},
  pages = {189--204},
  abstract = {Constraints that have to hold for all models of a modeling language are often specified as invariants using the Object Constraint Language (OCL). If violations of such invariants shall be documented or resolved in a software system, the exact model elements that violate these conditions have to be computed. OCL validation engines provide, however, only a single context element at which a check for a violated invariant originated. Therefore, the computation of elements that caused an invariant violation is often specified in addition to the invariant declaration with redundant information. These redundancies can make it hard to develop and maintain systems that document or resolve invariant violations. In this paper, we present an automated approach and tool for declaring and binding parameters of invariants to violating elements based on boolean invariant expressions that are similar to OCL invariants. The tool computes a transformed invariant that returns violating elements for each iterator variable of the invariant expression that matches an explicitly declared invariant parameter. The approach can be used for OCL invariants and all models of languages conforming to the Meta-Object Facility (MOF) standard. We have evaluated our invariant language and transformation tool by transforming 88 invariants of the Unified Modeling Language (UML).},
  tags = {Vitruv,conference},
  groups = {SDQ; KramerMax; LanghammerMichael}
}
@mastersthesis{fiss2015a,
  author = {Sebastian Fiss},
  title = {Embedding and Transforming Invariants for a Domain-Specific Language for Multi-Model Consistency},
  school = {Karlsruhe Institute of Technology (KIT)},
  year = {2015},
  type = {Bachelor's Thesis},
  address = {Karlsruhe, Germany},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/fiss2015a.pdf},
  tags = {Vitruv},
  groups = {}
}
@mastersthesis{rakhman2015a,
  author = {Kirill Rakhman},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/rakhman2015a.pdf},
  school = {Karlsruhe Institute of Technology (KIT)},
  address = {Karlsruhe, Germany},
  title = {Automated Inversion of Attribute Mapping Expressions for Multi-Model Consistency},
  year = {2015},
  tags = {Vitruv},
  groups = {}
}
@phdthesis{kramer2017a,
  author = {Max Emanuel Kramer},
  title = {Specification Languages for Preserving Consistency between Models of Different Languages},
  school = {Karlsruhe Institute of Technology (KIT)},
  address = {Karlsruhe, Germany},
  year = {2017},
  pagetotal = {278},
  doi = {10.5445/IR/1000069284},
  url = {http://nbn-resolving.org/urn:nbn:de:swb:90-692845},
  pdf = {http://publikationen.bibliothek.kit.edu/1000069284/4139803},
  tags = {Vitruv},
  groups = {SDQ; KramerMax}
}
@inproceedings{langhammer2013b,
  author = {Langhammer, Michael},
  booktitle = {Proceedings of the 18th international doctoral symposium on Components and architecture},
  organization = {ACM},
  pages = {37--42},
  title = {Co-Evolution of Component-based Architecture-Model and Object-Oriented Source Code},
  year = {2013},
  tags = {Vitruv},
  groups = {SDQ; LanghammerMichael}
}
@inproceedings{langhammer2013a,
  acmid = {2489866},
  address = {New York, NY, USA},
  articleno = {6},
  author = {Langhammer, Michael and Lehrig, Sebastian and Kramer, Max E.},
  booktitle = {Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling},
  doi = {10.1145/2489861.2489866},
  isbn = {978-1-4503-2070-2},
  keywords = {component-based software engineering, model driven software development, model-to-text transformation, view-based engineering},
  location = {Montpellier, France},
  numpages = {5},
  pages = {6:1--6:5},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/langhammer2013a.pdf},
  publisher = {ACM},
  series = {VAO '13},
  tags = {Vitruv},
  title = {Reuse and configuration for code generating architectural refinement transformations},
  url = {http://doi.acm.org/10.1145/2489861.2489866},
  year = {2013},
  tags = {Vitruv},
  groups = {SDQ; LanghammerMichael; KramerMax}
}
@incollection{langhammer2014a,
  author = {Langhammer, Michael and Kramer, Max E.},
  booktitle = {Fachgruppenbericht des 2. Workshops ``Modellbasierte und Modellgetriebene Softwaremodernisierung''},
  issn = {0720-8928},
  pdf = {http://pi.informatik.uni-siegen.de/stt/34_2/01_Fachgruppenberichte/MMSM2014/MMSM2014_Paper8.pdf},
  publisher = {Gesellschaft f{\"u}r Informatik e.V.\ (GI)},
  series = {Software{\-}technik-Trends},
  tags = {Vitruv},
  title = {{Determining the Intent of Code Changes to Sustain Attached Model Information During Code Evolution}},
  url = {http://pi.informatik.uni-siegen.de/stt/34_2},
  volume = {34 (2)},
  year = {2014},
  tags = {Vitruv},
  groups = {SDQ; LanghammerMichael; KramerMax}
}
@inproceedings{leonhardt2015a,
  author = {Leonhardt, Sven and Hettwer, Benjamin and Hoor, Johannes and Langhammer, Michael},
  title = {Integration of Existing Software Artifacts into a View- and Change-Driven Development Approach},
  booktitle = {Proceedings of the 2015 Joint MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering},
  series = {MORSE/VAO '15},
  year = {2015},
  isbn = {978-1-4503-3614-7},
  location = {L'Aquila, Italy},
  pages = {17--24},
  numpages = {8},
  url = {http://doi.acm.org/10.1145/2802059.2802061},
  doi = {10.1145/2802059.2802061},
  acmid = {2802061},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {Change-Driven Engineering, Co-Evolution, Model Traversal, Model-Driven Engineering, Reverse Engineering},
  tags = {Vitruv},
  groups = {SDQ; LanghammerMichael}
}
@inproceedings{ananieva2018a,
  author = {Sofia Ananieva and Heiko Klare and Erik Burger and Ralf Reussner},
  title = {Variants and Versions Management for Models with Integrated Consistency Preservation},
  booktitle = {Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems},
  series = {VAMOS 2018},
  year = {2018},
  month = {March},
  isbn = {978-1-4503-5398-4},
  location = {Madrid, Spain},
  pages = {3--10},
  numpages = {8},
  url = {http://doi.acm.org/10.1145/3168365.3168377},
  doi = {10.1145/3168365.3168377},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {Delta-Based Consistency Preservation, Software Product Lines, Variability Management},
  tags = {Vitruv},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/ananieva2018a.pdf},
  groups = {SEQ; SDQ; AnanievaSofia; KlareHeiko; BurgerErik; ReussnerRalf}
}
@inproceedings{ananieva2019a,
  author = {Sofia Ananieva and Timo Kehrer and Heiko Klare and Anne Koziolek and Henrik L{\"ö}nn and Ramesh Sethu and Andreas Burger and Gabriele Taentzer and Bernhard Westfechtel},
  title = {Towards a Conceptual Model for Unifying Variability in Space and Time},
  booktitle = {Proceedings of the 2nd International Workshop on Variability and Evolution of Software-Intensive Systems},
  series = {VariVolution '19},
  year = {2019},
  month = {September},
  isbn = {978-1-4503-6668-7},
  location = {Paris, France},
  doi = {10.1145/3307630.3342412},
  publisher = {ACM},
  address = {New York, NY, USA},
  tags = {Vitruv},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/ananieva2019a.pdf},
  groups = {SEQ; SDQ; ARE; AnanievaSofia; KlareHeiko; KoziolekAnne}
}
@inproceedings{klare2016a,
  author = {Heiko Klare and Michael Langhammer and Max E. Kramer},
  booktitle = {4th Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO)},
  series = {VAO '16},
  title = {{Projecting UML Class Diagrams from Java Code Models}},
  year = {2016},
  month = {March},
  location = {Karlsruhe, Germany},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000053686},
  pages = {11--18},
  institution = {Karlsruhe Institute of Technology},
  issn = {2190-4782},
  doi = {10.5445/IR/1000053686},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klare2016a.pdf},
  tags = {Vitruv},
  groups = {SDQ; KlareHeiko; LanghammerMichael; KramerMax}
}
@mastersthesis{klare2016b,
  title = {{Designing a Change-Driven Language for Model Consistency Repair Routines}},
  author = {Klare, Heiko},
  school = {Karlsruhe Institute of Technology (KIT)},
  address = {Karlsruhe},
  year = {2016},
  type = {Master's Thesis},
  doi = {10.5445/IR/1000080138},
  url = {http://dx.doi.org/10.5445/IR/1000080138},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klare2016b.pdf},
  tags = {Vitruv},
  groups = {SDQ; KlareHeiko}
}
@inproceedings{burger2016b,
  author = {Erik Burger and Victoria Mittelbach and Anne Koziolek},
  title = {View-based and Model-driven Outage Management for the Smart Grid},
  booktitle = {Proceedings of the 11th Workshop on Models@run.time co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)},
  location = {Saint Malo, France},
  month = {October},
  year = {2016},
  url = {http://ceur-ws.org/Vol-1742},
  publisher = {CEUR Workshop Proceedings},
  urn = {nbn:de:0074-1742-3},
  pdf = {http://ceur-ws.org/Vol-1742/MRT16_paper_1.pdf},
  tags = {Vitruv},
  groups = {SDQ; ARE; BurgerErik; KoziolekAnne}
}
@inproceedings{kramer2016c,
  author = {Max E. Kramer and Georg Hinkel and Heiko Klare and Michael Langhammer and Erik Burger},
  title = {A Controlled Experiment Template for Evaluating the Understandability of Model Transformation Languages},
  booktitle = {Proceedings of the Second International Workshop on Human Factors in Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)},
  location = {Saint Malo, France},
  month = {October},
  year = {2016},
  volume = {1805},
  pages = {11--18},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  pdf = {http://ceur-ws.org/Vol-1805/Kramer2016HuFaMo.pdf},
  url = {https://publikationen.bibliothek.kit.edu/1000069163},
  issn = {1613-0073},
  tags = {Vitruv, workshop},
  groups = {SDQ; SEQ; KramerMax; HinkelGeorg; KlareHeiko; LanghammerMichael; BurgerErik}
}
@mastersthesis{mazkatli2016a,
  author = {Manar Mazkatli},
  title = {{Consistency Preservation in the Development Process of Automotive Software}},
  school = {Karlsruhe Institute of Technology (KIT)},
  year = {2016},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/mazkatli2016a.pdf},
  tags = {Vitruv},
  groups = {ARE; SDQ; MazkatliManar}
}
@phdthesis{langhammer2017a,
  author = {Michael Langhammer},
  title = {Automated Coevolution of Source Code and Software Architecture Models},
  school = {Karlsruhe Institute of Technology (KIT)},
  address = {Karlsruhe, Germany},
  year = {2017},
  pagetotal = {259},
  doi = {10.5445/IR/1000069366},
  url = {http://nbn-resolving.org/urn:nbn:de:swb:90-693666},
  pdf = {https://publikationen.bibliothek.kit.edu/1000069366/4146687},
  tags = {Vitruv},
  groups = {SDQ; LanghammerMichael}
}
@inproceedings{klare2017models,
  author = {Heiko Klare and Erik Burger and Max E. Kramer and Michael Langhammer and Timur Sa{\u g}lam and Ralf Reussner},
  title = {Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools},
  booktitle = {ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017)},
  year = {2017},
  month = {September},
  day = {17--22},
  location = {Austin, Texas},
  publisher = {IEEE Computer Society},
  address = {Washington, DC, USA},
  doi = {10.1109/MODELS.2017.30},
  url = {https://doi.org/10.1109/MODELS.2017.30},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/klare2017models.pdf},
  tags = {Vitruv},
  groups = {SDQ; KlareHeiko; BurgerErik; KramerMax; LanghammerMichael; ReussnerRalf}
}
@inproceedings{mazkatli2017ase,
  title = {{Automotive Systems Modelling with Vitruvius}},
  author = {Mazkatli, Manar and Burger, Erik and Koziolek, Anne and Reussner, Ralf H.},
  booktitle = {INFORMATIK 2017},
  venue = {Chemnitz},
  year = {2017},
  isbn = {978-3-88579-669-5},
  issn = {1617-5468},
  pages = {1487--1498},
  volume = {P-275},
  doi = {10.18420/in2017_148},
  publisher = {Gesellschaft für Informatik, Bonn},
  series = {Lecture Notes in Informatics (LNI)},
  editors = {Maximilian Eibl and Martin Gaedke},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/mazkatli2017ase.pdf},
  url = {https://dx.doi.org/10.18420/in2017_148},
  tags = {Vitruv},
  groups = {ARE; SDQ; MazkatliManar; BurgerErik; KoziolekAnne; ReussnerRalf}
}
@techreport{sax2017survey,
  address = {Karlsruhe},
  author = {Sax, Eric and Reussner, Ralf and Guissouma, Houssemeddine and Klare, Heiko},
  institution = {Karlsruher Institut für Technologie (KIT)},
  issn = {2190-4782},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/sax2017survey.pdf},
  series = {Karlsruhe Reports in Informatics},
  title = {{A Survey on the State and Future of Automotive Software Release and Configuration Management}},
  keywords = {software over the air updates (SOTA), automotive, consistency checks, release management, variant management, multi-domain development},
  pagetotal = {19},
  language = {english},
  volume = {2017},
  number = {11},
  year = {2017},
  doi = {10.5445/IR/100007567},
  url = {http://dx.doi.org/10.5445/IR/1000075673},
  tags = {Vitruv},
  groups = {SDQ; ReussnerRalf; KlareHeiko}
}
@mastersthesis{saglam2017a,
  title = {{Automatic Integration of Ecore Functionality into Java Code}},
  author = {Sa{\u g}lam, Timur},
  type = {Bachelor's Thesis},
  school = {Karlsruhe Institute of Technology (KIT)},
  address = {Karlsruhe, Germany},
  year = {2017},
  pages = {76},
  doi = {10.5445/IR/1000070341},
  url = {http://nbn-resolving.org/urn:nbn:de:swb:90-703419},
  pdf = {https://publikationen.bibliothek.kit.edu/1000070341/4188977},
  tags = {Vitruv},
  groups = {}
}
@mastersthesis{gleitze2017a,
  title = {{A Declarative Language for Preserving Consistency of Multiple Models}},
  author = {Gleitze, Joshua},
  year = {2017},
  school = {Karlsruhe Institute of Technology (KIT)},
  type = {Bachelor's Thesis},
  address = {Karlsruhe, Germany},
  doi = {10.5445/IR/1000076905},
  url = {http://dx.doi.org/10.5445/IR/1000076905},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/gleitze2017a.pdf},
  tags = {Vitruv},
  groups = {SDQ; GleitzeJoshua}
}
@inproceedings{yurchenko2017architecture,
  title = {{Architecture-Driven Reduction of Specification Overhead for Verifying Confidentiality in Component-Based Software Systems}},
  author = {Yurchenko, Kateryna and Behr, Moritz and Klare, Heiko and Kramer, Max and Reussner, Ralf},
  booktitle = {Proceedings of {MODELS} 2017 Satellite Event (MoDeVVa Workshop), co-located with {ACM/IEEE} 20th International Conference on Model Driven Engineering Languages and Systems ({MODELS}) 2017)},
  address = {Austin, TX, USA},
  year = {2017},
  month = {September},
  pages = {321--323},
  publisher = {CEUR-WS},
  volume = {2019},
  issn = {1613-0073},
  pdf = {http://ceur-ws.org/Vol-2019/modevva_4.pdf},
  tags = {Vitruv},
  groups = {SDQ; YurchenkoKateryna; KlareHeiko; KramerMax; ReussnerRalf}
}
@inproceedings{Mazkatli2018Qudos,
  author = {Mazkatli, Manar and Koziolek, Anne},
  title = {Continuous Integration of Performance Model},
  booktitle = {Companion of the 2018 ACM/SPEC International Conference on Performance Engineering},
  year = {2018},
  series = {ICPE '18},
  pages = {153--158},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {3186285},
  doi = {10.1145/3185768.3186285},
  isbn = {978-1-4503-5629-9},
  keywords = {continuous/incremental performance management, incremental reverse engineering, model-based performance engineering, parametric performance model},
  location = {Berlin, Germany},
  numpages = {6},
  url = {http://doi.acm.org/10.1145/3185768.3186285},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/Mazkatli2018Qudos1.pdf},
  tags = {Vitruv},
  groups = {ARE; SDQ; MazkatliManar; KoziolekAnne}
}
@inproceedings{Mazkatli2018MiSE,
  author = {Mazkatli, Manar and Burger, Erik and Quante, Jochen and Koziolek, Anne},
  title = {Integrating semantically-related Legacy Models in Vitruvius},
  booktitle = {Proceedings of Modelling in Software Engineering co-located with the 40th International Conference on Software Engineering},
  venue = {Gothernburg, Sweden},
  year = {2018},
  month = {May},
  doi = {https://doi.org/10.1145/3193954.3193961},
  numpages = {8},
  tags = {Vitruv},
  pages = {41--48},
  publisher = {ACM},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/Mazkatli2018MiSE1.pdf},
  address = {New York, NY, USA},
  groups = {ARE; SDQ; MazkatliManar; BurgerErik; KoziolekAnne}
}
@inproceedings{ananieva2018b,
  author = {Sofia Ananieva and Erik Burger and Christian Stier},
  title = {{Model-Driven Consistency Preservation in AutomationML}},
  booktitle = {14th IEEE International Conference on Automation Science and Engineering},
  year = {2018},
  location = {Munich, Germany},
  publisher = {IEEE},
  pages = {1536-1541},
  doi = {10.1109/COASE.2018.8560343},
  issn = {2161-8089},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/ananieva2018b.pdf},
  tags = {Vitruv},
  groups = {SEQ; SDQ; AnanievaSofia; BurgerErik; StierChristian}
}
@inproceedings{klare2018docsym,
  title = {{Multi-model Consistency Preservation}},
  author = {Heiko Klare},
  booktitle = {Proceedings of the 21st {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, {MODELS} 2018},
  pages = {156--161},
  doi = {10.1145/3270112.3275335},
  year = {2018},
  month = {October},
  location = {Copenhagen, Denmark},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/klare2018docsym.pdf},
  tags = {Vitruv},
  groups = {SDQ; KlareHeiko}
}
@inproceedings{guissouma2018study,
  author = {Houssem Guissouma and Heiko Klare and Eric Sax and Erik Burger},
  booktitle = {2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)},
  title = {An Empirical Study on the Current and Future Challenges of Automotive Software Release and Configuration Management},
  year = {2018},
  pages = {298-305},
  month = {August},
  location = {Prague, Czech Republic},
  doi = {10.1109/SEAA.2018.00056},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/guissouma2018study.pdf},
  tags = {Vitruv},
  groups = {SDQ; KlareHeiko; BurgerErik}
}
@inproceedings{meier2019modelsward,
  author = {Meier, Johannes and Klare, Heiko and Tunjic, Christian and Atkinson, Colin and Burger, Erik and Reussner, Ralf and Winter, Andreas},
  booktitle = {Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2019)},
  title = {Single Underlying Models for Projectional, Multi-View Environments},
  year = {2019},
  pages = {119-130},
  publisher = {SCiTePress},
  organization = {INSTICC},
  doi = {10.5220/0007396401190130},
  isbn = {978-989-758-358-2},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/meier2019a.pdf},
  tags = {Vitruv},
  groups = {SDQ; KlareHeiko; BurgerErik; ReussnerRalf}
}
@incollection{klare2019dagstuhl,
  author = {Matthias Tichy and Heiko Klare},
  title = {{Human Factors: Interests of Transformation Developers and Users}},
  booktitle = {{Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)}},
  pages = {16--20},
  series = {Dagstuhl Reports},
  issn = {2192-5283},
  year = {2019},
  volume = {8},
  number = {12},
  editor = {Anthony Cleve and Ekkart Kindler and Perdita Stevens and Vadim Zaytsev},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum für Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2019/10360},
  urn = {urn:nbn:de:0030-drops-103606},
  doi = {10.4230/DagRep.8.12.1},
  tags = {Vitruv},
  pdf = {https://drops.dagstuhl.de/opus/volltexte/2019/10360/pdf/dagrep_v008_i012_p001_18491.pdf},
  groups = {SDQ; KlareHeiko}
}
@article{klare2019icmt,
  author = {Klare, Heiko and Syma, Torsten and Burger, Erik and Reussner, Ralf},
  title = {A Categorization of Interoperability Issues in Networks of Transformations},
  journal = {Journal of Object Technology},
  volume = {18},
  number = {3},
  issn = {1660-1769},
  year = {2019},
  month = {July},
  editor = {Anthony Anjorin and Regina Hebig},
  note = {The 12th International Conference on Model Transformations},
  pages = {4:1-20},
  doi = {10.5381/jot.2019.18.3.a4},
  url = {http://www.jot.fm/contents/issue_2019_03/article4.html},
  pdf = {http://www.jot.fm/issues/issue_2019_03/article4.pdf},
  tags = {Vitruv},
  groups = {SDQ; KlareHeiko; SymaTorsten; BurgerErik; ReussnerRalf}
}
@incollection{ananieva2019dagstuhl,
  author = {Sofia Ananieva and Thorsten Berger and Andreas Burger and Timo Kehrer and Heiko Klare and Anne Koziolek and Henrik Lönn and Ramesh Sethu and Gabriele Taentzer and Bernhard Westfechtel},
  title = {{Conceptual Modeling Group}},
  booktitle = {{Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191)}},
  pages = {21--24},
  series = {Dagstuhl Reports},
  issn = {2192-5283},
  year = {2019},
  volume = {9},
  number = {5},
  editor = {Thorsten Berger and Marsha Chechik and Timo Kehrer and Manuel Wimmer},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum für Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2019/11379},
  urn = {urn:nbn:de:0030-drops-113793},
  doi = {10.4230/DagRep.9.5.1},
  annote = {Keywords: software configuration management, versioning, variability management, software product lines, empirical evaluation},
  tags = {Vitruv},
  pdf = {https://drops.dagstuhl.de/opus/volltexte/2019/11379/pdf/dagrep_v009_i005_p001_19191.pdf},
  groups = {SEQ; SDQ; ARE; AnanievaSofia; KlareHeiko; KoziolekAnne}
}
@inproceedings{ananieva2020c,
  title = {A Conceptual Model for Unifying Variability in Space and Time},
  author = {Ananieva, Sofia and Greiner, Sandra and K\"uhn, Thomas and Kr\"uger, Jacob and Linsbauer, Lukas and Gr\"uner, Sten and Kehrer, Timo and Klare, Heiko and Koziolek, Anne and L\"onn, Henrik and Krieter, Sebastian and Seidl, Christoph and Ramesh, Sethu and Westfechtel, Bernhard},
  booktitle = {Proceedings of the 24th International Systems and Software Product Line Conference (SPLC)},
  publisher = {ACM},
  address = {New York, NY, USA},
  year = {2020},
  isbn = {9781450375696},
  doi = {10.1145/3382025.3414955},
  url = {https://doi.org/10.1145/3382025.3414955},
  tags = {Vitruv},
  groups = {SEQ; SDQ; ARE; AnanievaSofia; KuehnThomas; KlareHeiko; KoziolekAnne}
}
@mastersthesis{pepin2019ma,
  title = {{Decomposition of Relations for Multi-model Consistency Preservation}},
  author = {Pepin, Aur{\'e}lien},
  school = {Karlsruhe Institute of Technology (KIT)},
  address = {Karlsruhe},
  year = {2019},
  type = {Master's Thesis},
  doi = {10.5445/IR/1000100374},
  url = {http://dx.doi.org/10.5445/IR/1000100374},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/pepin2019ma.pdf},
  tags = {Vitruv},
  groups = {SDQ; PepinAurelien}
}
@inproceedings{klare2019models,
  author = {Klare, Heiko and Gleitze, Joshua},
  booktitle = {{2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)}},
  title = {{Commonalities for Preserving Consistency of Multiple Models}},
  year = {2019},
  pages = {371-378},
  keywords = {model consistency, model transformation, multidirectional transformation, commonalities},
  doi = {10.1109/MODELS-C.2019.00058},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klare2019models.pdf},
  url = {http://dx.doi.org/10.1109/MODELS-C.2019.00058},
  isbn = {978-1-7281-5125-0},
  month = {September},
  tags = {Vitruv},
  groups = {SDQ; KlareHeiko; GleitzeJoshua}
}
@mastersthesis{syma2018ma,
  title = {{Multi-model Consistency through Transitive Combination of Binary Transformations}},
  author = {Syma, Torsten},
  school = {Karlsruhe Institute of Technology (KIT)},
  address = {Karlsruhe},
  year = {2018},
  type = {Master's Thesis},
  doi = {10.5445/IR/1000104128},
  url = {http://dx.doi.org/10.5445/IR/1000104128},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/syma2018ma.pdf},
  tags = {Vitruv},
  groups = {SDQ; SymaTorsten}
}
@inproceedings{meier2020ccis,
  author = {Meier, Johannes and Werner, Christopher and Klare, Heiko and Tunjic, Christian and A{\ss}mann, Uwe and Atkinson, Colin and Burger, Erik and Reussner, Ralf and Winter, Andreas},
  editor = {Hammoudi, Slimane and Pires, Lu{\'i}s Ferreira and Seli{\'{c}}, Bran},
  title = {Classifying Approaches for Constructing Single Underlying Models},
  booktitle = {Model-Driven Engineering and Software Development},
  year = {2020},
  publisher = {Springer International Publishing},
  address = {Cham},
  pages = {350--375},
  abstract = {Multi-view environments for software development allow different views of a software system to be defined to cover the requirements of different stakeholders. One way of ensuring consistency of overlapping information often contained in such views is to project them ``on demand'' from a Single Underlying Model (SUM). However, there are several ways to construct and adapt such SUMs. This paper presents four archetypal approaches and analyses their advantages and disadvantages based on several new criteria. In addition, guidelines are presented for selecting a suitable SUM construction approach for a specific project.},
  isbn = {978-3-030-37873-8},
  doi = {10.1007/978-3-030-37873-8_15},
  url = {http://dx.doi.org/10.1007/978-3-030-37873-8_15},
  tags = {Vitruv},
  groups = {SDQ; KlareHeiko; BurgerErik; ReussnerRalf}
}
@mastersthesis{saglam2020ma,
  title = {{A Case Study for Networks of Bidirectional Transformations}},
  author = {Sa{\u g}lam, Timur},
  school = {Karlsruhe Institute of Technology (KIT)},
  address = {Karlsruhe},
  year = {2020},
  type = {Master's Thesis},
  doi = {10.5445/IR/1000120806},
  url = {https://publikationen.bibliothek.kit.edu/1000120806},
  pdf = {https://publikationen.bibliothek.kit.edu/1000120806/81043443},
  tags = {Vitruv},
  groups = {}
}
@techreport{klare2020compatibilityreport,
  address = {Karlsruhe},
  author = {Klare, Heiko and Pepin, Aur{\'e}lien and Burger, Erik and Reussner, Ralf},
  institution = {Karlsruher Institut für Technologie (KIT)},
  issn = {2190-4782},
  pdf = {https://publikationen.bibliothek.kit.edu/1000121444/82899089},
  series = {Karlsruhe Reports in Informatics},
  title = {{A Formal Approach to Prove Compatibility in Transformation Networks}},
  keywords = {model consistency, model transformation, transformation networks, transformation decomposition, transformation compatibility},
  pagetotal = {40},
  language = {english},
  volume = {2020},
  number = {3},
  year = {2020},
  doi = {10.5445/IR/1000121444},
  url = {http://dx.doi.org/10.5445/IR/1000121444},
  tags = {Vitruv},
  groups = {SDQ; KlareHeiko; PepinAurelien; BurgerErik; ReussnerRalf}
}
@article{klare2021jss,
  title = {{Enabling consistency in view-based system development -- The Vitruvius approach}},
  journal = {Journal of Systems and Software},
  year = {2021},
  volume = {171},
  issn = {0164-1212},
  doi = {https://doi.org/10.1016/j.jss.2020.110815},
  url = {http://www.sciencedirect.com/science/article/pii/S0164121220302144},
  author = {Heiko Klare and Max E. Kramer and Michael Langhammer and Dominik Werle and Erik Burger and Ralf Reussner},
  keywords = {Consistency, Model-driven software development, Model transformations, Model views},
  abstract = {During the development of large software-intensive systems, developers use several modeling languages and tools to describe a system from different viewpoints. Model-driven and view-based technologies have made it easier to define domain-specific languages and transformations. Nevertheless, using several languages leads to fragmentation of information, to redundancies in the system description, and eventually to inconsistencies. Inconsistencies have negative impacts on the system’s quality and are costly to fix. Often, there is no support for consistency management across multiple languages. Using a single language is no practicable solution either, as it is overly complex to define, use, and evolve such a language. View-based development is a suitable approach to deal with complex systems, and is widely used in other engineering disciplines. Still, we need to cope with the problems of fragmentation and consistency. In this paper, we present the Vitruviusapproach for consistency in view-based modeling. We describe the approach by formalizing the notion of consistency, presenting languages for consistency preservation, and defining a model-driven development process. Furthermore, we show how existing models can be integrated. We have evaluated our approach at two case studies from component-based and embedded automotive software development, using our prototypical implementation based on the Eclipse Modeling Framework.},
  tags = {Vitruv},
  groups = {SDQ; ARE; KlareHeiko; KramerMax; LanghammerMichael; WerleDominik; BurgerErik; ReussnerRalf}
}
@misc{klare2020jssreproduction,
  author = {Klare, Heiko},
  year = {2020},
  title = {{Reproduction Package for Evaluating the Vitruvius Approach}},
  doi = {10.5445/IR/1000123568},
  url = {https://doi.org/10.5445/IR/1000123568},
  tags = {Vitruv},
  groups = {SDQ; KlareHeiko}
}