Devnology Podcast 005 - Peli de Halleux
Devnology Podcast
English - February 19, 2010 04:19 - 57 minutes - 52.3 MBTechnology agile development devnology lean programming quality software Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
In deze aflevering spreken we met Peli de Halleux, werkzaam bij Microsoft Research. We spraken met hem over een aantal projecten waar hij aan werkt, vooral op het gebied van software testen en verificatie. Aan bod komen onder andere Pex - een tool voor automated white box unit testen, Code Contracts - de Design by Contract library voor .Net en Moles - een detour framework dat met Pex meegeleverd wordt. Volg Peli via zijn blog op http://blog.dotnetwiki.org of via twitter : @pelikhan
Links voor deze podcast
Microsoft Devlabs home page
Microsoft Research home page
Peli's group RISE - Research in Software Engineering
Peli's videos op channel 9
Pex - Automated white box testing voor .Net
Code Contracts - Design by contract Library voor .Net
Spec # - Design by contract geimplementeerd als extensie van C# (open source)
Reactive extensions - een library om asynchroon en event-gebaseerd te programmeren
The Z3 theorem prover (gebruikt in Pex and vele andere projecten)
This podcast is in English - Deze podcast is in het Engels