Utvikling og anvendelse av nye metoder innenfor programvareutviklingsteknolog - et prosjekt ved Institutt for data- og realfag

Prosjektsamandrag

For modulbasert programvareutvikling skal nye teknikker utvikles og eksisterende teknikker forbedres. Ved modulariseringsteknikker kan komplekse datasystemer implementeres ved hjelp av selvstendige komponenter. Endringer i enkelte komponenter kan skje uavhengig av de resterende komponentene i systemet. Programutviklingsprosessen effektiviseres ved gjenbruk av eksisterende programkoder i nye sammenhenger. Prosjektet har utviklet et språk for formell definisjon av databaser. Det arbeides med anvendelse av generell teori til kategorisk sammensetning av databaser med forskjellig oppbygging. Dette har praktisk anvendelse ved programvareutvikling for integrasjon av relasjonsdatabaser med tilsvarende funksjon men forskjellig oppbygging.