Wanted: Links to projects using Code Contracts
-
miércoles, 28 de marzo de 2012 3:48Propietario
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:10Is this list just for open source projects or also for commercial (closed source) applications?
-
sábado, 31 de marzo de 2012 15:27PropietarioFor 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.

