Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev

Categories:

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

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

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

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

  • Обучение организации деятельности: выполнено, но потребовалось 15 лет работы

    В эти дни в сентябре 2006 года я написал пару постов про организацию деятельности как важную часть менеджмента. В посте…

  • lytdybr

    Из интеллект-стека в ОдО остались исследования, этика, риторика, методология, экономика, системное мышление, труд (трудовой кругозор) и выпавшая…

  • lytdybr

    Сегодня в ОдО нашёлся содержательный баг: в интеллект-стеке пропущена эстетика. А её нужно туда воткнуть в явном виде, иначе трудно будет цеплять…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 22 comments

  • Обучение организации деятельности: выполнено, но потребовалось 15 лет работы

    В эти дни в сентябре 2006 года я написал пару постов про организацию деятельности как важную часть менеджмента. В посте…

  • lytdybr

    Из интеллект-стека в ОдО остались исследования, этика, риторика, методология, экономика, системное мышление, труд (трудовой кругозор) и выпавшая…

  • lytdybr

    Сегодня в ОдО нашёлся содержательный баг: в интеллект-стеке пропущена эстетика. А её нужно туда воткнуть в явном виде, иначе трудно будет цеплять…