Описание тега formalize
1
ответ
Вопросы о постоянном операторе в TLA+
Я недавно читаю книгу "Уточняющие системы". В главе 5 Лесли определяет постоянный оператор Send (,,,). Я не понимаю, как присвоить значение (True/False) этому константному выражению? Нужно ли присваивать True / False каждому (p, v, m, m') в программ…
11 фев '19 в 05:48
1
ответ
Как формализовать Uml
Есть ли способ конвертировать (формализовать) нотацию UML в Z? Я имею в виду, что есть ли способ переписать требования UML для формального языка, такого как z? извините за мой плохой английский, мой родной язык не английский. благодарю вас.
07 апр '13 в 17:07
1
ответ
Event-B Доказательства Обязательства
У меня в Event-B проблема с выполнением доказательств. В своей работе я хочу формализовать спецификацию требований защиты памяти, чтобы проверить их соответствие. Чтобы сделать это, я использовал Event-B Context для формализации структуры системы и …
18 июл '17 в 07:32
1
ответ
Посредник, компас и формализация
Я пытался найти посредника, компаса и формализации для совместной работы, но пока без особой удачи. Я установил плагин Compass Formalize sudo gem install compass_formalize ... и я добавил обязательное требование к config.rb require "compass_formaliz…
21 июл '11 в 11:32
1
ответ
Кнопки formalize.css в ie/chrome
Я испытываю некоторые проблемы со стайлингом кнопок. Я использую formalize.css из http://formalize.me/ и CSS Reset Эрика Мейера. Вот что происходит в IE и Chrome: Класс для кнопок выглядит следующим образом: .paging_button { margin-top:2px; width: 2…
02 авг '11 в 21:43