问题标签 [asml]

对我来说，“Gurevich 抽象状态机”（以前称为“进化代数”）的概念似乎很有希望为系统行为提供坚实的基础。它可能是数据库的关系代数：潜在的理论基础。

据我所知，最完整的实现是生成 .NET 程序集的 Microsoft ASML语言。

有人真的在工作环境中使用它吗？而且，以防万一，成功程度如何？

如果其他人有成功的故事可以分享，我真的很想开始进行更多调查。

我有一个 C# 商业应用程序，带有单元测试。我可以通过使用 NModel 或 Spec Explorer 来提高可靠性并减少测试时间和费用吗？或者，如果我用 F#（甚至 Haskell）重写它，我会看到什么样的（如果有的话）可靠性增加？

代码合同？阿斯麦?

我意识到这是主观的，可能是有争议的，所以如果可能的话，请用数据来支持你的答案。:) 或者也许是一个可行的例子，例如 Eric Evans Cargo Shipping System？

如果我们考虑

单元测试是具体的强定理，对特定的“有趣的实例”进行准静态检查，类型是一般但弱的定理（通常静态检查），合同是一般和强定理，动态检查发生在常规程序运行。（来自 B. Pierce 的认为有害的类型），

这些其他工具在哪里适合？

我们可以使用 Java PathFinder、Scala 等为 Java 提出类似的问题。