Работы по созданию системы межведомственного электронного взаимодействия сдвинулись с места благодаря созданию «дорожной карты», описывающей пять этапов реализации системы.
МОСКОВСКАЯ ЛЕТНЯЯ школа по программной инженерии и верификации предоставила возможность студентам и молодым ученым попытаться реализовать на практике идеи, изложенные лекторами. Верификация позволяет формальными математическими методами доказать корректность программы на основе анализа ее исходного кода.
Роберт Каплан: руководителям нужно учиться не только искать правильные ответы, но и задавать правильные вопросы
Городская инфраструктура (ЖКХ и строительство). Практика построения хранилищ данных. От управления документооборотом - к управлению контентом (ECM). Информационная безопасность в системах ДБО. Особенности хостинга в России.
Мы используем cookie, чтобы сделать наш сайт удобнее для вас. Оставаясь на сайте, вы даете свое согласие на использование cookie. Подробнее см. Политику обработки персональных данных
.jpg)
