Aim, Relevance, Methods, Results, and Evidence in IceDust Research

Daco Harkes

Information system engineering is challenging as it is non-trivial to build information systems that are validatable, traceable, reliable, available, modifiable and performant at the same time. The aim of the IceDust research is to address these challenges in information system engineering. The combination of these challenges limits the scope to reactive or incremental computing, and domain-specific languages.

The overal research methodology used in IceDust research is design-oriented research. We follow the iterative design-research process: analysis, design, evaluation, and diffusion. All individual research papers are iterations in this process and detail state-of-the-art approaches with their problems, design decisions which are contrasted with related work, a language formalization and implementation, and case studies with benchmarks.

The contributions in IceDust research are new DSLs and DSL features. For each of these we claim its feasibility and usefulness. For each claim we provide appropriate evidence and the methodology used to obtain this evidence.

---

Previous: Michael Steindorfer | To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries
Next: Hendrik van Antwerpen | Statix - Typechecking with Scope Graphs and Constraints