Здравствуйте, tau797, Вы писали:

T>>>При том, что многими системами необходимо управлять в реальном масштабе времени.
C>>Оно ортогонально представлению в виде state-машины.
T>Нет. Обычный (нетаймированный) автомат неспособен адекватно описать систему реального времени.
Вообще-то, конечный автомат не может представить много чего. Поэтому я и пишу "state-машина" (aka "автомат").

C>>Нет. Пока мне их не продемонстрируют, так как в книге их пиарят вовсе не как нишевые технологии.
T>Если бы вы потрудились почитать книгу Паронджанова, то наверняка обратили бы внимание на то, что пропагандирует он свой язык
T>не в качестве средства программирования, а как некий универсальный язык для описания алгоритмических аспектов в том числе деятельности
T>человека.
Вот именно. И я хочу увидеть его приложения в программировании.

C>>У меня by default недоверие к технологиям, которое можно вылечить только реальным кодом реальных проектов.
T>О вполне реальных проектах я вам писал неоднократно.
Я не могу их посмотреть.

C>>Меня не особо интересуют другие области. Я и так знаю, что физики у нас хорошие.
T>У нас и программисты хорошие. О школе академика Ершова что-нибудь слышали, например?
То было давно...

C>>А вот информатика — в полной заднице.
T>Если не брать производство аппаратных средств, а теорию — то чушь.
Не чушь. Товарищи из буржуйских стран сейчас занимаются интересными вещами, у нас же практически ничего не происходит.

Смотрим: http://arxiv.org/list/cs/pastweek?skip=0&show=25 — сюда сейчас попадают практически все нормальные статьи по информатике.

Из русских попались только две статьи:
http://arxiv.org/pdf/0902.4460
http://arxiv.org/abs/0902.4514

А вся "Russian Academy of Science" ( http://search.arxiv.org:8081/?query=Russian+Academy+of+Science&in=grp_cs ) проигрывает одному MIT: http://search.arxiv.org:8081/?query=MIT&in=grp_cs со счётом 110 против 3552 (точнее, немного меньше из-за случайных совпадений со словом MIT)!

Ещё можно сравнить знаменитый курс MIT'а по программированию и наши курсы в университетах.

C>>Нет. Доказательство соответствия программы и спецификации — это нетривиальная задача. Просто так оно само не получится.
T>Я не говорил, что задача — тривиальная. Кстати, при создании вами же упомянутой системы управления парижским метро 14 ветки используется
T>так называемая "B-технология", именно позволяющая генерировать гарантированно соответствующие спецификации программы. И они в этом не одиноки
Проблема тогда в том, что спека будет аналогом алгоритма. Там всё сложнее — их система позволяет проверять соблюдение инвариантов при создании кода. Оно не полностью автоматическое, и в ряде случаев требует ручного вмешательства.

C>>>>Если у нас есть спецификация алгоритма, достаточно подробная, чтобы доказать её корректность, то это УЖЕ будет почти что готовая его реализация.
T>Точно, именно так ПО для парижского метро и делали.
Его делали немного по-другому, однако. Сначала сформировали спеку с набором инвариантов и гарантий, а потом следили за их соблюдением.

T>>>Вы, кстати, жаловались на отсутствие публикаций — можете посмотреть и другие труды Крюкова, Петренко, Смелянского...
C>>Вот это уже интереснее. Но опять, нет видимого результата.
T>Меня утомила ваша "непробиваемость". Полет "Бурана" транслировался по ТВ. Существует множество телепередач и иных материалов, посвященных этому знаменательному событию. "Фрегаты" и "Протоны-М" стартуют с завидной регулярностью. Пуски также демонстрируются по ТВ. Может, со зрением просто проблемы?
Ты знаешь, я видел стооооооолько софта, который выглядит красиво и даже ещё и работает. Но если посмотреть у него под крышкой — там такой макаронный индусокод, что становится просто страшно.

C>>сколько там относится к техникам программирования, а сколько к технике организации работ.
T>Технология программирования включает в себя и методы проектирования, и методы документирования, и методы отладки.
Методы проектирования — нет. Методы документации — частично. Методы отладки — да.

C>>А ещё необходимость обеспечивать бизнес-процессы, отражающие гибкость реального мира. Где и скрывается вся сложность.
T>"Бизнес-процессы" — поганое модное словечко. Если же рассматривать суть, то "сложность" процессов в бухгалтерии вряд ли сопоставима со сложностью управления в реальном времени десятками взаимодействующих друг с другом и с внешней средой систем.
Учитывая, что бухгалтерия — это часто как раз те же десятки взаимодействующих друг с другом процессов, которые ещё и часто ведут себя как попало, да ещё всё это и меняется с периодичностью раз в год, да ещё и надо всё это поддерживать за деньги в малую долю разработки ПО типа Шаттловского...

Что далеко ходить — система SAP R3 содержит около 250 миллионов строк кода. Т.е. гигабайты исходного кода.