Finally, this paper gives an analysis by an example of a formal specification based on invoice computing.

最后对基于票据计算的形式规格说明的例子进行了分析。

youdao

The invoice management module described by this paper consists of five use cases, including registering product, deleting product, updating product, appending price record, generating bill.

本文中所描述的开票管理模块包括了记录产品，删除产品，更新产品信息，增加价格记录，清单生成五个用例。

youdao