.net - 使用 Spec#/Code Contracts.NET 的项目

Closed. This question does not meet Stack Overflow guidelines 。它目前不接受答案。

想改善这个问题吗？更新问题，使其成为 Stack Overflow 的 on-topic。

6年前关闭。

Improve this question

我有兴趣了解更多关于 Spec# 和/或其衍生项目 Code Contracts 的使用。

目前是否有使用这两种技术的实时项目？

谢谢，MagicAndi。

编辑:

鉴于下面的 David's 答案，我已经打开了这个问题以包含任何项目，而不仅仅是开源。

最佳答案

Spec# 和 Code Contracts 均在 MSR-LA ( Spec# , Code Contracts ) 下分发，该 MSR-LA 只允许 only non-commercial usage 并且只授予软件专利权，但不授予衍生作品。因此两者都不适合在 open source 项目中使用。

关于.net - 使用 Spec#/Code Contracts.NET 的项目，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/777368/

上一篇：svn - msbuild 社区任务和 Svn 提交

下一篇：sql-server - 如何检查我当前是否是 SQL 2000/2005/2008 的数据库所有者

相关文章：

c# - 在 C# 中更改语言

javascript - 阅读开源 : a series of IIFEs

open-source - 云虚拟机可免费用于开源测试？

java - 将非开源依赖项与 Maven 捆绑在一起

oop - Eiffel :放宽前置条件，收紧后置条件？

c# - 在 C# 中，try-finally 如何捕获原始异常

C#调用返回结构的golang函数

c#-4.0 - C# 4.0 中的代码契约

c# - 将像素转换为点

code-contracts - 对按契约(Contract)设计或代码契约(Contract)的看法