Comment Feed for Channel 9 - Manuel Fahndrich et Peli de Halleux - Code Contracts et Pex pour .NET http://ecn.channel9.msdn.com/o9/previewImages/100/514071_100x75.jpg Channel 9 - Manuel Fahndrich et Peli de Halleux - Code Contracts et Pex pour .NET Manuel Fähndrich et Peli de Halleux, deux membres du groupe RiSE à Microsoft Research, nous font une petite demo de Code Contracts et Pex. Les Code Contracts peuvent être utilise pour specifier les pré-conditions et post-conditions de methodes. Ils peuvent aussi être compilé en assertions a l'exécution. Pex peut dès lors analyser et tenter de trouver des contres examples pour les invalider. Ceci est notre première video en francais, donc attendez-vous à avoir quelques termes anglais dans la conversation...Les outils peuvent etre téléchargé des sites suivants: Original video in English Code Contracts: http://research.microsoft.com/contracts Pex: http://research.microsoft.com/pex The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. en Sun, 26 May 2013 01:33:19 GMT Sun, 26 May 2013 01:33:19 GMT Rev9 Re: Manuel Fahndrich et Peli de Halleux - Code Contracts et Pex pour .NET Please do it next time in English.

posted by shapovalov

]]> http://channel9.msdn.com/Blogs/Peli/Code-Contracts-et-Pex-pour-NET#c633970209370000000 Mon, 21 Dec 2009 19:35:37 GMT http://channel9.msdn.com/Blogs/Peli/Code-Contracts-et-Pex-pour-NET#c633970209370000000 shapovalov Re: Manuel Fahndrich et Peli de Halleux - Code Contracts et Pex pour .NET Good point, we actually did the same video in English a while ago at http://channel9.msdn.com/posts/Peli/The-Synergy-of-Code-Contracts-and-Pex/. I've also added the link in the description.

posted by peli

]]> http://channel9.msdn.com/Blogs/Peli/Code-Contracts-et-Pex-pour-NET#c633970398600000000 Tue, 22 Dec 2009 00:51:00 GMT http://channel9.msdn.com/Blogs/Peli/Code-Contracts-et-Pex-pour-NET#c633970398600000000 peli Re: Manuel Fahndrich et Peli de Halleux - Code Contracts et Pex pour .NET Vous pouvez essayer Pex + Code Contracts online a http://www.pexforfun.com...

posted by peli

]]> http://channel9.msdn.com/Blogs/Peli/Code-Contracts-et-Pex-pour-NET#c634131582980000000 Sat, 26 Jun 2010 14:11:38 GMT http://channel9.msdn.com/Blogs/Peli/Code-Contracts-et-Pex-pour-NET#c634131582980000000 peli