正确性驱动建模:用TLA+设计系统
中兴通讯资深系统架构师,17年软件系统设计、架构经验。国内敏捷方法最早的践行者。敏捷领域两本重要著作《平衡敏捷与规范》以及《敏捷软件开发:原则、模式与实践(C#)》译者。曾领导过高性能海量数据存储引擎、下一代波分系统架构等设计工作。目前致力于TLA+的推广和应用,以提升设计和产品质量。
播放 20823 次
需要登录后才能对视频进行评论。
评论
推荐课程
回复失败!
回复成功!