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

2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)

May 26 2019 to May 27 2019

Montreal, QC, Canada

ISBN: 978-1-7281-2231-1

Table of Contents

[Title page i]Freely available from IEEE.pp. 1-1
[Title page iii]Freely available from IEEE.pp. 3-3
[Copyright notice]Freely available from IEEE.pp. 4-4
Table of contentsFreely available from IEEE.pp. 5-6
Message from the MiSE 2019 Workshop OrganizersFreely available from IEEE.pp. 7-7
MiSE 2019 Organizing CommitteeFreely available from IEEE.pp. 8-8
MiSE 2019 Program CommitteeFreely available from IEEE.pp. 9-9
Support for User Generated Evolutions of Goal ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 1-7
by Boyue Caroline Hu, Alicia M. Grubb
Detecting Emergent Behaviors and Implied Scenarios in Scenario-Based Specifications: A Machine Learning ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 8-14
by Munima Jahan, Zahra Shakeri Hossein Abad, Behrouz Far
Towards Web Collaborative Modelling for the User Requirements Notation Using Eclipse Che and Theia IDEFull-text access may be available. Sign in or learn about subscription options.pp. 15-18
by Rijul Saini, Shivani Bali, Gunter Mussbacher
Belief Uncertainty in Software ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 19-26
by Loli Burgueño, Robert Clarisó, Jordi Cabot, Sébastien Gérard, Antonio Vallecillo
Evaluating the Ability of Developers to Use Metamodels in Model-Oriented DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 27-34
by Thiago Gottardi, Rosana Teresinha Vaccare Braga
Generic Navigation of Model-Based Development ArtefactsFull-text access may be available. Sign in or learn about subscription options.pp. 35-38
by Hyacinth Ali, Gunter Mussbacher, Jörg Kienzle
A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 39-46
by Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Extracting Counterexamples from Transitive-Closure-Based Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 47-54
by Mitchell Kember, Lynn Tran, George Gao, Nancy Day
Modeling and Reducing the Attack Surface in Software SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 55-62
by George O.M. Yee
Feature Model for Extensions in Modeling LanguagesFull-text access may be available. Sign in or learn about subscription options.pp. 63-70
by Daniel Devine, Omar Alam
On the Difficulties of Raising the Level of Abstraction and Facilitating Reuse in Software Modelling: The Case for Signature ExtensionFull-text access may be available. Sign in or learn about subscription options.pp. 71-77
by Matthias Schöttle, Jörg Kienzle
MoCoP: Towards a Model Clone PortalFull-text access may be available. Sign in or learn about subscription options.pp. 78-81
by Önder Babur, Matthew Stephan
Model-Based Analysis of Serverless ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 82-88
by Stefan Winzinger, Guido Wirtz
Domain-Specific Languages for the Design, Deployment and Manipulation of Heterogeneous DatabasesFull-text access may be available. Sign in or learn about subscription options.pp. 89-92
by Dimitrios Kolovos, Fady Medhat, Richard Paige, Davide Di Ruscio, Tijs Van Der Storm, Sebastian Scholze, Athanasios Zolotas
Enabling Model-Driven Software Development Tools for the Internet of ThingsFull-text access may be available. Sign in or learn about subscription options.pp. 93-99
by Karim Jahed, Juergen Dingel
Author IndexFreely available from IEEE.pp. 101-101
Showing 23 out of 23