我对形式化方法很感兴趣。我使用形式化方法来推理一些我一直在做的项目中的一些非常具体的子领域。我从未能够说服其他团队成员尝试相同的方法，更不用说使用形式化方法来指定整个领域了。 我发现特别有趣的一种方法是Alloy。我认为它可能更适合作为整个项目的基础，因为它在概念上和符号表达法上非常接近实际...

这是一份作业，我遇到了很多困难。我正在使用Alloy来对图书馆进行建模。以下是对象的定义： sig Library { patrons : set Person, on_shelves : set Book, } sig Book { authors : set P...