Описание тега z-notation

Вопросы с тегом
Используйте этот тег с обозначением Z /ˈzɛd/, которое является формальным языком спецификации, используемым для описания и моделирования вычислительных систем.
1 ответ

Как показать "счет" заданного отношения?

У меня есть этот код: taking’ = taking ∪ {s? → m?} Как вы видете, taking это имя для отношения, где s карты для m, Выше отношение показывает процедуру добавления (объединение), где я добавляю новый маплет к этому отношению. Тем не менее, мне нужно п…
31 июл '13 в 04:56
2 ответа

Форматирование строк в латексе в среде, нечувствительной к пробелам / Схема Z-нотации

Я использую латекс для моделирования нескольких функций с использованием Z-нотации, однако у меня возникают проблемы с отображением строки для вывода. В этом сокращенном примере кода текст в кавычках имеет форматирование, отличное от того, которое я…
07 фев '19 в 04:03
1 ответ

Как формализовать Uml

Есть ли способ конвертировать (формализовать) нотацию UML в Z? Я имею в виду, что есть ли способ переписать требования UML для формального языка, такого как z? извините за мой плохой английский, мой родной язык не английский. благодарю вас.
07 апр '13 в 17:07
6 ответов

Известны "Z обозначения" приложений?

Я просто вспоминал свои университетские уроки и хотел знать, использовал ли кто-нибудь здесь даже "Z-нотацию" в профессиональной среде. Я честно должен сказать, что это был самый скучный урок, который я когда-либо посещал в своей жизни. Может быть, …
14 июл '09 в 07:23
1 ответ

Как указать математическое выражение, используя спецификацию Z?

Как я могу указать математическое выражение, используя Z обозначения? Я думаю, что свободные типы подходят для этой ситуации, потому что выражения имеют рекурсивный характер. пожалуйста, учтите, что в нашем выражении могут быть скобки и переменные. …
16 ноя '13 в 18:35
2 ответа

Нотация Zed в LyX

Можно ли создавать схемы Zed Notation в LyX? Как это можно сделать?
14 апр '10 в 13:56
1 ответ

Формальные методы (Z-нотация) - добавление нового множественного отношения

У нас есть операция Bus_Arrives, которая принимает следующее ЛИНИЯ, BUS_ID и BUSROAD Автобус данной линии прибывает на станцию ​​и ему назначается пустой автобус, если таковой имеется. В противном случае он попадает в очередь. -------- New_Bus_Arriv…
05 янв '14 в 21:13
1 ответ

Спецификация Zed: продвижение и применение операции более чем к одной схеме

у меня есть Array схема, которая отслеживает последовательность Data схемы. Используя продвижение, я могу продвигать Increment операция для использования с Array, ArrayIncrement увеличивает только одно значение внутри Array, Как мне сделать так, чт…
12 окт '17 в 01:28
1 ответ

Как я могу найти компилятор z-нотации или парсер или интерпретатор?

Я должен найти Z синтаксический анализатор или компилятор. Пожалуйста, помогите мне, если можете.
12 июл '14 в 04:54
2 ответа

Как сделать включение схемы в другую схему с использованием языка Z

Я пишу формальную спецификацию для моей модели, используя z-нотацию Z-языка. Я застрял и не знаю, как включить одну схему в другую схему и создает ее переменные в других схемах. Любое руководство и помощь будут оценены. Благодарю.
28 ноя '17 в 05:09
1 ответ

Как спроектировать операцию поиска в нотации Z, при которой функция поиска требует хотя бы одной детали?

Это моя схема Z для назначения DB. |--AppointmentDB---------------- |attendees : P Person /** those involved in the appointment **/ | |/** a new TYPE object to store attendees, schedule and purpose **/ |appointments : P APPOINTMENT |hasAppointment :…
20 апр '15 в 05:20
1 ответ

Обозначение Z: представление двумерного массива

Я полный новичок в нотации Z. Мне нужно представить тип графа в Z. У меня есть идея использовать матрицу инцидентности, чтобы я мог легко перемещаться между узлами и ребрами. Единственная проблема в том, что я не знаю, как задать матрицу инцидентнос…
10 окт '12 в 10:44
0 ответов

Интерпретация частичных функций от Z до Изабель /HOL

Я пытаюсь написать предикат так, чтобы, "если определенная константа была истинной"(в этом случае, если "sec = ok"), то предикат будет оцениваться как False, потому что я написал выражение в результате этого конкретного Смысл, который противоречит д…
05 фев '15 в 11:37
1 ответ

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

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

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

Я использую математический инструментарий в HOL-Z для выполнения некоторых предикатов Изабель. в частности, я использую определение частичной функции, чтобы определить некоторые из отношений в спецификации Z, которую я пишу, где я преобразую схемы в…
28 янв '15 в 05:48
0 ответов

Создание функции округления в нотации Z

В Z-нотации /Object-Z создайте функцию с именем round, которая возвращает ближайшее целочисленное значение заданного действительного числа. Рассмотрим точность до одной десятичной точки. Я действительно не уверен, как это определить. Может быть, это…
30 окт '18 в 04:19
1 ответ

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

Мне было интересно узнать, использовал ли кто-нибудь здесь даже "Z-нотацию" в профессиональной среде. Просто любопытно узнать некоторые общеизвестные приложения Z или ваше приложение. Для тех, кто не знаком: http://staff.washington.edu/jon/z/z-examp…
09 фев '17 в 23:31
1 ответ

Вернуть наибольшее или наименьшее значение Z, формальный метод

Я новичок в Z записи, Допустим, у меня есть функция f, определенная как X |-> Y, где X - строка, а Y - число. Как я могу получить наибольшее значение Y в этой функции? Существует ли "цикл" в формальном методе, чтобы я мог решить его с помощью цикла?…
17 фев '16 в 16:38
2 ответа

Применение Objective-Z

Каковы применения Objective-Z? Я читал об Objective-Z, но я не представляю, к чему это будет применяться. Этот вопрос может быть слишком широким, но я не думаю, что есть слишком много ответов.
01 дек '14 в 04:39
1 ответ

Разница между декларативной и основанной на модели спецификацией

Я прочитал определение этих двух понятий в вики, но разница все еще не ясна. Может ли кто-нибудь привести примеры и несколько простых объяснений?
27 авг '12 в 10:21