Vol-1498⫷ Vol-1499 ⫸Vol-1500
urn:nbn:de:0074-1499-4

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.

STAF-DS 2015
STAF 2015 Doctoral Symposium

Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference ( STAF 2015 )

L'Aquila, Italy, July 20, 2015 .

Edited by

Martin Gogolla *
Henry Muccini
Dániel Varró *

* University of Bremen , PO Box 330440, D-28334 Bremen, Germany
** Università degli Studi dell'Aquila , Via Vetoio, Coppito, 67100 L'Aquila, Italy
*** Budapest University of Technology and Economics , Muegyetem rkp. 3, 1111 Budapest, Hungary

Table of Contents

Preface

All contributions

Reasoning about Properties with Abstract State Machines 1-10
Gennaro Vessio
Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering 11-20
Alessio Bucaioni
A Proposal for a Common Representation Language for MDE Artifacts and Settings 21-31
Fábio Paulo Basso
Complementing the B-Method with Model-Based Testing 32-41
Ernesto Cid Brasil de Matos
Communication with Models 42-49
Jóhan Davidsen
Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps 50-60
Eric Umuhoza

2015-11-03: submitted by Dániel Varró, metadata incl. bibliographic data published under Creative Commons CC0
2015-11-03 : published on CEUR-WS.org | valid HTML5 |