Tag Archives: descriptive complexity

Complexity Aware Modelling I

Posted on 2011 December 12 by modelpractice

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 8 Queens, abstraction, analysis, Complexity, complexity class, complexity theory, descriptive complexity, model, Modelling, Requirements, Requirements Engineering, software engineering | 6 Comments

Why finiteness counts

Posted on 2011 January 20 by modelpractice

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 abstraction, analysis, Complexity, computation, descriptive complexity, Finite Mathematics, Finite Model Theory, Finiteness, Hilbert, Hilbert's Hotel, Hotel, Immerman, infinity, model theory, Modelling, Neil Immerman | 11 Comments

The Future of Software Development

Posted on 2010 November 1 by modelpractice

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 abstraction, analysis, descriptive complexity, Finite Model Theory, future, Language, model, modeling, Requirements Modeling, software, software engineering, UML | Leave a comment

Tag Archives: descriptive complexity

Complexity Aware Modelling I

Why finiteness counts

The Future of Software Development

Modelling:

Twitter

Blogroll

Tags

On Modelling Theory, Abstraction Awareness and Complexity aware Modelling.

Meta