Язык объектных ограничений
Язык объектных ограничений Язык объектных ограничений (OCL) — декларативный язык для описания правил в моделях Unified Modeling Language (UML). OCL […]
Вики
Formal specification languages
Вики
Обозначение Z
Обозначение Z Z-нотация — формальный язык спецификации для описания и моделирования вычислительных систем. Жан-Раймон Абриал разработал Z-нотацию в 1974 году
Вики
Спецификация языка временного упорядочения
Язык спецификации временного упорядочения LOTOS — формальный язык спецификации, основанный на временном упорядочении событий. Используется для спецификации протокола связи в
Вики
Эйфель (язык программирования)
Eiffel (язык программирования) Eiffel — объектно-ориентированный язык программирования с акцентом на безопасность и качество кода. Язык поддерживает статическую типизацию, защиту
Вики
Семантика (информатика)
Семантика (информатика) Семантика в теории языков программирования является строгим математическим исследованием значений языков программирования. Семантика тесно связана с семантикой математических