A propriedade de especificação: passado, presente e futuro