The Community for Technology Leaders
2013 5th International Workshop on Modeling in Software Engineering (MiSE) (2013)
San Francisco, CA, USA
May 18, 2013 to May 19, 2013
ISSN: 2156-7883
ISBN: 978-1-4673-6447-8
TABLE OF CONTENTS

[Front matter] (PDF)

pp. 1-2

Contents (PDF)

pp. 1-2

Foreword (PDF)

Joanne Atlee , University of Waterloo, Waterloo, Canada
Robert Baillargeon , Sodius, USA
Marsha Chechik , University of Toronto, Canada
Robert France , Colorado State University, CO, USA
Jeff Gray , University of Alabama, AL, USA
Richard Paige , University of York, UK
Bernhard Rumpe , Rwth Aachen University, Germany
pp. iii-iv

Issues in representing domain-specific concerns in model-driven engineering (Abstract)

Lionel Montrieux , Centre for Research in Computing The Open University Milton Keynes, UK
Yijun Yu , Centre for Research in Computing The Open University Milton Keynes, UK
Michel Wermelinger , Centre for Research in Computing The Open University Milton Keynes, UK
Zhenjiang Hu , National Institute of Informatics Tokyo, Japan
pp. 1-6

MAV-Vis: A notation for model uncertainty (Abstract)

Michalis Famelis , University of Toronto, Canada
Stephanie Santosa , University of Toronto, Canada
pp. 7-12

Modes, features, and state-based modeling for clarity and flexibility (Abstract)

Anitha Murugesan , Department of Computer Science and Engineering University of Minnesota 200 Union Street, Minneapolis, Minnesota 55455, USA
Sanjai Rayadurgam , Department of Computer Science and Engineering University of Minnesota 200 Union Street, Minneapolis, Minnesota 55455, USA
Mats P. E. Heimdahl , Department of Computer Science and Engineering University of Minnesota 200 Union Street, Minneapolis, Minnesota 55455, USA
pp. 13-17

Lightweight analysis of software design models at the whiteboard (Abstract)

Alfredo Motta , Dipartimento di Elettronica e Informazione Politecnico di Milano Via Golgi 42, 20133 Milano, Italy
Nicolas Mangano , Department of Informatics University of California Irvine, CA 92697-3440 U.S.A.
Andre van der Hoek , Department of Informatics University of California Irvine, CA 92697-3440 U.S.A.
pp. 18-23

Complementing model-driven development for the detection of software architecture erosion (Abstract)

Sebastian Herold , Department of Informatics Clausthal University of Technology P.O. Box 1253, 38670 Clausthal-Zellerfeld, Germany
Andreas Rausch , Department of Informatics Clausthal University of Technology P.O. Box 1253, 38670 Clausthal-Zellerfeld, Germany
pp. 24-30

Enhancing version control with domain-specific semantics (Abstract)

Matthieu Foucault , CEA/CESTA 33114 Le Barp, France
Sebastien Barbier , CEA/CESTA 33114 Le Barp, France
David Lugato , CEA/CESTA 33114 Le Barp, France
pp. 31-36

Model based control for multi-cloud applications (Abstract)

Marco Miglierina , Politecnico di Milano, Italy
Giovanni P. Gibilisco , Politecnico di Milano, Italy
Danilo Ardagna , Politecnico di Milano, Italy
Elisabetta Di Nitto , Politecnico di Milano, Italy
pp. 37-43

Highlighting the challenges of model-based engineering for spaceflight software systems (Abstract)

Robert G. Pettit , Flight Software and Embedded Systems Office The Aerospace Corporation Chantilly, Virginia, USA
Navneet Mezcciani , Software Systems Analysis Department The Aerospace Corporation EI Segundo, California, USA
pp. 51-54

A UML profile for dynamic execution persistence with monitoring purposes (Abstract)

Eladio Dominguez , Dpto. de Informática e Ingeniería de Sistemas. Universidad de Zaragoza. 50009 Zaragoza. Spain
Beatriz Perez , Dpto. de Matemáticas y Computación. Universidad de La Rioja. 26004 Logroño. Spain
Maria A. Zapata , Dpto. de Informática e Ingeniería de Sistemas. Universidad de Zaragoza. 50009 Zaragoza. Spain
pp. 55-61

Requirements models for design- and runtime: A position paper (Abstract)

Alexander Borgida , Rutgers University United States
Fabiano Dalpiaz , University of Toronto Canada
Jennifer Horkoff , University of Trento Italy
John Mylopoulos , University of Trento Italy
pp. 62-68

Model oriented programming: Bridging the code-model divide (Abstract)

Omar Badreddin , School of Electrical Engineering and Computer Science University of Ottawa Ottawa, Canada
Timothy C. Lethbridge , School of Electrical Engineering and Computer Science University of Ottawa Ottawa, Canada
pp. 69-75

A model-based approach to language integration (Abstract)

Federico Tomassetti , Department of Computer Engineering and Control Automation Politecnico di Torino, Torino, Italy
Antonio Vetro , Department of Computer Engineering and Control Automation Politecnico di Torino, Torino, Italy
Marco Torchiano , Department of Computer Engineering and Control Automation Politecnico di Torino, Torino, Italy
Markus Voelter , Voelter ingenieurbuero fuer softwaretechnologie, Germany
Bernd Kolb , itemis, Germany
pp. 76-81

Prioritizing software anomalies with software metrics and architecture blueprints (Abstract)

Everton Guimaraes , Informatics Department PUC-Rio Rio de Janeiro, Brazil
Alessandro Garcia , Informatics Department PUC-Rio Rio de Janeiro, Brazil
Eduardo Figueiredo , Department of Computer Science, Federal University of Minas Gerais, Belo Horizonte, Brazil
Yuanfang Cai , Department of Computer Science, Drexel University, Philadelphia, USA
pp. 82-88
88 ms
(Ver 3.3 (11022016))