Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-7, 2016 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Juan de Lara, Peter J. Clarke, Mehrdad Sabetzadeh, editors, Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-7, 2016. Volume 1725 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]

Conference: MoDELS2016

Abstract is missing.

NeoEMF: a Multi-database Model Persistence Framework for Very Large ModelsGwendal Daniel, Gerson Sunyé, Amine Benelallam, Massimo Tisi, Yoann Vernageau, Abel Gómez, Jordi Cabot. 1-7 [doi]

txtUMLGergely Dévay, Tibor Gregorics, Melinda Tóth, Domonkos Asztalos, Dávid János Németh, Gábor Ferenc Kovács, Boldizsár Németh, Zoltán Gera, András Dobreff, Balázs Gregorics, András Nagy, Martin Budai, Zsolt Kulik, Kristóf Kanyó. 8-15 [doi]

Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioToolsJoel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron. 16-23 [doi]

iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL ConstraintsHammad Muhammad, Tao Yue, Shaukat Ali, Shuai Wang. 24-31 [doi]

Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software SystemsHuafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun. 32-39 [doi]

SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL ConstraintsDjamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais. 40-47 [doi]

C Code Verification based on the Extended Labeled Transition System ModelDexi Wang, Chao Zhang, Guang Chen, Ming Gu, Jiaguang Sun. 48-55 [doi]

ArchFeature: A Modeling Environment Integrating Features into Product Line ArchitectureGharib Gharibi, Yongjie Zheng. 56-63 [doi]

Reifier: Model-Driven Engineering of Component-Based and Service-Oriented JEE ApplicationsJérôme Rocheteau, David Sferruzza. 64-71 [doi]

ModifRoundtrip: A Model-Based tool to reuse legacy transformationsPaola Vallejo, Jean-Philippe Babau, Mickaël Kerboeuf. 72-79 [doi]

Operators for Template-Based MDEMatthieu Allon. 80-86 [doi]

An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based SpecificationsJoel Greenyer, Daniel Gritzner. 87-93 [doi]

Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise ComputingAssaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel. 94-100 [doi]

runs on WebDSL