Sebastian Gabmeyer studied Business Informatics at the Vienna University of Technology where he received his master’s degree for his thesis on the Formalization of the Operation Recorder based on Graph Transformation Theory. Currently, he is a researcher in the FAME project and working on his PhD thesis concerned with the verification of software models and model transformations.
Like traditional program code, software models are not resistant to change, but evolve over time by undergoing continuous extensions, corrections, and modifications. In model-driven engineering (MDE), evolution is multidimensional leading to the model management tasks of synchronization, versioning, and co-evolution.
Software and Systems Modeling, 18 (2019), 1; 473 - 498.
Talk: UML and FM 2012, Paris; 08-27-2012; in: “ACM SIGSOFT Software Engineering Notes”, W. Tracz (ed.); ACM, Volume 37 Issue 4 (2012), ISSN: 0163-5948; 8 pages.
Talk: 6th International Conference on Tests and Proofs (TAP 2012), Prague, Czech Republic; 05-31-2012 - 06-01-2012; in: “Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)", Springer, LNCS 7305 (2012), ISBN: 978-3-642-30472-9; 149 - 155.
in: “Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers”, Springer LNCS, Berlin-Heidelberg, 2012, ISSN: 0302-9743, 246 - 256.
Talk: Models & Evolution Workshop @ ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, New Zealand; 10-18-2011; in: “Proceedings of the Models and Evolution Workshop @ MoDELS'11”, (2011), 10 pages.