什么是具体化？ -技术百科的定义

定义-定义是什么意思？

验证是一个过程，在此过程中，可以将有关计算机应用程序的抽象概念转换为对象或显式数据模型。 换句话说，具体化有助于将未表达的，隐含的想法转换为概念或逻辑上的想法。 修复是知识表示和概念分析中使用最广泛的过程之一。

技术百科解释了修正

数据优化在某些方面与数据优化相似，但数据优化过程更侧重于具体化概念而非优化概念。 当涉及数据优化时，细化包括查找抽象数据类型更具体表示的步骤，这是使用标准规范完成的。 数据化有助于降低抽象数据类型的级别以及操作建模中涉及的抽象。 在概念建模中，关系化使查看成为一个实体成为可能。 固定关系的唯一目的是通过添加附加信息使它变得明确。

从编程语言的上下文来看，验证是通过语言本身来表示运行时环境中较早隐式的程序或编程语言的任何方面的方法。 这使得所有先前隐含的方面都可以用作普通数据进行检查。 迄今为止，已经以许多编程语言实现了修正，即使是部分形式也是如此。 例如，Java使用在运行时完全可用的“可验证类型”。 在C编程中可以修改内存地址的低级详细信息。 Smalltalk编程语言允许对消息进行验证。