Systemutvikling er kunsten og vitenskapen å skape menneskeskapte systemer for å tilfredsstille forhåndsbestemte behov. Systemene skapes ved hjelp av beskrivelser av systemene som vi kaller for modeller. Vi jobber med forskjellige typer modeller som til slutt i sin helhet danner systemene. Vi jobber spesielt med følgende tema.
- Modellbasert utvikling
- Hardware-software-codesign
- Stokastisk modellering og beslutning
- Metamodellering
- Domenespesifikke språk
- UML og SysML
- Informasjonsmodellering
- Kunnskapsrepresentasjon
- Databasemodellering
- Programmeringsspråk