Программная инженерия

Как появляются новые языки программирования

Для удовлетворения требований современных ИТ-систем создается ряд новых языков программирования.

Эволюция парадигмы программирования

Методологии и принципы разработки программ прошли путь от машинного кода до аспектно-ориентированного программирования и продолжают меняться.

Инструменты небесных разработчиков

Старший директор компании Microsoft по стратегии облачных вычислений Роб Крафт о новых задачах, которые перед разработчиками ПО ставит облачная парадигма.

Тестирование облачных сервисов

Для любой компании-разработчика переход от традиционной модели создания и распространения программ к SaaS связан с изменением не только финансовых и бизнес-процессов организации, но и с изменением процессов создания ПО, причем важное место в жизненном цикле программ приобретает тестирование облачных сервисов. Среда Visual Studio 2012 предоставляет инструменты для модульного, функционального и автоматического тестирования приложений, развернутых в облаке.

Кризис программирования 2.0

Современные инициативы по совершенствованию принципов разработки программного обеспечения вряд ли способны сформировать среду, позволяющую программной инженерии идти в ногу с развитием аппаратных технологий и учитывать все возможности, предоставляемые Большими Данными.

Строгая реализация скорых методов разработки

Стратегии agile-разработки сегодня в том или ином объеме применяются во многих организациях, уже имеющих опыт использования простых методов, например Scrum, а теперь, после успеха подобных инициатив, у них возникает желание поднять применение agile-методов на новый уровень. Что же собой представляет этот новый уровень?

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

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

Оптимизирующие компиляторы

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

ФБР переходит на «скорые» методы

Что может происходить в один и тот же день в Федеральном бюро расследований? Команда спецназа спасает заложника, аналитики изучают разведданные о террористической угрозе, оперативники проводят арест преступника, а в подвале здания штаб-квартиры ФБР в Вашингтоне сотрудники работают над созданием основанной на «скорые» (agile) методах системы, призванной изменить применяемые ведомством принципы обработки данных.

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

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