z-notation

0зной

1ответ

извините, если это не относится к переполнению, но у меня есть настоятельное желание продолжить разработку спецификаций с использованием Z, поскольку я пришел, чтобы изучить его во время uni в этом го

0зной

1ответ

Как правильно создать схему Z для этого сценария?

Все примеры, которые я нашел, имели только 2 объявления such as name and date OR members and telephone. Однако мой сценарий таков: Я хотел бы создать Z-схему под названием AppointmentDB. AppointmentDB

0зной

1ответ

Возврат высокий или самый низкий значение Z нотации, формальный метод

Я новичок в Z нотации, Допустим, у меня есть функция F определяется как X | -> Y, , где Х представляет собой строку и Y есть число. Как я могу получить наивысшее значение Y в этой функции? Существует

0зной

1ответ

В обозначении Z, как определить операцию деления для целых чисел

Мне было интересно узнать, использовал ли кто-нибудь здесь даже «обозначение Z» в профессиональной среде. Просто любопытно узнать некоторые известные приложения Z или ваше приложение. Для тех, кто не

2зной

1ответ

нужно определить в Изабель, чтобы показать, что две частичные функции никогда не производят один и тот же вывод

Я использую математический инструментарий в HOL-Z для выполнения некоторых предикатов Isabelle. в частности, я использую определение частичной функции для определения некоторых отношений в спецификаци

0зной

1ответ

Как указать математическое выражение с использованием Z-реплики?

Как определить математическое выражение с использованием Z-нотации? Я думаю, что свободные типы подходят для этой ситуации, потому что выражения имеют рекурсивный характер. пожалуйста, подумайте, что

1зной

1ответ

Официальных методы (Z-обозначение) - добавление нового множественное отношения

У нас есть операция Bus_Arrives, которая принимает следующую линии, BUS_ID и BUSROAD автобусную данного линия поступает на станцию и ему назначается пустая автобусная дорога , если таковая имеется.