10 2014 档案

契约式设计（DbC）感想（二）
摘要：契约式设计6大原则的理解在《Design by Contract原则与实践》中，作者定义了契约式设计的6大原则：区分命令和查询；将基本查询和派生查询区分开；针对每个派生查询，设定一个后验条件，使用一个或多个基本查询的结果来定义它；对于每个命令都撰写一个后验条件，规定每个基本查询的值；对于每个查询和命... 阅读全文
posted @ 2014-10-28 21:15 Mr.Coder 阅读(468) 评论(0) 推荐(0)
契约式设计（DbC）感想（一）
摘要：契约式设计可以理解为正则编程的一种实践：如果用我的三脚猫能力将这种实践方法形式化的话，大致如下（如有不正确处，请不吝指正）：1、对于方法Method的precondition & postcondition： Function(RegularMthod) = ^ RegularFunctio... 阅读全文
posted @ 2014-10-25 22:10 Mr.Coder 阅读(1242) 评论(0) 推荐(1)
架构（Architecture）随想
摘要：架构(Architecture)的意义：先不要看什么是架构，先看下architect是什么，没有错，它是建筑师，在一块空地上build高楼大厦的人，它是一个designer，设计好整个大楼，也是一个superviser，监督好整个项目不偏离设计。切换到computing的小宇宙，它就是架构设计者，设... 阅读全文
posted @ 2014-10-12 10:58 Mr.Coder 阅读(294) 评论(0) 推荐(0)
软件工程管理的44个教训（译）
摘要：看到一篇文章，讲的不错，颇为实用，粗略翻译一下共享之。原作：http://www.defmacro.org/2014/10/03/engman.html＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝Do. 可为吸引、教养、训导、留住天才。和工程师们聊天，让他们早些将自己... 阅读全文
posted @ 2014-10-07 22:35 Mr.Coder 阅读(489) 评论(0) 推荐(0)
原来腾讯还出过一个开源项目libco
摘要：虽然只能在OpenSUSE上使用，还是应该赞一个的。 阅读全文
posted @ 2014-10-07 20:53 Mr.Coder 阅读(309) 评论(0) 推荐(0)