caxapa.ru :: Event-B is a formal method for system-level modelling and analysis. Непонятная мне штуковина, на которую навел Д.ARMоед, за что ему большой респект. ->

Evgeny_CD^{Архитектор} (03.12.2011 14:48, просмотров: 7097)

Event-B is a formal method for system-level modelling and analysis. Непонятная мне штуковина, на которую навел Д.ARMоед, за что ему большой респект. -> http://www.event-b.org/

Ответить

- В описании одной из составных частей этой сущности - RODIN -> встретил упоминание про Alexander (Sascha) Romanovsky --> - Evgeny_CD(03.12.2011 15:19, ссылка, ссылка)
  - Молодец мужик. Статьи невозможно читать - сплошная алгебра логики и еще много непонятного :-) Посмотрел приложения в промышленности -> Вывод: страшно далеко это от моих задач. - amusin(03.12.2011 17:32, ссылка)
- Пост Д.ARMоед, перенесенный сюда для удобства. Evgeny_CD(1460 знак., 03.12.2011 14:55)
  - Насчёт Виртовского руководства я ошибся. - Д.ARMоед(05.12.2011 10:36)
  - Я это трактую так. Evgeny_CD(590 знак., 03.12.2011 15:00)
    - Где-то в какой-то статье по функциональному программированию, которую я, как обычно, нифига не понял, описывалось, что в 60-е годы какой-то мужик из СССР разработал алгоритим идеального компилятора. Evgeny_CD(567 знак., 03.12.2011 15:05)
      - С ФП не так уж и просто. Там сначала отказываются от состояний, а потом всеми силами пытаются эмулировать их, огребая при этом кучу side-effect. Д.ARMоед(183 знак., 05.12.2011 10:47)
        
        А это вообще суть индустрии программирования. На "матане" программировать невозможно ничего, кроме академических проектов. И каждая методология программирования пытается обернуть "матан" в оболочку, понятную количеству народа чуть большему, Evgeny_CD(365 знак., 05.12.2011 11:01)
        
        Не, EventB - не матан. Это хорошо формализуемый слой системы проектирования, в котором нужно разделить состояния. Д.ARMоед(1230 знак., 05.12.2011 11:31 - 11:41)
        
        Не понял. Если граф перехода КА синзезирован в виде функции, и она синтезирована на С правильно (реентерабельная, работает только с локальными переменными, все, что передается ей - RO, она возврашает либо стандартно, либо в спецальную структуру, Evgeny_CD(603 знак., 05.12.2011 11:58)
        
        "С~~крипач~~ не нужен"(с) В том смысле, что из процесса вообще можно исключить сишные либы и тулчейны. Д.ARMоед(788 знак., 05.12.2011 14:06)
        
        При чем тут Plain C код и С либа? Если синтезатор С кода правильный, он не вставит никаких вызовов либ! А способность С компилера переваривать plain С код в исполняемый код процессора будем считать абсолютной для простоты. - Evgeny_CD(05.12.2011 14:30)
        
        При том, что их можно оставить любителям побултыхаться в mainstream'е. Исключая этап суперкомпиляции, Вы остаётесь с интерпретатором задачи. Зачастую неоптимальным(пусть даже и оттранслированным на це и скомпилированным в исполняемый код). Д.ARMоед(77 знак., 05.12.2011 17:14)
- Бука Modeling in Event-B: System and Software Engineering, 9780521895569 (0521895561), Cambridge University Press, 2010 -> Доп. материалы --> Evgeny_CD(935 знак., 03.12.2011 14:51, ссылка, ссылка)
  - Доп материалы хороши.... 280 слайдов к одной из глав. Вложено! Evgeny_CD(03.12.2011 15:09)

Средства и методы разработки