The model-driven book – 2nd edition (now also available via Springer)
Five years after the first edition, we are back with a completely revised version of our model-driven software engineering book. More than 90 institutions around the world use it to teach MDE!
GenMyModel – Real online modeling (or so they say)
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....
ATLTest – White box testing of (ATL) model 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 test models out of...
On verifying ATL transformations using ‘off-the-shelf’ SMT solvers
(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...
The Program is the Model: Enabling [email protected]
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...
EMF on Rails
Enjoy today's guest post on the new EMF on Rails by its creators: EMF on Rails is a model-driven process that automates the construction of domain-specific generators for web applications. This work was presented at the ICSOFT 2012 conference by Rosa López-Landa,...
Lyrical flowcharts
LucidChart (one of the most popular web-based modeling tools) is creating youtube videos showing popular songs modeled as flowcharts. As an example here you are the "Hey Jude" one Sure, we could discuss whehter flowcharts are the best way to model a song but let's not...
Body of Knowledge for software languages – SL(E)BOK
A call for action from Jean-Marie Favre regarding the constitution of a body of knowledge on language engineering: the SL(E)BOK. Enter Jean-Marie. Dear colleagues, As you might know (or not) that we are launching an ambitious project: creating a cartography of...
Extracting business rules out of Java – An MDE approach
Valerio Cosentino presented in the RuleML Symposium held in conjunction with ECAI 2012 (20th biennial European Conference on Artificial Intelligence) his work on the extraction of the business rules embedded in (Java) code (joint work with IBM France) Below, the...
MDE 2.0.: pragmatic model verification and other stories – Habilitation public lecture
I got my habilitation this week. Since some people have asked me for a copy of the slides or the habilitation thesis, I thought I could add them in the portal. Those that follow the portal or know the work of my team will NOT find any new scientific content (in...
The agile fever – yet another very dangerous fever
Alex Bell, who already alerted us about the dangers of the UML fever (see death by UML, are we immune now?, and check as well my own word of caution about the DSL fever, fear shared by others) has now "discovered" a new very dangerous type of fever, the agile fever....
Modeling: all you need to know
Recent Comments