1. Home
  2. Proceedings
  3. MISE
  4. MISE 2015
Default Cover Image

2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering (MiSE)

May 16 2015 to May 17 2015

Florence, Italy

Table of Contents

Title Page iFreely available from IEEE.pp. i-i
Title Page iiiFreely available from IEEE.pp. iii-iii
Copyright PageFreely available from IEEE.pp. iv-iv
Table of ContentsFreely available from IEEE.pp. v-vi
Message from the ChairsFreely available from IEEE.pp. vii-viii
CommitteesFreely available from IEEE.pp. ix-ix
Sponsors and SupportersFreely available from IEEE.pp. x-x
Reconciling a Component and Process ViewFull-text access may be available. Sign in or learn about subscription options.pp. 1-6
by Maria Spichkova, Heinz Schmidt
Modularity for UncertaintyFull-text access may be available. Sign in or learn about subscription options.pp. 7-12
by Takuya Fukamachi, Naoyasu Ubayashi, Shintaro Hosoai, Yasutaka Kamei
Incremental and Commutative Composition of State-Machine Models of FeaturesFull-text access may be available. Sign in or learn about subscription options.pp. 13-18
by Sandy Beidu, Joanne M. Atlee, Pourya Shaker
Compositional Reliability Analysis for Probabilistic Component AutomataFull-text access may be available. Sign in or learn about subscription options.pp. 19-24
by Pedro Rodrigues, Emil Constantine Lupu, Jeffrey Kramer
A Field Study of Modellers at WorkFull-text access may be available. Sign in or learn about subscription options.pp. 25-29
by Eirini Kalliamvakou, Marc Palyart, Gail C. Murphy, Daniela Damian
ARCA -- Automated Analysis of AUTOSAR Meta-model ChangesFull-text access may be available. Sign in or learn about subscription options.pp. 30-35
by Darko Durisic, Miroslaw Staron, Matthias Tichy
MASC: Modelling Architectural Security ConcernsFull-text access may be available. Sign in or learn about subscription options.pp. 36-41
by Laurens Sion, Koen Yskout, Alexander van den Berghe, Riccardo Scandariato, Wouter Joosen
Towards Executing Dynamically Updating Finite-State Controllers on a Robot SystemFull-text access may be available. Sign in or learn about subscription options.pp. 42-47
by Valerio Panzica La Manna, Joel Greenyer, Donato Clun, Carlo Ghezzi
Identifying Instances of Model Design Patterns and Antipatterns Using Model Clone DetectionFull-text access may be available. Sign in or learn about subscription options.pp. 48-53
by Matthew Stephan, James R. Cordy
Mining Correlations of ATL Model Transformation and Metamodel MetricsFull-text access may be available. Sign in or learn about subscription options.pp. 54-59
by Juri Di Rocco, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio
Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service DesignFull-text access may be available. Sign in or learn about subscription options.pp. 60-65
by Kai Niklas, Joel Greenyer, Kurt Schneider
Adding Temporal Intention Dynamics to Goal Modeling: A Position PaperFull-text access may be available. Sign in or learn about subscription options.pp. 66-71
by Alicia M. Grubb
Software Modelling Languages: A Wish ListFull-text access may be available. Sign in or learn about subscription options.pp. 72-77
by B. Henderson-Sellers, C. Gonzalez-Perez, O. Eriksson, P. J. Agerfalk, Greg Walkerden
DICE: Quality-Driven Development of Data-Intensive Cloud ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 78-83
by Giuliano Casale, Danilo Ardagna, Matej Artac, Franck Barbier, Elisabetta Di Nitto, Alexis Henry, Gabriel Iuhasz, Christophe Joubert, Jose Merseguer, Victor Ion Munteanu, Juan Fernando Perez, Dana Petcu, Matteo Rossi, Craig Sheridan, Ilias Spais, Daniel Vladuic
Author IndexFreely available from IEEE.pp. 84-84
Publisher's InformationFreely available from IEEE.pp. 86-86
Showing 23 out of 23