Большой англо-русский и русско-английский словарь
спецификация наивысшего уровня (непроцедурное описание поведения системы на абстрактном уровне)
top-level specification в энциклопедиях
спецификация наивысшего уровня (непроцедурное описание поведения системы на абстрактном уровне)