사양#/코드 계약을 사용하는 프로젝트 [폐쇄

StackOverflow https://stackoverflow.com/questions/777368

문제

나는 사용에 대해 더 많은 것을 찾는 데 관심이 있습니다. 투기# 및/또는 스핀 오프 프로젝트 코드 계약.

현재 두 기술을 사용하는 라이브 프로젝트가 있습니까?

감사합니다, Magicandi.

편집하다:

주어진 다윗 답변 아래에, 나는 단순히 오픈 소스가 아니라 모든 프로젝트를 포함하도록 질문을 열었습니다.

도움이 되었습니까?

해결책

사양# 및 코드 계약은 모두 MSR-LA (MSR-LA)에 배포됩니다.투기#, 코드 계약) 만 허용합니다 비상업적 사용 만 소프트웨어에 대한 특허권 만 부여하지만 파생 된 작업은 아닙니다. 따라서 둘 다 사용하기에 적합하지 않습니다 오픈 소스 프로젝트.

다른 팁

거기 있습니다 특이 이는 코드 계약의 사전 커서였으며 Spec# + 사용자 정의 확장을 사용했습니다.

C#에는 그래프/알고리즘 라이브러리가 있지만 지금은 내가 잊어 버린 이름을 100% 코드 계약으로 완료했습니다.

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top