問題タブ [asml]

私には、「Gurevich Abstract State Machine」(以前は「進化代数」として知られていた) の概念は、システムの動作に確固たる基盤を提供する上で非常に有望に思えます。それは、データベースにとってのリレーショナル代数、つまり基礎となる理論的基礎である可能性があります。

私の知る限り、最も完全な実装は、.NET アセンブリを生成するMicrosoft ASML言語です。

誰かが実際にそれを作業コンテキストで使用していますか? そして、場合によっては、どの程度の成功を収めていますか？

他の人が共有できる成功事例があれば、もっと調査を開始したいと思います.

単体テストを備えた C# のビジネス アプリがあります。NModel または Spec Explorer を使用して、信頼性を高め、テストの時間と費用を削減できますか? あるいは、F# (または Haskell) で書き直した場合、どのような種類の信頼性が (もしあれば) 向上するでしょうか?

コード契約？ASML?

これは主観的であり、おそらく議論の余地があることを認識しているため、可能であれば回答をデータでバックアップしてください. :) それとも、Eric Evans Cargo Shipping System のような実用的な例でしょうか?

考えると

単体テストは具体的で強力な定理であり、特定の「興味深いインスタンス」で準静的にチェックされ、型は一般的だが弱い定理 (通常は静的にチェックされる) であり、契約は一般的で強力な定理であり、実行中に発生する特定のインスタンスを動的にチェックします。通常のプログラム操作。(B. ピアースの「有害と見なされるタイプ」から)、

これらの他のツールはどこに適合しますか?

Java PathFinder、Scala などを使用して、Java について同様の質問をすることができます。