| Subject | English | Russian |
| progr. | action specification language | язык спецификации действий (сокр. ASL; язык действий более абстрактный, чем такие языки, как Java и C++, и может использоваться для создания полных в вычислительном отношении моделей UML ssn) |
| progr. | common formal specification language | распространённый язык формальных спецификаций (ssn) |
| progr. | data specification language | язык определения данных (набор правил для определения данных и их взаимосвязей, пригодный для компьютерной передачи, интерпретации или обработки. См. ГОСТ Р ИСО 10303-1-99 ssn) |
| el. | document style semantics and specification language | язык DSSSL |
| IT | document style semantics and specification language | язык для определения семантики и спецификации стиля документов (unact.ru Bricker) |
| el. | document style semantics and specification language | стандарт ISO на оформление переносимых документов |
| el. | document style semantics and specification language | язык спецификации и семантики стиля документа |
| Gruzovik, progr. | document style semantics and specification language | язык семантики стиля и спецификаций документов (abbr. DSSSL) |
| tech. | formal specification language | язык формальных спецификаций |
| progr. | formal specification languages | языки формальных спецификаций (ssn) |
| progr. | GRAFCET specification language | язык спецификаций GRAFCET (ssn) |
| progr. | GRAFCET specification language for sequential function charts | язык спецификаций GRAFCET для последовательных функциональных схем (ssn) |
| microel. | hierarchical specification language | язык иерархической спецификации БИС |
| AI. | knowledge specification language | язык спецификации знаний (Alex_Odeychuk) |
| comp., MS | mapping specification language | язык MSL (An XML-based language that is used to map items defined in a conceptual model to items in a storage model) |
| progr. | particular specification language | конкретный язык спецификаций (ssn) |
| progr. | potential benefits and drawbacks of using formal specification languages | потенциальные достоинства и недостатки использования языков формальных спецификаций (ssn) |
| telecom. | problem specification language | язык описания неисправностей |
| automat. | process specification language | язык технологических спецификаций (ssn) |
| progr. | process specification language | язык спецификации процесса (ssn) |
| progr. | process specification language | язык спецификаций процесса (ssn) |
| progr. | properties of a particular specification language | свойства конкретного языка спецификаций (ssn) |
| microel. | property-specification language | язык описания свойств (язык формальной проверки, который разрабатывался специально для максимально эффективного описания утверждений и свойств. PSL отличается широкими возможностями для создания сложных регулярных и временных выражений, и позволяет описывать сложные поведенческие аспекты с помощью нескольких строк кода. Этот язык представляет собой промышленный стандарт, контролируемый компанией Accellera, основан на языке Sugar компании IBM ssn) |
| IT | readable specification language | язык машиночитаемых спецификаций (в автоматизации проектирования) |
| telecom. | SDL specification language | язык SDL-спецификации |
| tech. | specification language | язык описания требований |
| tech. | specification language | язык описания технических требований |
| automat. | specification language | язык описаний |
| progr. | specification language | язык спецификации (ssn) |
| tech. | specification language | язык спецификаций (технических) |
| comp. | specification language | язык спецификаций |
| progr. | specification language | спецификационный язык (Alex_Odeychuk) |
| progr. | starting point for a formal specification language | отправная точка для языка формальных спецификаций (ssn) |
| progr. | the extent of the interval in time or space is chosen to reflect the requirements of a particular specification task and the properties of a particular specification language | Протяжённость интервала во времени или в пространстве выбирается для отражения требований конкретной задачи спецификации и свойств конкретного языка спецификаций (см. ISO/IEC 10746-2, ГОСТ Р ИСО/МЭК 10746-2-2000) |
| progr. | using formal specification languages | использование языков формальных спецификаций (ssn) |