如果有人想多了解一下 Alloy，我推荐原作者 Daniel Jackson 写的这本书——《Software Abstractions》——https://www.amazon.com/Software-Abstractions-Logic-Language-...
If anyone is interested in learning more about Alloy, I would recommend this book by the author, Daniel Jackson - "Software Abstractions" - https://www.amazon.com/Software-Abstractions-Logic-Language-...
……步步深入的教材），所以可以把它当作了解一切“形式化”（Formal）知识的导引地图。它的信噪比（S/N ratio）极高（才大概 250 页！），所以遇到搞不懂的概念可以用 AI 或其他教材辅助理解。实操方面：1) Daniel Jackson 的《Software Abstractions: Logic, Language, and Analysis》——用“Alloy”语言来教结构化（即数据）建模。2) 《Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers》……
…step-by-step textbook) so use this as a map for everything "Formal". The S/N ratio is very high (~250 pages only!) so use AI/Textbooks to help explain concepts you find difficult to understand. Practical: 1) Software Abstractions: Logic, Language, and Analysis by Daniel Jackson - Uses "Alloy" language to teach Structural (i.e. Data) Modeling. 2) Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers…
Alloy（以及它背后的理念）在 Daniel Jackson 的《Software Abstractions》一书中有详细讲解，讲规约（specification）与验证（在规约层面）技术，读起来非常过瘾。
Alloy (and the philosophy it is based on) is explained in Daniel Jackson's book <<Software Abstractions>>, which is a very nice book to read on techniques of specification and verification (at the specification level).
我买了 Daniel Jackson 的《Software Abstractions: Logic, Language and Analysis》。它彻底探讨了 Alloy 软件和方法论的方方面面。不得不说这是我读过的最好的软件类书籍之一。它把关系建模讲得非常透彻……
I bought Daniel Jackson's book Software Abstractions: Logic, Language and Analysis. It thoroughly discusses all aspects of Alloy software and methodology. I have to say it is one of the best software book I've ever read. It covers relational modelling thoroughly…
我这周早些时候看了那个，目前正在啃 Jackson 的《Software Abstractions》。Alloy 目前依然处于“这玩意让我觉得自己像个傻子”的阶段，但我觉得它还是学得会的。我很喜欢它对迭代开发的强调。
I watched that earlier this week, and have been making my way through the Software Abstractions book by Jackson. Alloy's still in the "this thing makes me feel stupid" territory, but it does feel learn-able to me. I really like the emphasis on iterative development.
如果有人想多了解一下 Alloy，我推荐原作者 Daniel Jackson 写的这本书——《Software Abstractions》——https://www.amazon.com/Software-Abstractions-Logic-Language-...
If anyone is interested in learning more about Alloy, I would recommend this book by the author, Daniel Jackson - "Software Abstractions" - https://www.amazon.com/Software-Abstractions-Logic-Language-...
……步步深入的教材），所以可以把它当作了解一切“形式化”（Formal）知识的导引地图。它的信噪比（S/N ratio）极高（才大概 250 页！），所以遇到搞不懂的概念可以用 AI 或其他教材辅助理解。实操方面：1) Daniel Jackson 的《Software Abstractions: Logic, Language, and Analysis》——用“Alloy”语言来教结构化（即数据）建模。2) 《Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers》……
…step-by-step textbook) so use this as a map for everything "Formal". The S/N ratio is very high (~250 pages only!) so use AI/Textbooks to help explain concepts you find difficult to understand. Practical: 1) Software Abstractions: Logic, Language, and Analysis by Daniel Jackson - Uses "Alloy" language to teach Structural (i.e. Data) Modeling. 2) Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers…
Alloy（以及它背后的理念）在 Daniel Jackson 的《Software Abstractions》一书中有详细讲解，讲规约（specification）与验证（在规约层面）技术，读起来非常过瘾。
Alloy (and the philosophy it is based on) is explained in Daniel Jackson's book <<Software Abstractions>>, which is a very nice book to read on techniques of specification and verification (at the specification level).
我买了 Daniel Jackson 的《Software Abstractions: Logic, Language and Analysis》。它彻底探讨了 Alloy 软件和方法论的方方面面。不得不说这是我读过的最好的软件类书籍之一。它把关系建模讲得非常透彻……
I bought Daniel Jackson's book Software Abstractions: Logic, Language and Analysis. It thoroughly discusses all aspects of Alloy software and methodology. I have to say it is one of the best software book I've ever read. It covers relational modelling thoroughly…
我这周早些时候看了那个，目前正在啃 Jackson 的《Software Abstractions》。Alloy 目前依然处于“这玩意让我觉得自己像个傻子”的阶段，但我觉得它还是学得会的。我很喜欢它对迭代开发的强调。
I watched that earlier this week, and have been making my way through the Software Abstractions book by Jackson. Alloy's still in the "this thing makes me feel stupid" territory, but it does feel learn-able to me. I really like the emphasis on iterative development.