4 отношения: EWSD, SDL, Формальные методы, Язык спецификаций.
EWSD
EWSD (Elektronisches Wählsystem Digital) — цифровая электронная коммутационная система (АТС), разработанная немецким концерном Siemens AG.
Новый!!: Specification and Description Language и EWSD · Узнать больше »
SDL
* Simple DirectMedia Layer — кроссплатформенная библиотека для работы с мультимедиа.
Новый!!: Specification and Description Language и SDL · Узнать больше »
Формальные методы
Z-нотации В информатике и инженерии программного обеспечения формальными методами (formal methods) называется группа техник, основанных на математическом аппарате для спецификации, разработки и верификации программного и аппаратного обеспечения.
Новый!!: Specification and Description Language и Формальные методы · Узнать больше »
Язык спецификаций
Язык спецификаций — формальный язык, предназначенный для декларативного описания структуры, связей, свойств данных и способов их преобразований, (в отличие от активных языков) без явного упоминания порядка выполняемых действий и использования конкретных значений данных.
Новый!!: Specification and Description Language и Язык спецификаций · Узнать больше »