我的起点是Alloy(规格语言),需要在案例研究基础上做一些进一步的工作,这方面的情况见此(编码见第5页)。 相关守则:

完整的规格: 我想谈谈这一点。

我似乎无法在管理小组网站上找到一个网站。