Algoritme Ontwerp
Bij het ontwerpen van algoritmen gaat het meestal om algoritmen
die steunen op of voortvloeien uit de theorie.
Enkele voorbeelden:
- typechecking, i.v.m. specificatietalen;
- Petrinet-analyse, i.v.m. procesmodellering;
- navigatiealgoritmen voor (WWW) robots;
- graaf-layout algoritmen voor ExSpect schema's, hypertekst structuren, etc.