第一篇文章：开个头吧，我是搞软工的，希望把自己的思路写出来，大家一起学习了。

要说的太多，反正MDA是我的很看重的技术，虽然现在大家对它还持怀疑态度，不过我还是很希望它能出点名堂的。我们上课时有位李老师是搞形式化的专家，他提出软件就是specification的理论，只需要做需求，而不用考虑如何做，这样的想法和我们实践中提出的MDA是不谋而合的。所以我认为数理逻辑Institution一条路，实践MDA一条路，都是可以走走的。