occupation
unclassified
description
软件设计与正确性工程技能，把"代码为什么是对的"变成可写、可证、可测的工程实践。 覆盖规范与契约(前置/后置条件)、霍尔逻辑与循环不变量、抽象数据类型(表示不变量 RI / 抽象函数 AF)、子类型与相等性(Liskov 替换、__eq__/__hash__ 契约)、泛型与变型、 设计模式，以及用现代 Python(类型注解、dataclass、pytest/hypothesis 属性测试) 实现正确软件。当用户需要编写/审查/证明软件正确性、写规范或契约、设计抽象数据类型、 做属性测试、讨论继承与相等性、或问及…
Source text: Chinese
updated