Wanted: Links to projects using Code Contracts

Debate general Wanted: Links to projects using Code Contracts

  • miércoles, 28 de marzo de 2012 3:48
    Propietario
     
     

    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 las respuestas

  • sábado, 31 de marzo de 2012 8:10
     
     
    Is this list just for open source projects or also for commercial (closed source) applications? 
  • sábado, 31 de marzo de 2012 15:27
    Propietario
     
     
    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.