摘要: 1 实验目标概述 本次实验训练抽象数据类型(ADT)的设计、规约、测试,并使用面向对象 编程(OOP)技术实现 ADT。具体来说: l 针对给定的应用问题,从问题描述中识别所需的 ADT; l 设计 ADT 规约(pre-condition、post-condition)并评估规约的质量; l 根据 阅读全文
posted @ 2023-05-14 20:31 dfhkjsbc 阅读(61) 评论(0) 推荐(0)
摘要: 1 实验目标概述 本次实验训练抽象数据类型(ADT)的设计、规约、测试,并使用面向对象 编程(OOP)技术实现 ADT。具体来说: l 针对给定的应用问题,从问题描述中识别所需的 ADT; l 设计 ADT 规约(pre-condition、post-condition)并评估规约的质量; l 根据 阅读全文
posted @ 2023-05-14 20:29 dfhkjsbc 阅读(36) 评论(0) 推荐(0)