Abstract is missing.
- Featured model types: towards systematic reuse in modelling language engineeringGilles Perrouin, Moussa Amrani, Mathieu Acher, Benoît Combemale, Axel Legay, Pierre-Yves Schobbens. 1-7 [doi]
- An end-to-end domain specific modeling and analysis platformArman Shahbazian, George Edwards, Nenad Medvidovic. 8-12 [doi]
- Model level design pattern instance detection using answer set programmingGaurab Luitel, Matthew Stephan, Daniela Inclezan. 13-19 [doi]
- fREX: fUML-based reverse engineering of executable behavior for software dynamic analysisAlexander Bergmayr, Hugo Brunelière, Jordi Cabot, Jokin García, Tanja Mayerhofer, Manuel Wimmer. 20-26 [doi]
- Architecture-centric derivation of products in a software product lineCuong Cu, Yongjie Zheng. 27-33 [doi]
- Examining the co-evolution relationship between simulink models and their test casesEric J. Rapos, James R. Cordy. 34-40 [doi]
- Modeling complex air traffic management systemsNeha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace. 41-47 [doi]
- Model driven performance simulation of cloud provisioned Hadoop mapreduce applicationsHanieh Alipour, Yan Liu, Abdelwahab Hamou-Lhadj, Ian Gorton. 48-54 [doi]
- Model-based analysis of Java EE web security configurationsSalvador Martínez Perez, Valerio Cosentino, Jordi Cabot. 55-61 [doi]
- Modeling for sustainabilityBenoît Combemale, Betty H. C. Cheng, Ana Moreira, Jean-Michel Bruel, Jeffrey G. Gray. 62-66 [doi]
- Representing hierarchical state machine models in SMT-LIBNancy A. Day, Amirhossein Vakili. 67-73 [doi]
- Model management for regulatory compliance: a position paperSahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum. 74-80 [doi]