What Is A Specification In Dt