Software for Specification