Обозначение Z
Обозначение Z Z-нотация — формальный язык спецификации для описания и моделирования вычислительных систем. Жан-Раймон Абриал разработал Z-нотацию в 1974 году […]
Вики
Языки формальных спецификаций
Вики
Спецификация языка временного упорядочения
Язык спецификации временного упорядочения LOTOS — формальный язык спецификации, основанный на временном упорядочении событий. Используется для спецификации протокола связи в