Summary of my invited talk at the RuleML+RR conference where I discussed why rules are not first-class citizens in software engineering and why this has to change to keep up with the demands of big data and open data.
Revisiting all aspects of model-driven engineering (application, teaching, verification , tooling, research,…) promoting a lightweight perspective to maximize MDE success and adoption
A human judge examines the code generated by one programmer and one code-generation tool for the same formal specification. If the judge cannot reliably tell the tool from the human, the tool is said to have passed the test
