A feature-based classification of formal verification techniques for software models
Gabmeyer, Sebastian, Kaufmann, Petra, Seidl, Martina, Gogolla, Martin, Kappel, Gerti
Published in Software and systems modeling (01.02.2019)
Published in Software and systems modeling (01.02.2019)
Get full text
Journal Article
A posteriori operation detection in evolving software models
Langer, Philip, Wimmer, Manuel, Brosch, Petra, Herrmannsdörfer, Markus, Seidl, Martina, Wieland, Konrad, Kappel, Gerti
Published in The Journal of systems and software (01.02.2013)
Published in The Journal of systems and software (01.02.2013)
Get full text
Journal Article
Leveraging annotation-based modeling with Jump
Bergmayr, Alexander, Grossniklaus, Michael, Wimmer, Manuel, Kappel, Gerti
Published in Software and systems modeling (01.02.2018)
Published in Software and systems modeling (01.02.2018)
Get full text
Journal Article
Contents for a Model-Based Software Engineering Body of Knowledge
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
Published in Software and systems modeling (01.12.2019)
Published in Software and systems modeling (01.12.2019)
Get full text
Journal Article
Turning Conflicts into Collaboration
Wieland, Konrad, Langer, Philip, Seidl, Martina, Wimmer, Manuel, Kappel, Gerti
Published in Computer supported cooperative work (01.04.2013)
Published in Computer supported cooperative work (01.04.2013)
Get full text
Journal Article
Automated verification of model transformations based on visual contracts
Guerra, Esther, de Lara, Juan, Wimmer, Manuel, Kappel, Gerti, Kusel, Angelika, Retschitzegger, Werner, Schönböck, Johannes, Schwinger, Wieland
Published in Automated software engineering (01.03.2013)
Published in Automated software engineering (01.03.2013)
Get full text
Journal Article
CPS/IoT Ecosystem: A Platform for Research and Education
Isakovic, Haris, Ratasich, Denise, Hirsch, Christian, Platzer, Michael, Wally, Bernhard, Rausch, Thomas, Nickovic, Dejan, Krenn, Willibald, Kappel, Gerti, Dustdar, Schahram, Grosu, Radu
Published in Cyber Physical Systems. Model-Based Design
Published in Cyber Physical Systems. Model-Based Design
Get full text
Book Chapter
Using taxonomies for content-based routing with ants
Michlmayr, Elke, Pany, Arno, Kappel, Gerti
Published in Computer networks (Amsterdam, Netherlands : 1999) (14.11.2007)
Published in Computer networks (Amsterdam, Netherlands : 1999) (14.11.2007)
Get full text
Journal Article
xMOF: Executable DSMLs Based on fUML
Mayerhofer, Tanja, Langer, Philip, Wimmer, Manuel, Kappel, Gerti
Published in Software Language Engineering
Published in Software Language Engineering
Get full text
Book Chapter
Lifting metamodels to ontologies: a step to the semantic integration of modeling languages
Kappel, Gerti, Kapsammer, Elisabeth, Kargl, Horst, Kramler, Gerhard, Reiter, Thomas, Retschitzegger, Werner, Schwinger, Wieland, Wimmer, Manuel
Published in Lecture notes in computer science (01.01.2006)
Published in Lecture notes in computer science (01.01.2006)
Get full text
Conference Proceeding
Book Chapter