Tag Archives: descriptive complexity

Complexity Aware Modelling I

Wow – I discovered that beyond the actual technology there is something called business logic, and – most surprising – it was not trivial! (on Complexity Aware Modelling) Continue reading

Posted in Model Thinking, Software_Engineering | Tagged , , , , , , , , , , , | 6 Comments

Why finiteness counts

To study computation we need a theory of finite structures. Neil Immerman’s quotation, illustrated by Hilbert’s hotel. Continue reading

Posted in Mathematics | Tagged , , , , , , , , , , , , , , , | 11 Comments

The Future of Software Development

We lack tools or languages to express and reason about these distributed, extended, fragmented systems. This can be achieved by modeling. Continue reading

Posted in Software_Engineering | Tagged , , , , , , , , , , , | Leave a comment