This lecture discusses research approaches to specify multimedia software on an abstract level.