Phd-forsvar

Cand.scient Kristian Bisgaard Lassen forsvarer tirsdag d. 21. oktober  kl. 14.30 sin phd-afhandling med titlen: ”Using Formal Behavioral  Models in Software Development: From Real-World Problems to Software  Systems” ved et offentligt forsvar i Ada-333.

Kristians forskning

Kristian Bisgaard Lassen har gennemført phd-studiet ved Datalogisk Institut.  Forskningsarbejdet har omhandlet, hvordan formelle modeller kan bruges  i forbindelse med udvikling af software. Formelle modeller kan  betegnes som modeller med et matematisk fundament, der muliggør  præcise og klare beskrivelser.

Afhandlingen undersøger, hvorledes  formelle modeller kan bruges til at finde krav til et fremtidigt  software system, designe software systemet og til at realisere  systemet. Herudover definerer afhandlingen oversættelser af formelle  modeller, der bringer software udviklingen fra modeller af krav, til  modeller af design og endeligt til implementationer