Применение Objective-Z
Каковы применения Objective-Z?
Я читал об Objective-Z, но я не представляю, к чему это будет применяться.
Этот вопрос может быть слишком широким, но я не думаю, что есть слишком много ответов.
2 ответа
Objective-Z является объектно-ориентированным расширением Z.
Отсюда вы можете получить обзор Objective-Z:
Object-Z расширяет Z, добавляя языковые конструкции, напоминающие объектно-ориентированную парадигму, особенно классы. Другие объектно-ориентированные понятия, такие как полиморфизм и наследование, также поддерживаются.
Хотя Object-Z и не так популярен, как его базовый язык Z, он все же получил значительное внимание в сообществе формальных методов, и исследования по аспектам языка продолжаются, включая гибридные языки с использованием Object-Z, поддержку инструментов (например, через сообщество Z Инструменты проекта) и уточнение исчисления.
Для получения дополнительной информации о языке и его использовании, я бы порекомендовал посетить домашнюю страницу Objective-Z.
Его приложения похожи на Z-нотацию - это просто расширение языка спецификации.
Если вы действительно хотите узнать о приложениях Objective-Z, вы можете прочитать эту книгу.
Я надеюсь, что это помогает, и удачи с Z.
Z - это язык спецификации, то есть он используется для описания системы.
Цитата из статьи в Википедии о спецификациях языков гласит:
Язык спецификаций - это формальный язык в области компьютерных наук, используемый во время системного анализа, анализа требований и проектирования систем для описания системы на гораздо более высоком уровне, чем язык программирования, который используется для создания исполняемого кода для системы.
Язык Z, согласно этому источнику,
язык формальной спецификации, используемый для описания и моделирования вычислительных систем. Он нацелен на четкую спецификацию компьютерных программ и компьютерных систем в целом.
Итак, это приложение Z.
Я вижу, что ваш вопрос не о Z, а о Objective-Z, но я надеюсь, что этот ответ все еще может быть полезным.