Gecodeerde specificatietheorie