Spec# 및/또는 스핀 오프 프로젝트 Code Contracts의 사용에 대해 자세히 알아 보려합니다.SpeC#/Code를 사용하는 프로젝트 Contracts.NET
현재 두 기술 중 하나를 사용하는 라이브 프로젝트가 있습니까?
고맙습니다. MagicAndi. 아래 David's 대답을 감안할 때
, 나는 어떤 프로젝트, 단순히 오픈 소스를 포함하도록 질문을 열었습니다 : 편집
.
사양 번호와 코드 계약은 모두 only non-commercial usage만을 허용하며 파생 제품이 아닌 MSR-LA (Spec#, Code Contracts)로 배포되며 소프트웨어에 대한 특허권 만 부여합니다. 따라서 두 프로젝트 모두 open source 프로젝트에서 사용하기에 적합하지 않습니다.
David, 답변 해 주셔서 감사합니다. +1. 그에 따라 질문을 편집했습니다. – MagicAndi
devlabs에 대한 상용 라이센스가있는 것 같습니다. 법률 적 내용은 확인하지 않았지만 유망한 내용은 다음과 같습니다. http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx –
"표준"계약의 최종 사용자 사용권 계약 devlabs의 에디션은 "소프트웨어를 평가하고 테스트하기 위해"사용을 제한합니다. –
코드 계약의 사전 커서 인 Singularity이 있는데, SpeC# + 사용자 정의 확장이 사용되었습니다.
내가 알고있는 C#의 그래프/알고리즘 라이브러리가 있는데, 지금은 잊어 버린 사람이 누구인지, 100 % 코드 계약으로 완성됩니다.
감사합니다 Hendrik, +1. – MagicAndi
@Henrik - QuickGraph? – smartcaveman
'답이없는 페이지'에 질문을 강조 표시하면 'hi'가 질문의 공간을 차지하므로 공간을 낭비하지 않습니까? 그래서 인사말을 삭제하는 것이 관례입니다. '서명'은 오른쪽 하단에있는 gravatar입니다. –