Tag Archives: analysis

Computational Artefacts and Software Requirements

What if the intention of a technical artefact is not at all physical, but solely logical? Continue reading

Posted in Epistemology, Requirements | Tagged , , , , , , , , , , , , , , , | 4 Comments

Separation of Analysis & Design wrt. Abstraction

Summing up separation of concerns of analysis and design wrt. abstraction, inspired by: Turner (2018) Computational Artifacts. Continue reading

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

Complexity Awareness is Cost Awareness

If “engineering is producing an artifact to cost”, then how can modelling contribute to it? Continue reading

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

Complexity Aware Modelling II

Complexity aware people are able to recognize complexity, and regard it over things like size. How do they recognise? Mainly by modelling! Continue reading

Posted in Mathematics, Model Thinking | Tagged , , , , , , , , , | 3 Comments

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

Model Transformation in Analysis

An analyst has two main ways of making use of Model Transformation in requirements analysis: applying rules to models and keeping views consistent. Continue reading

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

Are your Requirements complete?

Completeness is one big issue in requirements engineering. Here’s how this can be approached by systematic analysis. To me this is already a basic application of modeling and its benefits. Continue reading

Posted in Epistemology, Software_Engineering | Tagged , , , , , , , , , , , | 3 Comments

Meanings of “Model”

On the different usages of ‘model’ in the sense of Business Process Model or Entity Relationship Model, and in mathematical Model Theory.

Continue reading

Posted in Epistemology | Tagged , , , , , , , , , , , | 8 Comments

Reader Acceptance of Models

Modeling trade-off: new language to learn, but easy to use the power of graphical notation. Continue reading

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

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