ประโยคภาษาจีน : 中文句子 |
---|
wèi le 为了 néng gòu 能够 biǎo dá 表达 xiāo xi 消息 de 的 yǔ yì 语义 yǐ jí 以及 tā men 它们 duì 对 xì tǒng 系统 zhuàng tài 状态 de 的 yǐng xiǎng 影响 wǒ men 我们 yǐn rù 引入 le 了 qián zhì 前置 tiáo jiàn 条件 hé 和 hòu zhì 后置 tiáo jiàn 条件 |
To be able to express semantics of messages and their effects on system state we introduced pre- and postconditions. |