> 以前一直认为软件设计是一门艺术/匠艺,TLA+将把软件设计变为一门科学技术。很多行业在被科学攻克之前,都被认为是艺术,例如围棋。
---Cynefin模型有几分道理
艺术就是混沌/复杂领域
技术就是繁杂/简单领域
如何用数学验证软件的正确性——TLA+学习总结作者:罗胜金版权声明:欢迎转载,请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得,分为道(理论)、法(方法)、术(技术)、器(工具)、用(案例)五个主要部分。 2...
> 以前一直认为软件设计是一门艺术/匠艺,TLA+将把软件设计变为一门科学技术。很多行业在被科学攻克之前,都被认为是艺术,例如围棋。
---Cynefin模型有几分道理
艺术就是混沌/复杂领域
技术就是繁杂/简单领域
如何用数学验证软件的正确性——TLA+学习总结作者:罗胜金版权声明:欢迎转载,请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得,分为道(理论)、法(方法)、术(技术)、器(工具)、用(案例)五个主要部分。 2...
作者:罗胜金版权声明:欢迎转载,请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得,分为道(理论)、法(方法)、术(技术)、器(工具)、用(案例)五个主要部分。 2...
做正确的事与正确的做事,貌似前者更重要,但当你面临的是一个高度不确定的环境时,后者就成了关键。
前言 我们都知道数据库的事务满足"ACID"特性,A是指事务的原子性,C是指事务的一致性,I指事务的隔离性,D指持久性。最开始我们的数据量都很小,所有的数据都落在一个数据库中...
从DDD的角度,领域逻辑的分析可以运用战略方法Bounded Context。可是,一个问题是:如何获得Bounded Context ? 我查看了许多关于Bounded C...