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