The Community for Technology Leaders
2012 4th International Workshop Modeling in Software Engineering (MiSE 2012) (2012)
Zurich
June 2, 2012 to June 3, 2012
ISSN: 2156-7883
ISBN: 978-1-4673-1756-6
TABLE OF CONTENTS

A rigorous approach to availability modeling (PDF)

Maximilian Junker , Technische Universität München Garching b. München, Germany
Philipp Neubeck , Technische Universität München Garching b. München, Germany
pp. 1-7

Extent and characteristics of dependencies between vehicle functions in automotive software systems (PDF)

Andreas Vogelsang , Institut für Informatik, Technische Universität München, Boltzmannstr. 3, 85748 Garching
Stefan Teuchert , MAN Truck & Bus AG, Engineering E/E System Vehicle Dynamic Functions (EEV), Dachauer Strasse 667, 80995 München
Jean-Francois Girard , MAN Truck & Bus AG, Engineering E/E System Vehicle Dynamic Functions (EEV), Dachauer Strasse 667, 80995 München
pp. 8-14

Creating visual Domain-Specific Modeling Languages from end-user demonstration (PDF)

Hyun Cho , Department of Computer Science University of Alabama Tuscaloosa, AL USA
Jeff Gray , Department of Computer Science University of Alabama Tuscaloosa, AL USA
Eugene Syriani , Department of Computer Science University of Alabama Tuscaloosa, AL USA
pp. 22-28

Community-driven language development (PDF)

Javier Luis Canovas Izquierdo , AtlanMod, École des Mines de Nantes - INRIA - LINA Nantes, France
Jordi Cabot , AtlanMod, École des Mines de Nantes - INRIA - LINA Nantes, France
pp. 29-35

Avestan: A declarative modeling language based on SMT-LIB (PDF)

Amirhossein Vakili , Cheriton School of Computer Science, University of Waterloo, Waterloo, Ontario, Canada
Nancy A. Day , Cheriton School of Computer Science, University of Waterloo, Waterloo, Ontario, Canada
pp. 36-42

Modeling social media collaborative work (PDF)

Bazil Stanley Solomon , Oxford Brookes, University Oxford, UK
David Duce , Oxford Brookes, University Oxford, UK
Rachel Harrison , Oxford Brookes, University Oxford, UK
Kenneth Boness , University of Reading, Berks, UK
pp. 43-49

MODAClouds: A model-driven approach for the design and execution of applications on multiple Clouds (PDF)

Giuliano Casale , Imperial College London, UK
Danilo Ardagna , Politecnico di Milano, Italy
Parastoo Mohagheghi , SINTEF, Norway
Sebastien Mosser , SINTEF, Norway
Cyril Ballagny , SOFTEAM, France
Francesco D'Andria , ATOS, Spain
Elisabetta Di Nitto , Politecnico di Milano, Italy
Peter Matthews , CA, Spain
Cosmin-Septimiu Nechifor , Siemens, Romania
Dana Petcu , Institute e-Austria Timisoara, Romania
Anke Gericke , BOC, Austria
Craig Sheridan , Flexiant, UK
pp. 50-56

A feature model for model-to-text transformation languages (PDF)

Louis M. Rose , Department of Computer Science, University of York, Deramore Lane, Heslington, York, YO10 5GH, UK
Nicholas Matragkas , Department of Computer Science, University of York, Deramore Lane, Heslington, York, YO10 5GH, UK
Dimitrios S. Kolovos , Department of Computer Science, University of York, Deramore Lane, Heslington, York, YO10 5GH, UK
Richard F. Paige , Department of Computer Science, University of York, Deramore Lane, Heslington, York, YO10 5GH, UK
pp. 57-63

The semantics of partial model transformations (Abstract)

Michalis Famelis , University of Toronto, Canada
Rick Salay , University of Toronto, Canada
Marsha Chechik , University of Toronto, Canada
pp. 64-69

A categorical model of model merging and weaving (PDF)

Jonathan Y. Marchand , ENS Cachan, Rennes, France
Benoit Combemale , Université de Rennes 1 / IRISA, Rennes, France
Benoit Baudry , INRIA Rennes, France
pp. 70-76

Using UniMod for maintenance tasks: An experimental assessment in the context of model driven development (PDF)

Filippo Ricca , Dipartimento di Informatica e Scienze dell'Informazione (DISI) - Università di Genova, Italy
Maurizio Leotta , Dipartimento di Informatica e Scienze dell'Informazione (DISI) - Università di Genova, Italy
Gianna Reggio , Dipartimento di Informatica e Scienze dell'Informazione (DISI) - Università di Genova, Italy
Alessandro Tiso , Dipartimento di Informatica e Scienze dell'Informazione (DISI) - Università di Genova, Italy
Giovanna Guerrini , Dipartimento di Informatica e Scienze dell'Informazione (DISI) - Università di Genova, Italy
Marco Torchiano , Dipartimento di Automatica e Informatica (DAUIN) - Politecnico di Torino, Italy
pp. 77-83

A feature-based approach to system deployment and adaptation (PDF)

Sabine Moisan , INRIA Sophia Antipolis Méditerrannée, Route des Lucioles, 06902 Sophia Antipolis Cedex, France
Jean-Paul Rigault , INRIA Sophia Antipolis Méditerrannée, Route des Lucioles, 06902 Sophia Antipolis Cedex, France
Mathieu Acher , University of Namur, PReCISE Research Centre, Belgium
pp. 84-90

Business process and software architecture model co-evolution patterns (PDF)

Pooyan Jamshidi , Lero - The Irish Software Engineering Research Centre, School of Computing, Dublin City University, Dublin, Ireland
Claus Pahl , Lero - The Irish Software Engineering Research Centre, School of Computing, Dublin City University, Dublin, Ireland
pp. 91-97
81 ms
(Ver 3.3 (11022016))