«Создай себе досуг, чтобы научиться чему-нибудь хорошему и перестать блуждать без цели.»
 
Консалтинговая компания Марк Аврелий


Specify

specify, согласно Burton's Legal Thesaurus. William C. Burton. 2006:
verb. advert to, circumscribe, cite, clearly define, demarcate, denotare, designate, detail, differentiate, disclose, enumerare, enumerate, explain, express, give full particulars, go into detail, indicate, instance, itemize, list, mark out, mention, name, particularize, point out, refer to, represent, select, show, state in detail, state precisely, stipulate.

Как не сложно заметить, слово обозначает широкий спектр оттенков под общим смыслом УТОЧНЯТЬ. Уточнить что-то можно различными способами:

  • перечислением
  • указанием или ссылкой на что-то, например, на прототип или аналог
  • разъяснением или выдачей примера
  • сообщением деталей
  • схематизацией
  • просто расширенным описанием
  • указанием сходств или различий.

Этимология слова происходит от латинского Species - вид, тип ... и много других подобных значений. Я бы обратил внимание на исходные греческий термина Платона - эйдос. А также на то, что Аристотель называл "субстанция". Из этого следует, что специфировать - значит сводить что-либо к первичным сущностям или видам (эйдосам) - см на эту тему "Категории" Аристотеля (глава по первичные сущности или 1-я категория). Такое сведение может быть выполнено как атрибутированием, так и описанием определения или подходящих определений. Таким образом "специфицировать" значит сводить к наименьшим возможным деталям, декомпозировать до первичных неделимых сущностей или субстанций.  Конечно такое сведение будет иметь пределы. Так например, спека на стиральную машину для потребителя укажет лишь на состав деталей потребительского продукта: машинка, шланг 1, шланг 2, инструкция. Спека на ту же машинку для сборщика машинки уже будет выделять сборочные узлы: двигатель, корпус, барабан, панель управления. А спека на двигатель пойдет еще дальше в детали двигателя. А детали могут быть разложены до уровня таких субстанций, как металлы и легирующие элементы сплавов.

Таким образом:

  • спецификация требования - это разъяснение всех деталей потребности, испытываемой пользователем.  Такое разъяснение может быть и простым текстом, и наборов четких параметров типа "лицевой счет клиента блокируется при достижении баланса счета, равном нулю и ниже, и разблокируется при пополнении на сумму, возвращающую балансу положительную величину". Для спецификации требования могут использоваться диаграммы, например диаграммы UML.
  • спецификация функции или фичи - это разъяснение всех деталей на тему, как эта функция или фича устроена. Причем здесь может быть две спецификации: 1) как правильно вызывать функцию (если она уже реализована) и 2) каким должен быть алгоритм реализации функции, если этот алгоритм не может быть оставлен на откуп программисту.  Например: "Функция блокировки лицевого счета выполняет CRUD-методы (операции) над объектом "Account". Она не блокирует лицевой счет даже если баланс счета (атрибут balance) отрицательный, при условии, что карта имеет тип (атрибут type) "кредитная"; но для клиентов дебетовых карт при наличии у них категории VIP (атрибут client_type) автоматически отрывается кредитная линия на сумму задолженности путем вызова функции Open_credit_line".

По Аристотелю (не лучшая цитата, но полезная):

In his biology, Aristotle used the term γένος (génos) to mean a kind, such as a bird or fish, and εἶδος (eidos) to mean a specific form within a kind, such as (within the birds) the crane, eagle, crow, or sparrow. These terms were translated into Latin as "genus" and "species", though they do not correspond to the Linnean terms thus named; today the birds are a class, the cranes are a family, and the crows a genus. A kind was distinguished by its attributes; for instance, a bird has feathers, a beak, wings, a hard-shelled egg, and warm blood. A form was distinguished by being shared by all its members, the young inheriting any variations they might have from their parents. Aristotle believed all kinds and forms to be distinct and unchanging. More importantly, in Aristotle's works, the terms γένος (génos) and εἶδος (eidos) are relative; a taxon that is considered an eidos in a given context can be considered a génos in another, and be further subdivided into eide (plural of eidos). His approach remained influential until the Renaissance, and still, to a lower extent, today.

О спецификации в римском праве см здесь >>>