关于Family-oriented Abstraction ,Specification,Translation Process方法的小总结
昨天有幸听到了David Weiss大叔的讲座,觉得真的很好,不愧是大师,之前看论文找资料想不明白的问题,大叔几句话就说得通通透透,遂想记下听完的总结,大体梳理下FAST过程的脉络 学到的最重要的两点: Software Engineering ---> 就是不停的Make Decisions Module
原创
2011-12-26 20:00:42 ·
1281 阅读 ·
1 评论