中国大学MOOC: 理论是对抽象和设计内容进行严格定义及严密化论证的过程。本讲中主讲教师将其简化为“定义->性质（公理、定理）->证明”的过程。这个过程的具体工作内容是________。
举一反三
- 中国大学MOOC: 设计是构建软件系统的过程，是技术、原理在软件系统中实现的过程。本讲中主讲教师将其简化为“形式->构造->自动化”的过程。下列关于该过程的描述中有误的是________。
- 中国大学MOOC: 本讲中主讲教师介绍了面向对象软件设计过程及设计要素与设计符号，以下关于这些要素和符号说法有误的是________。
- 本讲中主讲教师提到软件设计过程包括了总体设计（概要设计）和详...中，不属于详细设计的是________。
- 中国大学MOOC: 本讲中主讲教师提到软件设计过程包括了总体设计（概要设计）和详细设计，前者主要对系统模块间的关系进行设计，后者主要对模块内部的具体逻辑进行详细的设计。那么在面向功能/过程的结构化软件设计过程中，不属于详细设计的是________。
- 在经验层次对概念进行操作定义是______ A: 概念化过程 B: 测量过程 C: 抽象过程 D: 操作化过程