Powered by
Conference Publishing Consulting

2012 4th International Workshop on Modeling in Software Engineering (MiSE), June 2–3, 2012, Zurich, Switzerland

MiSE 2012 – Proceedings

Contents - Abstracts - Authors

4th International Workshop on Modeling in Software Engineering (MiSE)


Title Page

Model Analysis

A Rigorous Approach to Availability Modeling
Maximilian Junker and Philipp Neubeck
(TU Munich, Germany)
Article Search
Extent and Characteristics of Dependencies between Vehicle Functions in Automotive Software Systems
Andreas Vogelsang, Stefan Teuchert, and Jean-Francois Girard
(TU Munich, Germany; MAN Truck and Bus, Germany)
Article Search
Verifiable Architectural Interface for Supporting Model-Driven Development with Adequate Abstraction Level
Naoyasu Ubayashi and Yasutaka Kamei
(Kyushu University, Japan)
Article Search

Domain-Specific Languages

Creating Visual Domain-Specific Modeling Languages from End-User Demonstration
Hyun Cho, Jeff Gray, and Eugene Syriani
(University of Alabama, USA)
Article Search
Community-Driven Language Development
Javier Luis Cánovas Izquierdo and Jordi Cabot
(École des Mines de Nantes, France; INRIA, France; LINA, France)
Article Search

Poster Session

Avestan: A Declarative Modeling Language Based on SMT-LIB
Amirhossein Vakili and Nancy A. Day
(University of Waterloo, Canada)
Article Search
Modeling Social Media Collaborative Work
Bazil Stanley Solomon, David Duce, Rachel Harrison, and Kenneth Boness
(Oxford Brookes University, UK; University of Reading, UK)
Article Search
MODACLOUDS: 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, and Craig Sheridan
(Politecnico di Milano, Italy; Imperial College London, UK; Institute e-Austria Timisoara, Romania; SINTEF, Norway; CA, Spain; BOC, Austria; SOFTEAM, France; ATOS, Spain; SIEMENS, Romania; Flexiant, UK)
Article Search

Model Transformations

A Feature Model for Model-to-Text Transformation Languages
Louis M. Rose, Nicholas Matragkas, Dimitrios S. Kolovos, and Richard F. Paige
(University of York, UK)
Article Search
The Semantics of Partial Model Transformations
Michalis Famelis, Rick Salay, and Marsha Chechik
(University of Toronto, Canada)
Article Search
A Categorical Model of Model Merging and Weaving
Jonathan Y. Marchand, Benoit Combemale, and Benoit Baudry
(ENS Cachan, France; University of Rennes 1, France; IRISA, France; INRIA, France)
Article Search

Model Evolution, Adaptability, and Maintainability

Using UniMod for Maintenance Tasks: An Experimental Assessment in the Context of Model Driven Development
Filippo Ricca, Maurizio Leotta, Gianna Reggio, Alessandro Tiso, Giovanna Guerrini, and Marco Torchiano
(University of Genova, Italy; Politecnico di Torino, Italy)
Article Search
A Feature-Based Approach to System Deployment and Adaptation
Sabine Moisan, Jean-Paul Rigault, and Mathieu Acher
(INRIA Sophia Antipolis Méditerranée, France; University of Namur, Belgium)
Article Search
Business Process and Software Architecture Model Co-evolution Patterns
Pooyan Jamshidi and Claus Pahl
(Lero, Ireland; Dublin City University, Ireland)
Article Search

proc time: 0.23