_thomas-ball-advances-in-code-contracts-for-net.jpg "Thomas Ball - Advances in Code Contracts for .NET from ctp Video Screenshot Preview")
GalleryPlay Video:
(Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
⏲ Duration: 37 min 14 sec
✓ Published: 06-Jun-2012
✓ Published: 06-Jun-2012
Description:
Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of preconditions, postconditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation. In this talk, I ‘ll demonstrate Code Contracts and focus on the advances we have made in the static checker and
Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of preconditions, postconditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation. In this talk, I ‘ll demonstrate Code Contracts and focus on the advances we have made in the static checker and
Share with your friends:
Whatsapp | Viber | Telegram | Line | SMS
Email | Twitter | Reddit | Tumblr | Pinterest
Related Videos
_ctp39s-awesome-musical-robot.webp "A few years ago, I ran into CTP at Robogames and made this video about his wonderful Arca Musarithmica, which gets it's name from an autonomous musical instrument invented by Athanasius Kircher, a Jesuit priest, in the 16th centurey. Kircher was a brilliant inventor, scientist, and creator, but isn't very well known today.")
_ctp-aula-26-05-2012-agartha-92.webp "CTP - Aula 26.05.2012 -AGARTHA -\ from ctp")
_residential-ctp-summit-testimonial-will-you-be-attending-the-ctp-summit-next-year.webp "Residential CTP Summit Testimonial - Will you be attending the CTP Summit next year? from ctp")
⏲ 37 sec ✓ 28-Oct-2017
_assuras-manasaputras-mahatmas-e-matradevas-por-roberto-lucola-2001.webp "Sobre a origem e natureza dos Manassaputras.")
_ctp110a-5.webp "CTP110A-5 from ctp")
_ctp39s-awesome-musical-robot.jpg)
_ctp-aula-26-05-2012-agartha-92.jpg)
_residential-ctp-summit-testimonial-will-you-be-attending-the-ctp-summit-next-year.jpg)
_assuras-manasaputras-mahatmas-e-matradevas-por-roberto-lucola-2001.jpg)
_ctp110a-5.jpg)
![[+]](/images/menu.gif){kind=small}