-
- В описании одной из составных частей этой сущности - RODIN -> встретил упоминание про Alexander (Sascha) Romanovsky --> - Evgeny_CD(03.12.2011 15:19, ссылка, ссылка)
- Пост Д.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)
- "С
- Не понял. Если граф перехода КА синзезирован в виде функции, и она синтезирована на С правильно (реентерабельная, работает только с локальными переменными, все, что передается ей - RO, она возврашает либо стандартно, либо в спецальную структуру, Evgeny_CD(603 знак., 05.12.2011 11:58)
- Не, EventB - не матан. Это хорошо формализуемый слой системы проектирования, в котором нужно разделить состояния. Д.ARMоед(1230 знак., 05.12.2011 11:31 - 11:41)
- А это вообще суть индустрии программирования. На "матане" программировать невозможно ничего, кроме академических проектов. И каждая методология программирования пытается обернуть "матан" в оболочку, понятную количеству народа чуть большему, Evgeny_CD(365 знак., 05.12.2011 11:01)
- С ФП не так уж и просто. Там сначала отказываются от состояний, а потом всеми силами пытаются эмулировать их, огребая при этом кучу side-effect. Д.ARMоед(183 знак., 05.12.2011 10:47)
- Где-то в какой-то статье по функциональному программированию, которую я, как обычно, нифига не понял, описывалось, что в 60-е годы какой-то мужик из СССР разработал алгоритим идеального компилятора. Evgeny_CD(567 знак., 03.12.2011 15:05)
- Бука 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)