Spec＃は安定して使用できますか？ [閉まっている]

Question

ここで誰かがSpec＃を定期的に使用していますか？どこでも使い始める前に、それが十分に安定していて強力かどうかを知りたいです。 構文がc＃4.0に影響を与えているように見えるため、4.0がリリースされるとアップグレードが容易になります。思考？

Answer 1

「stable」の意味に依存すると思います。 2つの可能な解釈があります：

1. ＆quot;クラッシュしない＆quot;
2. ＆quot;変わらない＆quot;

＃1については知りませんが、＃2を意味する場合は、 Spec＃ は放棄されており、現在開発されていないため、おそらく安定しています。

Spec＃（ Boogie および定理証明者/制約ソルバー Z3 ）は、 .NETのコードコントラクト。ライブラリであるという結論は、コードコントラクトが.NET言語（C＃、VB.NET、F＃、Ruby、Python、JavaScript、Lisp、Smalltalk、Boo）で動作することです。欠点は、言語統合が得られないため、コントラクト用の優れた構文がないことです。

.NETのコードコントラクトは.NET 4.0 / Visual Studio 2010の一部になりますが、残念ながらMicrosoftのどの言語でもDbCはサポートされません。