综合知识
真题
(2023年下半年)
()设计规定软件设计人员应为软件组件定义正式、精确和可验证的接口规范,该规范应使用前提条件、后置条件和不变式来扩展抽象数据类型的普通定义。