FDA (27.09.2007 13:28, просмотров: 295) ответил FDA на И что такого? На втором курсе в любом ВУЗе это проходят и все знают, что Гегель идеалистом был!
А на счёт КА всё правильно выше сказали! В своё время именно в России была разработаны отличные формальные методы их проектирования. Другой вопрос, что современный инженер, выросший на PIC'ах, AVR'ах, ARM'ах и пр. дряни, это не только не применяет, но и не знает! И это страшно!
Ведь, например, в военной сфере, в промышленности, везде, где требуется высокая надёжность КА рулят. При этом они достаточно гибки. Их можно легко синтезировать! Другой вопрос, что для таких задач по сути нет распространённых САПР (по крайней мере я таких не встречал)!