For example, Contract4J, a recently released contract enforcement tool, USES apt to generate aspects to enforce design-by-contract (DBC) contracts.

例如，一个最近发布的契约增强工具Contract4J使用apt生成某些方面，以增强契约式设计(dbc)的契约。

youdao

For example, Contract4J, a recently released contract enforcement tool, USES apt to generate aspects to enforce design-by-contract (DBC) contracts.

例如，一个最近发布的契约增强工具Contract4J使用apt生成某些方面，以增强契约式设计(dbc)的契约。

youdao