Языки формальных спецификаций

Вики

Обозначение Z

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

Прокрутить вверх