chriseidhof

Wij zijn hier ook veel mee bezig. Wij focussen ons met name op technische kwaliteit van programmeren. Hierbij is het erg belangrijk dat de code volgens de specificaties werkt. Dit kan op een aantal manieren: via unit tests, met de hand bewijzen of een sterk type-systeem. Waar wij veel mee bezig zijn is het bouwen van software in Haskell, waarbij je een erg sterk typesysteem hebt waardoor je een groot aantal mogelijke bugs kan voorkomen. Op wikipedia zijn ook veel zaken te vinden over Software Quality, zeker de moeite waard.