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)
  

Download

De grote berg met software op deze wereld neemt explosief toe. Als ontwikkelaar krijg je steeds vaker te maken met het onderhoud van bestaande software waarvan je de complexe programmacode niet altijd direct kan begrijpen, omdat het bijvoorbeeld slecht is gedocumenteerd. In deze Podcast legt Jurgen Vinju uit hoe de domein specifieke taal Rascal jou een geavanceerde gereedschapskist kan bieden om jouw programmacode te analyseren en / of automatisch te transformeren. Jurgen geeft op basis van zijn ervaringen met het ontwikkelen van een DSL zijn kritische blik op het gebruik van de domein specifieke talen en rekent af met 'embedded DSL's', UML en XML.

Jurgen Vinju is senior researcher bij het Centrum voor Wiskunde en Informatica en actief als docent aan de Universiteit van Amsterdam. In de Master Software Engineering is Jurgen actief als docent op het gebied van Software evolutie en Software constructie. Je kan de publicaties die Jurgen heeft geschreven vinden op zijn website; zijn dagelijkse activiteiten volg je op Twitter: @jurgenvinju. 

Links bij deze podcast

• De Domein specifieke taal Rascal.
• Als iedereen alleen maar bezig is met het schrijven van software abstracties, dan wordt er geen werkende software meer geschreven, stelt de Turing Pit.
• ASF+SDF is de vormalige taal, die aan het Centrum voor Wiskunde en Informatie is ontwikkeld, om source code te analyseren en transformeren.
• Software ontwikkeling is complex, omdat het tracht een probleem op te lossen in een omgeving waarin de eisen aan de oplossing constant veranderen: Wicked design.
• Een Embedded DSL (ook wel: Internal DSL) is een taal die onderdeel uitmaakt van bijvoorbeeld een general-purpose taal als Ruby.
• Boek: Generative Programming, Krysztof Czarnecki.
• Boek: Domain Driven Design, Eric Evans.
• Boek: Code Complete, Steve McConnell.
• Boek: Why Programs Fail, Andreas Zeller.
• Boek: Spring into Technical Writing, Barry J. Rosenberg.
• Boek: The Pragmetic Programmer, Andrew Hunt.

Download

We spraken met Frans Bouma over de start en ontwikkeling van Solutions Design als ISV en de ontwikkeling van LLBLGen Pro , de O/R Mapper voor .Net. Verder geeft Frans in dit interview zijn mening over verschillende software design praktijken, programmeertalen en -stijlen. Tenslotte hebben we het over software engineering literatuur en opleidingen.

Frans houdt een veelgelezen blog bij op http://weblogs.asp.net/fbouma en op twitter is hij bekend als @fransbouma

Links bij deze podcast

• Boek - Robert Sedgewick: Algorithms in C
  
• Boek - Steve McConnell : Code Complete
  
• Boek - Eric Evans : Domain Driven Design
  
• Boek - Edward Yourdon : Modern Structured Analysis (en zijn website op www.yourdon.com)
  
• http://en.wikipedia.org/wiki/List_of_algorithms
  

Download

 In deze tweede podcast spreken wij met Greg Young. Greg is een guru op het gebied van Domain Driven Design in gedistribueerde omgevingen. Hij verteld onder de noemer ´Command & Query separation' over een manier om verschillende modellen voor één systeem te hanteren. Andere onderwerpen waarover gesproken wordt zijn onder andere event based storage, audit trailing, high scalability, DDD in combinatie met SOA-omgevingen en wordt er ingegaan op de vraag hoe om te gaan met DDD in buitenlandse talen.

Links bij deze podcast

• Lijst van boeken die Greg Young hebben beïnvloed
  
• Domain Driven Design group
  
• Herding Code Podcast met Greg Young over Our Grand Failure – Thoughts on DDDD
  
• Greg Young over State Transitions in Domain-Driven Design en DDD Best Practices
  
• Presentatie 'Unshackle your domain' over DDDD van Greg Young
  
• InfoQ Book: Domain Driven Design Quickly
  

De blog van Greg Young vind je op: codebetter.com/blogs/gregyoung/

Download

Voor onze eerste podcast zijn wij afgereisd naar Groningen, Usquert om precies te zijn. Hier deelde Rob Vens in zijn eigen achtertuin zijn visie op software ontwikkeling. Rob noemt in zijn verhaal personen en zaken die hem geïnspireerd hebben. Voor een aantal hiervan volgen hieronder links.

• Alan Kay - de vader van Smalltalk is te vinden op TED met een talk over 'a powerfull idea about ideas'.
• Jeff Hawkins, de auteur van 'On Intelligence', heeft een TED talk gedaan 'how brain science will change computing'
• Frances Yeats schrijft over het Magisch Theater in The Art of Memory 
• LivelyKernel - de webapplicatie ontwikkelomgeving volledig gebaseerd op javascript, ook een project van Dan Ingalls, tevens de man achter Squeak (open-source Smalltalk)
• Douglas Engelbart, uitvinder van de muis en beroemd om o.a. zijn papers over hypertext systemen en natuurlijk de Mother Of All Demos
  
• Seaside is het web applicatie framework voor Smalltalk
• Kevin Kelly - Out of control
  
• het Steps project
  
• 'As we may think' is een wetenschappelijk artikel van Vannevar Bush
• Exploratory modelling - White Paper van Andreas Tönne en Georg Heeg
• Zie ook een video van Rob's presentatie over Exploratory Modelling 

Rob's website vind je op http://www.robvens.nl

Download