МОСКОВСКАЯ ЛЕТНЯЯ школа по программной инженерии и верификации предоставила возможность студентам и молодым ученым попытаться реализовать на практике идеи, изложенные лекторами. Верификация позволяет формальными математическими методами доказать корректность программы на основе анализа ее исходного кода.
Роберт Каплан: руководителям нужно учиться не только искать правильные ответы, но и задавать правильные вопросы
Российский форум по управлению ИТ-сервисами – itSMF Россия – провел в Москве свою вторую конференцию, которая, хотя и заявлена была как всероссийская, по сути оказалась международной. На мероприятие собрались около 400 участников из девяти стран, сообщил на открытии конференции Илья Хает, председатель itSMF Россия.
Предложение разрешить служащим пользоваться Интернетом фактически без ограничений владельцу небольшой фирмы может показаться диким. Но если организовать все разумно и в определенных рамках, производительность их труда только повысится. Работа не встанет, если сотрудники посмотрят результаты встреч НБА.
Стив Кеннистон, евангелист IBM в вопросах повышения эффективности систем хранения, встретился с журналистами на ежегодной конференции «Решения IBM для информационной инфраструктуры», прошедшей в Москве 6 сентября. Центральной темой его выступления стала поддержка корпорацией концепции Больших Данных.
В конце августа в Москве состоялась конференция, посвященная актуальным вопросам перехода на межведомственное электронное взаимодействие. На мероприятии докладчики из ключевых министерств, отвечающих за реализацию проекта, познакомили представителей органов исполнительной власти и журналистов с ходом его выполнения.
Компании среднего размера вышли на рынок ИТ-аутсорсинга позже крупных игроков, однако последние исследования показывают, что из ИТ-услуг они могут извлечь больше выгоды, чем крупные корпорации.
Как отмечают эксперты агентства «Анкор», в последнее время наблюдается устойчивая тенденция утечки ИТ-кадров за рубеж. Планируя свою карьеру, специалисты отмечают существенные плюсы работы за границей.
ДЛЯ МОДЕРНИЗАЦИИ российской электроэнергетики всем игрокам этого рынка необходимо в первую очередь сесть за стол переговоров — генерирующим, распределительным, сбытовым компаниям и регулятору. Им нужно определить, что сегодня является приоритетом для России, какие проекты следует выполнять, а также разработать программу развития до 2020 года. Инновационные, но дорогостоящие проекты позволят продемонстрировать достоинства крупномасштабных интеллектуальных сетей.
МИРОВЫЕ БИРЖИ, оперирующие товарами, цены на которые меняются за секунды, все чаще полагаются на операционную систему Linux. Одна из причин биржевого успеха данной ОС — очень высокое быстродействие передачи данных. Формирование нового сектора высокоскоростной биржевой торговли не могло бы состояться бы без этой свободно распространяемой операционной системы.