by Jordi Cabot | Oct 29, 2012 | quality, security
(work presented at MDsec’12 co-authored with Salvador Martínez, Joaquin García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia and myself). Network security policies constitute a critical concern when developing and maintaining corporate information systems....
by Jordi Cabot | Oct 25, 2012 | (meta)modeling, cloud & web engineering, code generation, tools
Check also the newest post on GenMyModel Thomas Legrand from Axellience presents today GenMyModel , a new web-based modeling tool (see other web-based modeling or drawing tools). Enter Thomas. GenMyModel is a real online modeling tool with code generation features....
by Jordi Cabot | Oct 18, 2012 | quality, transformations
Recently, at MODELS 2012, we (Jordi and myself, Carlos González) had the opportunity to present our work titled “ATLTest: A White-Box Test Generation Approach for ATL Model Transformations”. As the title suggests, it’s a technique to generate input...
by Jordi Cabot | Oct 10, 2012 | quality, transformations
(post by Fabian Büttner) Recently, at this year’s MODELS conference, we (Fabian, myself and Marina Egea) have presented first results on the verification of ATL transformations using SMT solvers. In a nutshell, our approach allows us to verify that a declarative ATL...
by Jordi Cabot | Oct 9, 2012 | tools, transformations
Jesús Sánchez describes today his approach for enabling [email protected]. Enter Jesús. The application of MDE to advanced scenarios is leading to a trend to use models at runtime as part of running systems. This requires interacting with functionality written...
Recent Comments