default search action
STAF Doctoral Symposium 2015: L'Aquila, Italy
- Martin Gogolla, Henry Muccini, Dániel Varró:
Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), L'Aquila, Italy, July 20, 2015. CEUR Workshop Proceedings 1499, CEUR-WS.org 2015 - Gennaro Vessio:
Reasoning about Properties with Abstract State Machines. 1-10 - Alessio Bucaioni:
Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering. 11-20 - Fábio Paulo Basso:
A Proposal for a Common Representation Language for MDE Artifacts and Settings. 21-31 - Ernesto Cid Brasil de Matos:
Complementing the B-Method with Model-Based Testing. 32-41 - Jóhan Davidsen:
Communication with Models. 42-49 - Eric Umuhoza:
Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps. 50-60
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: