SEET: Symbolic Execution of ETL Transformations
Find logical errors in model transformations by means of applying symbolic execution methods.
The Effect of Textual vs Graphical Representations on Software Design Communication
In a study that was published at MoDELS conference in 2018 [1], I reported the results of observing the development efforts of two Software Engineering projects that used Model-based approaches to develop software for two self-driving rovers. I found that most of the...
The MODA framework: Model-Driven Engineering for Data-Centric Systems
This article introduces a conceptual reference framework – the Models and Data (MODA) framework – to support a data-centric and model-driven approach for the integration of heterogeneous models and their respective data for the entire life-cycle of socio-technical systems.
A Body of Knowledge for Model-Based Software Engineering
A Body of Knowledge is a fundamental part of any professional discipline because it captures the knowledge that is inherent, sometimes tacit, and often explicit in a professional domain. We propose the MBEBoK as a BoK for the modeling discipline
Gadolinium: Monitoring Non-Functional Properties of REST APIs
Quality aspects of an API (availability, performance,…) are key aspects to take into account when deciding which API to choose. Our testing framework provides some insights on these non-functional properties as they are typically not disclosed
OpenAPI Bot: A Chatbot to Help You Understand REST APIs
Query API specifications in natural language. This chatbot will help you understand what you can do with a given OpenAPI-based API. Including some aspects difficult to get at first sight!
Modeling: all you need to know
