240 发简信
IP属地:澳门
  • 120
    001 设计的价值与未来

    序无利不起早。1月23日4:30起来赶高铁去上海,就是为了听邓辉和孙鸣老师的课。邓辉老师讲了两个主题《设计的价值与未来》和《从问题到系统》,孙鸣老师讲的是《正确性驱动建模:用...

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

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