Wanted: Links to projects using Code Contracts

Discussion Wanted: Links to projects using Code Contracts

  • quarta-feira, 28 de março de 2012 03:48
    Proprietário
     
     

    Just in case this is more visible than the announcement I added...

    If you would like the universe to know that your project is using Code Contracts, then we would like to help that along by adding it to a list that we have started on our web site.

    If you would like your project listed, please send us a link and we'll add it to the list. (Or just add it to this thread.) This would really help us in our efforts to get the project more fully supported by the product groups.

    Thanks!

    Mike


    Mike Barnett

Todas as Respostas

  • sábado, 31 de março de 2012 08:10
     
     
    Is this list just for open source projects or also for commercial (closed source) applications? 
  • sábado, 31 de março de 2012 15:27
    Proprietário
     
     
    For all types of projects! The initial list is biased because we just searched CodePlex for it. And probably commercial projects carry even more weight!

    Mike Barnett

  • domingo, 15 de abril de 2012 19:56
     
     

    For development of Centricity Enterprise Archive (commercial medical DICOM\XDS archive) we use Code Contracts as one of the verification tools.

    I would say that having a good static code analysis tool available is essential for the .NET platform as a serious development platform.  Many standard bodies (ISO, IEC, FDA, etc.) explicitly specify static analysis as a best practice for software verification. Having CC available helps us in following that best practice.