donderdag 9 november 202
Al eens lof op de barbecue gelegd? Bij de academische promotie ‘roast’ van Jouke Stoel was lof een hoofdingrediënt. Vanuit het Centrum voor Wiskunde en Informatica en de Technische Universiteit Eindhoven heeft Jouke binnen de ING Bank gekeken hoe je van het omvangrijke applicatielandschap van een bank vaststelt of de vereisten correct zijn en, vervolgens, of ze correct zijn geïmplementeerd. Het juiste juist bouwen, juist :-).
Hij onderzocht, onder andere met nu Axini-collega Dr. Ulyana Tikhonova, domein-specifieke talen om tot eenduidige, door domeindeskundigen leesbare specificaties te komen; hoe requirements hierop aangetoond kunnen worden (model checking) en hoe van hieruit automatisch getest kan worden (model-based testing). Lof was er omdat Jouke er niet alleen in geslaagd was theorie en complexe praktijk te verbinden, maar daarbij ook werkende tooling had opgeleverd. Terugkijkend heeft dit een opmerkelijk grote impact gehad, zowel binnen als buiten ING Bank, vertelde promotor Jurgen Vinju.
We prijzen ons dan ook gelukkig dat Jouke z’n kwaliteiten tegenwoordig op het Axini Modeling Platform loslaat. Hij kan daarbij nog wel wat hulp gebruiken, Master volstaat, PhD geen bezwaar ;-).
En voor de sappige details van zijn onderzoek verwijzen we graag naar proefschrift Solving the Bank: Lightweight Specification and Verification Techniques for Enterprise Software.