caxapa.ru :: Отличный отзыв. Спасибо.

Д.ARMоед (08.02.2012 13:51, просмотров: 131) ответил Chum_A на Есть ещё и по ссылке и оно позволяет генерить код, в частности, С-шный, но (о ужОс!) с кучей goto. Обсуждали у себя в коллективе. Приглядывались, как к способу формализации алгоритмов на уровне ТЗ. В применении по назначению смущает:

Отличный отзыв. Спасибо. по порядку: 1. для этого нужен формально верифицируемый язык. С-шный - не подходит. Event-B подошел бы, но с ним другие проблемы. 2. схема и должна принимать в соответствующие узлы эти мелочи и особенности. Но такого механизма в существующих тулзах нет. 3. п.1.+отладка внешней периферии. Симулятор бытия пока не написан :) 4. каждый видит недостатки системы, в которой работает.

Ответить

- Так! Про 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)

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