Spec Explorer的历史

Spec Explorer团队的架构师Wolfgang在自己的博客上有一篇关于Spec Explorer历史的文章，介绍了Spec Explorer与Asml，Spec#，NModel等工具的关系。有兴趣的朋友可以浏览一下。