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:
Date Issued:  2019

Results 1-6 of 6 (Search time: 0.003 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
2Bill, Robert ; Fleck, Martin ; Troya, Javier ; Mayerhofer, Tanja ; Wimmer, Manuel A Local and Global Tour on MOMoTArtikel Article 2019
3Bousse Erwan - 2017 - Advanced and efficient execution trace management for...pdf.jpgBousse, Erwan ; Mayerhofer, Tanja ; Combemale, Benoit ; Baudry, Benoit Advanced and efficient execution trace management for executable domain-specific modeling languagesArticle Artikel 8-Feb-2019
4Burgueñ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
5Blanchette, Jasmin ; Bordeleau, Francis ; Pierantonio, Alfonso ; Kosmatov, Nikolai ; Taentzer, Gabriele ; Wimmer, Manuel Introduction to the STAF 2015 special sectionArtikel Article2019
6Berardinelli Luca - 2017 - Multidimensional context modeling applied to...pdf.jpgBerardinelli, Luca ; Bernardo, Marco ; Cortellessa, Vittorio ; Di Marco, Antinisca Multidimensional context modeling applied to non-functional analysis of softwareArticle Artikel 1-Jun-2019