为什么软件开发方法论让你觉得糟糕
读后感:这篇文章介绍了软件开发方法论给软件开发者造成大的一些困扰。在讨论为什么IT业的技能很难被掌握和度量的问题时,心理学家给出了两个因素:一是环境不规律难以进行进行预测,二是IT行业的专业人员没有足够的时间去实践、掌握这些规律。也总结了出现糟糕的原因:环境是不规律的,做出变更与理解变更带来的结果之间的反馈过程太长了。所以我认为软件开发方法论不应该成为束缚开发者的牢笼,而是应该作为一个重要原则。
什么是形式化方法
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。