STAF Doctoral Symposium

Keyphrases

Publications

2015

Ernesto Cid Brasil de Matos
Complementing the B-Method with Model-Based Testing. STAF Doctoral Symposium (2015)
Gennaro Vessio
Reasoning about Properties with Abstract State Machines. STAF Doctoral Symposium (2015)
Jóhan Davidsen
Communication with Models. STAF Doctoral Symposium (2015)
Fábio Paulo Basso
A Proposal for a Common Representation Language for MDE Artifacts and Settings. STAF Doctoral Symposium (2015)
Eric Umuhoza
Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps. STAF Doctoral Symposium (2015)
Alessio Bucaioni
Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering. STAF Doctoral Symposium (2015)

volume 1499, 2015

Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), L'Aquila, Italy, July 20, 2015. STAF Doctoral Symposium 1499 (2015)