Na een behoorlijk intensieve selectieprocedure was het gisteren dan zover: ik mocht de prijs uitreiken aan het team dat in de SCORE-competitie (Student Contest in sOftwaRe Engineering) het best gebruik had gemaakt van "formele methoden", dit alles namens Formal Methods Europe.
En over het eindresultaat was ik heel tevreden! Goed werk afgeleverd, echt iets om trots op te zijn. Ook een goede promotie van de toepassing van formele methoden. ICSE’09 is een zeer goede conferentie op het gebied van software engineering, maar een wat formelere basis kunnen ze hier en daar goed gebruiken volgens mij.
Reacties