Error: Twitter did not respond. Please wait a few minutes and refresh this page.
Tag Archives: finite models
Modelling foundations: What does a simple diagram ‘thing – relation – thing’ say, in terms of logic? Continue reading
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