### Modelling:

### Tweets

- RT @softmodeling: See what's new in the 2nd edition of our "Model-Driven Software Engineering in Practice" book buff.ly/2phpxqu #bo… 1 week ago
- RT @onierstrasz: Woohoo! Smalltalk is the #2 "most loved programming language", according to the 2017 StackOverflow developer survey! https… 1 month ago

# Tag Archives: Test

## 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

## Models and Cases

What are the next letters in this sequence?

O O T T F F S S E

Continue reading

Posted in Mathematics
Tagged 0123456789, abstraction, Bertrand Meyer, Case, emergence, model based, modeling, Principle, sequence, specification, supervenience, Test, test driven, what are the next
1 Comment