卡尔.波普尔的理论能很好的解释目前的科学, 艺术, 政治, 社会等方面一般性的问题. 它对软件开发过程中一些显而易见的问题有着明确的答案. 比如, 我们都知道我们无法证明软件已经没有Bug, 用波普尔的话说就是: 科学理论都是假说, 爱因斯坦的竞争理论表明对牛顿理论的即使如海王星发现般严格的检验都不能确保其正确性, 即对白天鹅的一千次观察都不足以断言黑天鹅的不存在. 能否证伪是科

持续集成 Java手册一、概念Martin Fowler的文章：Continuous Integration  中文翻译：持续集成二、工具传统工具：JBuilder，VisualSourceSafe，Rational ClearCase自动编译工具：Ant回归测试工具：JUnit代码检查工具：CheckStyle持续集成工具：CruiseControl三、步骤

我们所开发的应用程序大多都需要提供一个图形用户界面(GUI). 关于GUI应用的架构设计, 已经有了很多模式, 比如Martin Fowler的blog中有一篇"GUI Architectures", 里面介绍了Form & Control, MVC, MVP, Passive View, Presentation Model, Supervising Controller, Event Aggr

综述本书以Lisp语言本身为例，完整而辨证的讲述了“计算机程序”的各种形而上形而下的问题：程序语言本身的要素（原语、组合手段、抽象手段）程序的计算模型（代换模型、环境模型，迭代、递归）程序的世界观（对象式、函数式）程序如何繁殖进化（元语言抽象）程序如何执行（编译、解释）同时阐述了程序设计中常用的几大关键技术：寄存器与堆栈的使用（目前多数计算机的基本抽象）数据导向与通用型计算（涉及高阶过程，数据与过