Animated Program Design