Runtime specification