·2,447,543篇论文数据,部分数据来源于NoteExpress
In a real environment, this would be another external component.
在实际环境中,它是另一个外部组件。
Post-conditions: Expected results after the execution of the external component.
后置条件: 执行外部组件后的预期结果。
Invariants: Conditions that must remain unchanged after the execution of the external component.
不变量:在执行了外部组件后维持不变的条件。
应用推荐