MiSE C

15 papers

YearTitle / Authors
2012A categorical model of model merging and weaving.
Jonathan Y. Marchand, Benoît Combemale, Benoit Baudry
2012A feature model for model-to-text transformation languages.
Louis M. Rose, Nicholas Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige
2012A feature-based approach to system deployment and adaptation.
Sabine Moisan, Jean-Paul Rigault, Mathieu Acher
2012A rigorous approach to availability modeling.
Maximilian Junker, Philipp Neubeck
2012Avestan: a declarative modeling language based on SMT-LIB.
Amirhossein Vakili, Nancy A. Day
2012Business process and software architecture model co-evolution patterns.
Pooyan Jamshidi, Claus Pahl
2012Community-driven language development.
Javier Luis Cánovas Izquierdo, Jordi Cabot
2012Creating visual domain-specific modeling languages from end-user demonstration.
Hyun Cho, Jeffrey G. Gray, Eugene Syriani
2012Extent and characteristics of dependencies between vehicle functions in automotive software systems.
Andreas Vogelsang, Stefan Teuchert, Jean-François Girard
2012MODAClouds: a model-driven approach for the design and execution of applications on multiple clouds.
Danilo Ardagna, Elisabetta Di Nitto, Giuliano Casale, Dana Petcu, Parastoo Mohagheghi, Sébastien Mosser, Peter Matthews, Anke Gericke, Cyril Ballagny, Francesco D'Andria, Cosmin-Septimiu Nechifor, Craig Sheridan
2012Modeling social media collaborative work.
Bazil Stanley Solomon, David Duce, Rachel Harrison, Kenneth Boness
2012Proceedings of the 4th International Workshop on Modeling in Software Engineering, MiSE 2012, Zurich, Switzerland, June 2-3, 2012
Joanne M. Atlee, Robert Baillargeon, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler
2012The semantics of partial model transformations.
Michalis Famelis, Rick Salay, Marsha Chechik
2012Using UniMod for maintenance tasks: an experimental assessment in the context of model driven development.
Filippo Ricca, Maurizio Leotta, Gianna Reggio, Alessandro Tiso, Giovanna Guerrini, Marco Torchiano
2012Verifiable architectural interface for supporting model-driven development with adequate abstraction level.
Naoyasu Ubayashi, Yasutaka Kamei