| ·有条理的： | 一个实体是逻辑上有序的并且具有一个可辨别的含意。对于文档,这既处理实际的文本又处理文
档的结构,取决于它是否能为目标读者所理解。 |
| ·完备的： | 一个实体的所有必需部分都已提供。在文档方面,这意味着所有相关信息都包含在该文档中,且其
详
细程度达到在此抽象程度上不再需要进一步解释的水平。 |
| ·确认： | 这个术语用来表明某些事情需要在细节上进行复查,并且需要对其充分性作出独立的判断。所需
的严格程度取决于主题的性质,这个术语仅适用于评估者行为。 |
| ·-致的： | 这个术语描述两个或者更多实体之间的关系,表明这些实体之间没有明显的矛盾。 |
| ·对抗： | 这个术语主要用在一个特殊威胁的影响被减轻但不必被根除的情况下。 |
| ·证实： | 这个术语指一个可得出结论的分析,它不如“证明”严格。 |
| ·描述： | 这个术语要求提供-十实体确定的特定细节。 |
| ·决定： | 这个术语要求作出一个独立的分析,以获得一个特定的结论,这个术语的用不法不同于“确认”或者
“验证”,因为后两者意味者分析已经完成而只需要复查,而“决定”意味着通常在没有进行任何分析的情
况下作出一个真正独立的分析。 |
| ·彻底的： | 本部分中使用这个术语与分析或者其他活动的引导有关。它与“系统的”有关,但是相对更强一
些.它表明不仅要根据一个明确的计划,采取系统化的方法实施分析或其他活动,而且所依据的计划足
以
保证所有可能的途径都已被运用。 |
| ·解释： | 这个术语不同于“描述”和“证实”,它旨在回答“为什么?”,而不试图争辩所采取的行动方式是必然
最佳的。 |
| ·内在-致的： | 实体的任何方面之间没有明显的矛盾。在文档方面,这意味着文档中的陈述不存在自相矛盾
的
地方: |
| ·证明： | 这个术语指一个可得出结论的分析,但是比“证实”更严格。这个术语在非常仔细和彻底地解释一
个逻辑论点的每一步方面要求十分严格。 |
| ·相互支持的： | 这个术语描述一组实体之间的相互关系,表明实体占有的资源不与其他实体相冲突,甚至可能辅助
其他实体完成具任务。并不需要判断每一个独立实体是否直接支持所在组中的其他实体,而是一个更
具一般意义的叛断。 |
| ·严格证明： | 指在数学意义上的一个形式化分析。在各个方面都是非常严格的。典型地讲,“严格证明”主要用
于期望在高严格程曠上展示两个TSF表示之间的对应关系的。 |
| ·规定： | 这个术语的使用情况与“描述”一样,但更严格和更准确。它十分类似于“定义”。 |
| ·追溯： | 这个术语用来表明在两个实体之间所要求的一种最低严格程的非形式化对应 |
| ·验证： | 这个术语的用法类似于“确认”,但是有更严格的含义。当这个术语用于评估者行为时,表明要求评
估
者独立地作出努力。 |
| ·有条理的： | 一个实体是逻辑上有序的并且具有一个可辨别的含意。对于文档,这既处理实际的文本又处理文
档的结构,取决于它是否能为目标读者所理解。 |
| ·完备的： | 一个实体的所有必需部分都已提供。在文档方面,这意味着所有相关信息都包含在该文档中,且其
详
细程度达到在此抽象程度上不再需要进一步解释的水平。 |
| ·确认： | 这个术语用来表明某些事情需要在细节上进行复查,并且需要对其充分性作出独立的判断。所需
的严格程度取决于主题的性质,这个术语仅适用于评估者行为。 |
| ·-致的： | 这个术语描述两个或者更多实体之间的关系,表明这些实体之间没有明显的矛盾。 |
| ·对抗： | 这个术语主要用在一个特殊威胁的影响被减轻但不必被根除的情况下。 |
| ·证实： | 这个术语指一个可得出结论的分析,它不如“证明”严格。 |
| ·描述： | 这个术语要求提供-十实体确定的特定细节。 |
| ·决定： | 这个术语要求作出一个独立的分析,以获得一个特定的结论,这个术语的用不法不同于“确认”或者
“验证”,因为后两者意味者分析已经完成而只需要复查,而“决定”意味着通常在没有进行任何分析的情
况下作出一个真正独立的分析。 |
| ·确保： | 使用这个术语意味着行为和其结果之间有很强的因果关系。通常在该术语前面加“帮助”一词,表
明仅仅基于行为,结果不是完全可靠的。 |
| ·彻底的： | 本部分中使用这个术语与分析或者其他活动的引导有关。它与“系统的”有关,但是相对更强一
些.它表明不仅要根据一个明确的计划,采取系统化的方法实施分析或其他活动,而且所依据的计划足
以
保证所有可能的途径都已被运用。 |
| ·解释： | 这个术语不同于“描述”和“证实”,它旨在回答“为什么?”,而不试图争辩所采取的行动方式是必然
最佳的。 |
| ·内在-致的： | 实体的任何方面之间没有明显的矛盾。在文档方面,这意味着文档中的陈述不存在自相矛盾
的
地方: |
| ·证明： | 这个术语指一个可得出结论的分析,但是比“证实”更严格。这个术语在非常仔细和彻底地解释一
个逻辑论点的每一步方面要求十分严格。 |
| ·相互支持的： | 这个术语描述一组实体之间的相互关系,表明实体占有的资源不与其他实体相冲突,甚至可能辅助
其他实体完成具任务。并不需要判断每一个独立实体是否直接支持所在组中的其他实体,而是一个更
具一般意义的叛断。 |
| ·严格证明： | 指在数学意义上的一个形式化分析。在各个方面都是非常严格的。典型地讲,“严格证明”主要用
于期望在高严格程曠上展示两个TSF表示之间的对应关系的。 |
| ·规定： | 这个术语的使用情况与“描述”一样,但更严格和更准确。它十分类似于“定义”。 |
| ·追溯： | 这个术语用来表明在两个实体之间所要求的一种最低严格程的非形式化对应 |
| ·验证： | 这个术语的用法类似于“确认”,但是有更严格的含义。当这个术语用于评估者行为时,表明要求评
估
者独立地作出努力。 |