問題タブ [nmodel]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
c# - 状態変数をNModelにカプセル化する方法は？
サーバーのチェーンに沿ったメッセージフローを表すモデルプログラムがあります。
もっとたくさんのメッセージがあります。各サーバーとメッセージタイプのEnabled（）ロジックは少し異なりますが、状態は似ているので、次のように記述してカプセル化します。
次に、カプセル化された状態をアクションで使用します。
ただし、NModelでは、この方法でオブジェクトを使用して状態を保持することはできません。チェーン内のサーバーごとに1つずつ、ブール値の繰り返しグループを定義することを回避できる他の方法はありますか？
haskell - 信頼できるコードについては、NModel、Spec Explorer、F# など?
単体テストを備えた C# のビジネス アプリがあります。NModel または Spec Explorer を使用して、信頼性を高め、テストの時間と費用を削減できますか? あるいは、F# (または Haskell) で書き直した場合、どのような種類の信頼性が (もしあれば) 向上するでしょうか?
コード契約？ASML?
これは主観的であり、おそらく議論の余地があることを認識しているため、可能であれば回答をデータでバックアップしてください. :) それとも、Eric Evans Cargo Shipping System のような実用的な例でしょうか?
考えると
単体テストは具体的で強力な定理であり、特定の「興味深いインスタンス」で準静的にチェックされ、型は一般的だが弱い定理 (通常は静的にチェックされる) であり、契約は一般的で強力な定理であり、実行中に発生する特定のインスタンスを動的にチェックします。通常のプログラム操作。(B. ピアースの「有害と見なされるタイプ」から)、
これらの他のツールはどこに適合しますか?
Java PathFinder、Scala などを使用して、Java について同様の質問をすることができます。