Software and Systems Modeling

Title Titel
Software and Systems Modeling
 
e-ISSN
1619-1374
 
ISSN
1619-1366
 
Publisher Herausgeber
SPRINGER HEIDELBERG
 
Publisher's Address Herausgeber Adresse
TIERGARTENSTRASSE 17, HEIDELBERG, GERMANY, D-69121
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Author:  Kappel, G.

Results 1-4 of 4 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina ; Gogolla, Martin ; Kappel, Gerti A Feature-Based Classification of Formal Verification Techniques for Software ModelsArtikel Article 2019
2Burgueñ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 Contents for a Model-Based Software Engineering Body of KnowledgeArtikel Article 2019
3Bergmayr Alexander - 2016 - Leveraging annotation-based modeling with JUMP.pdf.jpgBergmayr, Alexander ; Grossniklaus, Michael ; Wimmer, Manuel ; Kappel, Gerti Leveraging annotation-based modeling with JUMPArticle Artikel Feb-2018
4Kusel, A. ; Schönböck, J. ; Wimmer, M. ; Kappel, G. ; Retschitzegger, W. ; Schwinger, W. Reuse in Model-to-Model Transformation Languages: Are we there yet?Artikel Article2013