-
- Отличный отзыв. Спасибо. Д.ARMоед(385 знак., 08.02.2012 13:51)
- Так! Про Event-B уже терли, и это снова были Вы! -> - Evgeny_CD(08.02.2012 13:59, ссылка)
- На самом деле не так уж и много исходных, за которые стОит зацепиться. - Д.ARMоед(08.02.2012 15:00)
- В итоге, получается, что для доведения приемлемой функциональности нужно: Chum_A(125 знак., 08.02.2012 15:36)
- Ошибка в корне - это будет не продукт, а, фактически, методика использования уже существующих технологий. Хотя, если назвать продуктом пару десятков xsl-шаблонов... - Д.ARMоед(08.02.2012 15:42 - 15:49)
- Я по первичному образованию помесь схемотехника с механиком, очень даже, что трудоёмкость адаптации существующих технологий мною завышена. Но, будем считать, что "по технике" вопрос (чудесным образом) разрешён, так даже внутри конторы придётся Chum_A(133 знак., 08.02.2012 16:11)
- Сканеры и торренты никто не отменял. - Д.ARMоед(08.02.2012 16:58)
- Я по первичному образованию помесь схемотехника с механиком, очень даже, что трудоёмкость адаптации существующих технологий мною завышена. Но, будем считать, что "по технике" вопрос (чудесным образом) разрешён, так даже внутри конторы придётся Chum_A(133 знак., 08.02.2012 16:11)
- Ошибка в корне - это будет не продукт, а, фактически, методика использования уже существующих технологий. Хотя, если назвать продуктом пару десятков xsl-шаблонов... - Д.ARMоед(08.02.2012 15:42 - 15:49)
- В итоге, получается, что для доведения приемлемой функциональности нужно: Chum_A(125 знак., 08.02.2012 15:36)
- На самом деле не так уж и много исходных, за которые стОит зацепиться. - Д.ARMоед(08.02.2012 15:00)
- Так! Про Event-B уже терли, и это снова были Вы! -> - Evgeny_CD(08.02.2012 13:59, ссылка)
- Я бы, наверное, сказал так. Для решений класса LPC11xx это точно не пойдет :). Если в качестве целевой платформы рассматриват 200 Мгц камень + 8Мбайт SDRAM (сейчас такое стоит $10-15 в более-менее опте) - то вполне жизнеспособно. - Evgeny_CD(08.02.2012 12:16)
- Формализация алгоритма - это хорошо, но если после отлаженного формального описания кодить руками, без возможности автоматически привязать код к куску схемы (не изоморфное отображение одного на другое, это пока фантастика, а впросто жмакнул на Evgeny_CD(81 знак., 08.02.2012 12:10)
- Таже стоит рассматривать отладку на основе unit tests, которые генерятся этой же тулзой (пишутся руками). Это не отменяет "хождения JTAG по строкам", но при отладке алгоритмов может оказаться удобнее. - Evgeny_CD(08.02.2012 12:20)
- Необычно - DRAKON Editor needs Tcl 8.5 to run. Если код правильный, влазит во время и место в памяти, то его страшность вторична. Когда я о таком думал, что в части отладки придумалось вот что. Evgeny_CD(564 знак., 08.02.2012 12:06)
- Автор, кстати, генерит метки привязки в исходниках. Нет не столько только желания, но и возможности (в первую очередь люди) окрывать ОКР по привязке к IDE. Верхнему руководству моей, например, конторы совершенно пофиг каким способом будет Chum_A(66 знак., 08.02.2012 12:21)
- Такие вещи надо делать в инвестиционном режиме внутри конторы. Чтобы демпфировать риски по срыву сроков и финансирования. - Evgeny_CD(08.02.2012 12:34)
- Угу. - Д.ARMоед(08.02.2012 13:18)
- Такие вещи надо делать в инвестиционном режиме внутри конторы. Чтобы демпфировать риски по срыву сроков и финансирования. - Evgeny_CD(08.02.2012 12:34)
- Автор, кстати, генерит метки привязки в исходниках. Нет не столько только желания, но и возможности (в первую очередь люди) окрывать ОКР по привязке к IDE. Верхнему руководству моей, например, конторы совершенно пофиг каким способом будет Chum_A(66 знак., 08.02.2012 12:21)
- Отличный отзыв. Спасибо. Д.ARMоед(385 знак., 08.02.2012 13:51)