Vol-1530⫷ Vol-1531 ⫸Vol-1532
urn:nbn:de:0074-1531-0

Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

MoDELS-DS 2015
Doctoral Symposium at MoDELS 2015

Proceedings of the Doctoral Symposium at the 18th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2015 ( MoDELS 2015 )

Ottawa, Canada, September 29, 2015 .

Edited by

Dimitris Kolovos *
Marsha Chechik **

* Department of Computer Science , University of York, UK
** Department of Computer Science , University of Toronto, Canada

Table of Contents

Preface

A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking
Ghanem Soltana
Integrating Formal Methods with Model-Driven Engineering
Opeyemi Adesina
Privacy Requirement Modeling and Verification in Cloud Computing
Jin Wang
Multi-Perspective Modeling and Performance Analysis of Software Product Lines
Matthias Kowal
Debugging Models in the Context of Automotive Software Development
Lars Stockmann
Extended Traits for Model Driven Software Development
Vahdat Abdelzad
Optimizing the Symbolic Execution of Communicating and Evolving State Machines
Amal Khalil
A Flexible Approach for Adding Middleware Completions to Software Performance Models
Adnan Faisal
Towards Integration of Modeling Methods for Cyber-Physical Systems
Ivan Ruchkin

2015-12-08: submitted by Dimitris Kolovos, metadata incl. bibliographic data published under Creative Commons CC0
2015-12-09 : published on CEUR-WS.org | valid HTML5 |