Sind die Spezifikationsmethoden heute praktisch einsetzbar?