Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation von D׳Souza, Deepak, Lal, Akash

Volltext

Model-driven engineering: A survey supported by the unified conceptual model von Rodrigues da Silva, Alberto

Volltext

Evaluating and comparing language workbenches: Existing results and benchmarks for the future von Erdweg, Sebastian, van der Storm, Tijs, Volter, Markus, Tratt, Laurence, Bosman, Remi, Cook, William R, Gerritsen, Albert, Hulshout, Angelo, Kelly, Steven, Loh, Alex, Konat, Gabrieel, Molina, Pedro J, Palatnik, Martin, Pohjonen, Risto, Schindler, Eugen, Schindler, Klemens, Solmi, Riccardo, Vergu, Vlad, Visser, Eelco, van der Vlist, Kevin, Wachsmuth, Guido, van der Woning, Jimi

Volltext

Safe model polymorphism for flexible modeling von Degueule, Thomas, Combemale, Benoit, Blouin, Arnaud, Barais, Olivier, Jézéquel, Jean-Marc

Volltext

Lightweight and static verification of UML executable models von Planas Hortal, Elena, Cabot Sagrera, Jordi, Gómez, C

Volltext

Systematic mapping study of template-based code generation von Syriani, Eugene, Luhunu, Lechanceux, Sahraoui, Houari

Volltext

Agent-oriented model-driven development for JADE with the JADEL programming language von Bergenti, Federico, Iotti, Eleonora, Monica, Stefania, Poggi, Agostino

Volltext

Harmony search based remodularization for object-oriented software systems von Amarjeet, Chhabra, Jitender Kumar

Volltext

A two-phase software reliability modeling involving with software fault dependency and imperfect fault removal von Zhu, Mengmeng, Pham, Hoang

Volltext

Model-based analysis of Java EE web security misconfigurations von Martínez, Salvador, Cosentino, Valerio, Cabot, Jordi

Volltext

Software language engineering in the large: towards composing and deriving languages von Hölldobler, Katrin, Rumpe, Bernhard, Wortmann, Andreas

Volltext

Achieving model quality through model validation, verification and exploration von Gogolla, Martin, Hilken, Frank, Doan, Khanh-Hoang

Volltext

Usability driven DSL development with USE-ME von Barišić, Ankica, Amaral, Vasco, Goulão, Miguel

Volltext

Neverlang: A framework for feature-oriented language development von Vacchi, Edoardo, Cazzola, Walter

Volltext

FP-ABC: Fuzzy-Pareto dominance driven artificial bee colony algorithm for many-objective software module clustering von Amarjeet, Chhabra, Jitender Kumar

Volltext

Concern-oriented language development (COLD): Fostering reuse in language engineering von Combemale, Benoit, Kienzle, Jörg, Mussbacher, Gunter, Barais, Olivier, Bousse, Erwan, Cazzola, Walter, Collet, Philippe, Degueule, Thomas, Heinrich, Robert, Jézéquel, Jean-Marc, Leduc, Manuel, Mayerhofer, Tanja, Mosser, Sébastien, Schöttle, Matthias, Strittmatter, Misha, Wortmann, Andreas

Volltext

Constraint programming for type inference in flexible model-driven engineering von Zolotas, Athanasios, Clarisó, Robert, Matragkas, Nicholas, Kolovos, Dimitrios S., Paige, Richard F.

Volltext

Personalized recommender systems for product-line configuration processes von Pereira, Juliana Alves, Matuszyk, Pawel, Krieter, Sebastian, Spiliopoulou, Myra, Saake, Gunter

Volltext

Automatic assessment of Java code von Insa, David, Silva, Josep

Volltext

Lightweight and static verification of UML executable models von Planas Hortal, Elena, Cabot Sagrera, Jordi, Gómez, Cristina

Volltext