
SEET: Symbolic Execution of ETL Transformations
Find logical errors in model transformations by means of applying symbolic execution methods.
Find logical errors in model transformations by means of applying symbolic execution methods.
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 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
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
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!