Je souhaiterais en savoir plus sur l'utilisation de Spec# et/ou de son projet secondaire Code Contracts.Projets qui utilisent des contrats de spécification #/Code. NET
Existe-t-il un projet en direct qui utilise actuellement l'une ou l'autre technologie?
Merci, MagicAndi.
EDIT:
Compte tenu David's réponse ci-dessous, j'ai ouvert la question jusqu'à inclure tout projet, source non simplement ouverte.
deux SpeC# et contrats de code sont distribués dans le cadre du MSR-LA (Spec#, Code Contracts) qui ne permet que only non-commercial usage et n'accorde les droits de brevet au logiciel, mais pas les travaux dérivés. Par conséquent, les deux ne conviennent pas pour les projets open source.
David, Merci pour votre réponse, +1. J'ai édité la question en conséquence. – MagicAndi
Il semble y avoir une licence commerciale sur devlabs - je n'ai pas vérifié les légaux, mais llogs prometteur: http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx –
Le CLUF de la "norme" édition de devlabs limite son utilisation "uniquement pour évaluer et tester le logiciel". –
Il y a Singularity qui était le précurseur pour les contrats de code, il a utilisé SpeC# + extensions personnalisées.
Il y a aussi une bibliothèque de graphes/algorithmes en C# que je connais mais dont j'ai oublié le nom en ce moment, qui est complété avec 100% de contrats de code.
Merci Hendrik, +1. – MagicAndi
@Henrik - QuickGraph? – smartcaveman
Vous réalisez que lorsque vous mettez en surbrillance la question sur la «page sans réponse», vous perdez de la place parce que votre «hi» occupe l'espace de la question? C'est pourquoi il est d'usage de supprimer les salutations, sans mentionner que votre «signature» est votre gravatar dans le coin inférieur droit. –