Академия ОС

Новая жизнь верификации

Обеспечение высокой надежности и безошибочности программ — одна из главных задач ИТ-индустрии, однако до сих пор нет ее универсального и надежного решения. Вместе с тем использование верификации, дополняющей традиционные методы тестирования и отладки, позволяет повышать качество программ.

В авангарде Больших Данных

После пяти лет работы по созданию системного ПО для устройств хранения исследовательское подразделение корпорации EMC в России расширило поле своей деятельности на решение проблем обработки Больших Данных.

PoleStar — полигон ITSM

Кого сложнее всего убедить в пользе ITSM: начальников, руководителей среднего звена или персонал ИТ-департамента? Персонал. Проекты по организации бизнес-процессов предусматривают смену внутренней корпоративной культуры, и именно персонал должен понять пользу происходящего, а деловые игры — самый эффективный способ помочь в этом.

Компьютеры и культура

Тема декабрьского номера журнала Computer (IEEE Computer Society, Vol. 44, No. 12, 2011) — компьютеры и культура.

Обучение чиновников возможностям ИТ

Информационным технологиям отводится ключевая роль в работе американского правительства, особенно после объявления президентом программы Open Government Initiative, имеющей целью обеспечить полную прозрачность для граждан деятельности правительства. Важную роль в выполнении этой программы играет обучение.

Вирус под микроскопом

Любая крупная ИТ-компания непременно имеет в своем составе подразделение исследований и разработок. Это, как правило, географически распределенная сеть лабораторий и научных центров, в которых неспешно идет генерация новых идей, способных в перспективе стать основой новых технологий. Особенность лабораторий производителей антивирусного программного обеспечения в том, что работают они практически в реальном времени — именно в таких условиях действуют исследовательские центры компаний ESET и «Лаборатория Касперского».

Программная инженерия и смежные дисциплины

Темы октябрьского и ноябрьского номеров Computer (IEEE Computer Society, Vol. 44, No. 10-11, 2011) - взаимодействие программной инженерии с другими областями компьютерных наук и совместная разработка аппаратуры и программного обеспечения экзафлопсных систем

Строитель надежных программ

Профессор Высшей политехнической школы в Цюрихе Бертран Мейер – один из тех специалистов, которые определяют лицо современной программной инженерии. Его научные исследования, в том числе в области формального доказательства качества программных приложений, показывают, что программная инженерия способна быть полноценной научной дисциплиной, а практические разработки внесли большой вклад в продвижение результатов научных исследований в повседневную работу программистов.

Теория и практика программной инженерии

Теория помогает инженерам традиционных специализаций создавать и изучать методы, оценивать результаты и оптимизировать процессы. Играет ли теория аналогичную роль в программной инженерии?

Как спрятать данные в открытом мире?

Тема сентябрьского номера журнала Computer (IEEE Computer Society, Vol. 44, No. 9, 2011) - безопасность и конфиденциальность в онлайновом мире.

Юбилей персонального компьютера

Тема августовского номера журнала Computer (IEEE Computer Society, Vol. 44, No. 8, 2011) - тридцатилетний юбилей IBM PC.

Программирование для предметной области
Учиться в облаках

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

Орудия нового Индианы Джонса

Тема июльского номера журнала Computer (IEEE Computer Society, Vol. 44, No. 7, 2011) — вычислительная археология.

Экологичная технология разумных городов

Тема июньского номера журнала Computer (IEEE Computer Society, Vol. 44, No. 6, 2011) — проблемы развития интеллектуальных городов.

Скрытый образовательный потенциал хакерских сообществ

Преподаватели курсов по информационной безопасности могут многому научиться у сообщества хакеров, хотя само слово «хакер» воспринимается неоднозначно, а идея повторять что-либо за ними может некоторым показаться неприемлемой.

Облака как способ интенсификации и демократизации

Многие коммерческие компании сегодня экономят ресурсы за счет передачи своих повседневных ИТ-задач провайдерам облачных сервисов, что справедливо и применительно к научным исследованиям, требующим все больших объемов вычислений и генерирующих все больше данных. Система Globus Online разрабатывается с целью воплощения в жизнь идеи аутсорсинга типовых компонентов научно-исследовательской работы.

Практическое руководство по Scrum
Интересно о программной инженерии
Наука предпринимательства

Тема апрельского и майского номеров журнала Computer (IEEE Computer Society, Vol. 44, No. 4, 5, 2011) – предпринимательство, инновации и мобильные вычисления.