随笔分类 -  思考

摘要：契约式编程是编程的一种方法。那么什么是契约式编程呢？我想这个概念是从“合同”演变过来的。 在人类的社会活动中，契约一般是用于两方，一方（供应者）为另一方（客户）完成一些任务。每一方都期待从契约中获得利益，同时也要接受一些义务。通常，一方视为义务的对另一方来说是权利。契约文档要清楚地写明双方的权利与义务。契约合同能保障双方的利益，对客户来说，合同规定了供应者要做的工作；对供应者来说，合同说明了如果约定的条件不满足，供应者没有义务一定要完成规定的任务。 同样的道理也适合于软件。设想一个软件单元E。它要达到它的目的（履行契约）， E使用的策略可能会包括一系列的子任务，t1, ... tn。如... 阅读全文

摘要：原文:http://www.cnblogs.com/bitfan/archive/2011/03/13/1982744.html“智商平平”学软件金旭亮前几天收到了一个在职普通程序员的邮件，在邮件中他说两次报考我们学校计算机专业研究生，但总是惨败而回，第1年总分考了250，砸在政治和数学上，努力复习了一年，又是砸在数学上，总分才285……。我几乎能真切地体会到他那种沮丧和不甘心——为什么我经过一年的辛苦努力，却还是原地踏步并在同一个地方跌倒两次？同样的疑问我也曾经问过自己无数遍，因为我也是连续考研三次才通过的。我是一个“智商平平”的人，但还算比较努力，有幸“混入”高校，成了一名讲授软件开发技术 阅读全文