default search action
2nd PAME / 5th VOLT@MoDELS 2016: Saint-Malo, France
- Hüseyin Ergin, Richard F. Paige, Eugene Syriani, Steffen Zschaler, Moussa Amrani:
Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, PAME/VOLT 2016, co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016. CEUR Workshop Proceedings 1693, CEUR-WS.org 2016
PAME: Second International Workshop on Patterns in Model Engineering
- Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel:
Towards the integration of security patterns in UML component-based applications. 2-6 - Vincent Leilde, Vincent Ribaud, Philippe Dhaussy:
Model-based diagnosis patterns for model checking. 7-12 - Mathias Kühn, Peter Forbrig:
Applying UI patterns for modeling dialogs. 13-17
VOLT: Fifth International Workshop on the Verification of Model Transformation
- Moussa Amrani, Pierre-Yves Schobbens:
Real-time model-driven engineering: an overview. 18-27 - Kevin Lano, Sobhan Yassipour Tehrani:
Verified bidirectional transformations by construction. 28-37 - Zheng Cheng, Massimo Tisi:
Towards incremental deductive verification for ATL. 38-47 - Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla:
Generating effective test suites for model transformations using classifying terms. 48-57 - Roberto Rodríguez-Echeverría, Fernando Macías, Adrian Rutle:
On reducing model transformation testing overhead. 58-67
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.