240 发简信
IP属地:山西
  • > 以前一直认为软件设计是一门艺术/匠艺,TLA+将把软件设计变为一门科学技术。很多行业在被科学攻克之前,都被认为是艺术,例如围棋。
    ---Cynefin模型有几分道理
    艺术就是混沌/复杂领域
    技术就是繁杂/简单领域

    如何用数学验证软件的正确性——TLA+学习总结

    作者:罗胜金版权声明:欢迎转载,请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得,分为道(理论)、法(方法)、术(技术)、器(工具)、用(案例)五个主要部分。 2...

  • 120
    如何用数学验证软件的正确性——TLA+学习总结

    作者:罗胜金版权声明:欢迎转载,请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得,分为道(理论)、法(方法)、术(技术)、器(工具)、用(案例)五个主要部分。 2...

  • 做正确的事与正确的做事,貌似前者更重要,但当你面临的是一个高度不确定的环境时,后者就成了关键。

    614838722896 评论自随笔
  • 120
    聊聊分布式事务

    前言 我们都知道数据库的事务满足"ACID"特性,A是指事务的原子性,C是指事务的一致性,I指事务的隔离性,D指持久性。最开始我们的数据量都很小,所有的数据都落在一个数据库中...

  • 120
    可视化与领域驱动设计

    从DDD的角度,领域逻辑的分析可以运用战略方法Bounded Context。可是,一个问题是:如何获得Bounded Context ? 我查看了许多关于Bounded C...