... As you say, it's a matter of opinion. I think Z is a mature, well established formal notation with a large user community (relative to the "large" formal
... Interesting but not sure how "Model-Driven Testing (MDT) process" relates to MBT. MBT needs to be at least somewhat independent of the development process
... IMHO not sure if Z (zed) is the right notation for a general user test tool - have you considered textual B? ... IMHO - this space is fully covered with
Hi, Antti is completely right that the numbers we measured at Microsoft for the 35-42% gain are about the entire process. This included problem study, test
Hi, Thats a really interesting post. Can you tell me though, is there a significant cost increase in generating a software model thats immediately suitable for