functional specification Synonym