Error: Twitter did not respond. Please wait a few minutes and refresh this page.
Tag Archives: axiomatizable
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