Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev

Categories:

Доказательноориентированная системная инженерия

avlasov предложил proof-based software and systems engineering -- http://avlasov.livejournal.com/26832.html.

Как я его понял, он предлагает не столько доказательство того, что модель описывает систему, которая достигнет определенного результата, сколько доказательство правильности самой модели (что модель, например, не начнет в какой-то момент делить на ноль где-то внутри себя, или не зациклится в самый неожиданный момент).

Очень приятно, что появляются люди, обсуждающие такие проблемы. Понятно, что это все не сегодняшний день, но это явно будет реализовано в том или ином виде -- весь вопрос только в том, завтра это будет или послезавтра (хотя в силу приближающейся сингулярности завтра и послезавтра вполне могут оказаться уже неразличимыми).
Subscribe

  • Цены на наши онлайн-курсы в 2021

    Заканчивается зима, прошёл уже год с момента запуска первого нашего курса, и заодно заканчивается год карантинной жути (тьфу-тьфу-тьфу). Поэтому мы…

  • Вычислительное мышление: пять тем для отслеживания в 2021

    Некоторые темы для отслеживания и размышлений на досуге. При этом охотно верю, что у кого-то это идеи для размышления в рабочее время. Вот кто сидит…

  • lytdybr

    Удивляюсь, почему не обсуждаются причины, а только следствия типа "а чего они законы нарушают": не обсуждаются право народа на собрания (с чего это…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 22 comments

  • Цены на наши онлайн-курсы в 2021

    Заканчивается зима, прошёл уже год с момента запуска первого нашего курса, и заодно заканчивается год карантинной жути (тьфу-тьфу-тьфу). Поэтому мы…

  • Вычислительное мышление: пять тем для отслеживания в 2021

    Некоторые темы для отслеживания и размышлений на досуге. При этом охотно верю, что у кого-то это идеи для размышления в рабочее время. Вот кто сидит…

  • lytdybr

    Удивляюсь, почему не обсуждаются причины, а только следствия типа "а чего они законы нарушают": не обсуждаются право народа на собрания (с чего это…