### Modelling:

### Tweets

- At #REFSQ19: Lot about auto extraction requirements from docs etc. Almost nothing about closer stakeholder interact… twitter.com/i/web/status/1… 2 months ago
- @KimStacks @PapaChrisMatts 2. no overall model, i.e. no shared understanding of the big dependencies 3. open to further reseach :o) 3 months ago

# Tag Archives: finite models

## A simple relational Model

Modelling foundations: What does a simple diagram ‘thing – relation – thing’ say, in terms of logic? Continue reading

## Reflections on Abstractions: Cases vs Models

We describe by simple means of basic Finite Model Theory a very important principle in software engineering: modelling properties is more expressive than just collecting cases. This, for example, is the reason why test cases can be derived from specifications but not vice versa. Continue reading

Posted in Mathematics, Reflections on Abstractions
Tagged abstraction, abstraction awareness, axiomatizable, Case, Finite Model Theory, finite models, formal methods, intentional programming, model, model theory, modeling, modeling theory, refinement, reflections on abstractions, ROA, specification, Test
Leave a comment