大象传媒

Gruppen for programmeringsteknologi聽(PUT) har programvare som studieobjekt og arbeider ut fra et solid teoretisk fundament. Vi arbeider bl.a. med spesifikasjons- og programmeringsspr氓k, mekanismer for 氓 organisere programvare, programmeringsmodeller, programvaresikkerhet,聽API og聽domenespesifikke spr氓k. Feks utvikler vi nye metoder for 氓 programmere brukergrensesnitt (GUI) som skal gi vesentlig lavere utviklingskostnader og h酶yere kvalitet enn dagens metoder. PUTs aktiviteter strekker seg fra teoretiske studier i logikk og kategoriteori聽til bygging av st酶ttesystem for praktisk programvareutvikling.

.
Bergen laboratorium for spr氓kdesign.