D&P@MoDELS

Publications

2016

Gwendal Daniel, Gerson Sunyé, Amine Benelallam, Massimo Tisi, Yoann Vernageau, Abel Gómez, Jordi Cabot
NeoEMF: a Multi-database Model Persistence Framework for Very Large Models. D&P@MoDELS (2016)
Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais
SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints. D&P@MoDELS (2016)
Jérôme Rocheteau, David Sferruzza
Reifier: Model-Driven Engineering of Component-Based and Service-Oriented JEE Applications. D&P@MoDELS (2016)
Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron
Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. D&P@MoDELS (2016)
Gharib Gharibi, Yongjie Zheng
ArchFeature: A Modeling Environment Integrating Features into Product Line Architecture. D&P@MoDELS (2016)
Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel
Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing. D&P@MoDELS (2016)
Gergely 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ó
txtUML. D&P@MoDELS (2016)
Dexi Wang, Chao Zhang, Guang Chen, Ming Gu, Jiaguang Sun
C Code Verification based on the Extended Labeled Transition System Model. D&P@MoDELS (2016)
Joel Greenyer, Daniel Gritzner
An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications. D&P@MoDELS (2016)
Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun
Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. D&P@MoDELS (2016)
Hammad Muhammad, Tao Yue, Shaukat Ali, Shuai Wang
iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints. D&P@MoDELS (2016)
Paola Vallejo, Jean-Philippe Babau, Mickaël Kerboeuf
ModifRoundtrip: A Model-Based tool to reuse legacy transformations. D&P@MoDELS (2016)
Matthieu Allon
Operators for Template-Based MDE. D&P@MoDELS (2016)

volume 1725, 2016

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. D&P@MoDELS 1725 (2016)