我听说过什么样的规格？
答案 0 :(得分：4)
中的更多内容Spec＃是API的形式语言 合约（受JML，AsmL影响， 和Eiffel），它扩展了C＃ 非null类型的构造， 先决条件，后置条件和 对象不变量。 Spec＃附带一个 合理的编程方法 允许说明和推理 关于对象不变量甚至在 存在回调和 多线程。 Spec＃是一项研究 已经习惯了探索的车辆 规格和动态/静态 利用它们的工具。
答案 1 :(得分：4)
Spec＃是编程语言，是C＃的扩展必不可少的。它增加了定义方法合同的能力。联系人是必须为了使方法有效的条件。联系的一个示例是声明在运行方法时特定参数不能为空。
它包含一个可以运行的工具，试图证明条件是否得到满足。
这是微软的一个研究项目，现在已被放弃，但已完成的工作构成了code contracts in .net 4.0的基础。
答案 2 :(得分：1)
答案 3 :(得分：1)
答案 4 :(得分：1)
Spec＃是一种涉及按合同设计的研究语言。
请注意，Microsoft已选择将代码约定集成到即将发布的.NET Framework 4.0发行版中。更多信息：
答案 5 :(得分：0)