В статье дан обзор представительной международной конференции Microsoft Research Faculty Summit 2011, проходившей в Париже с 13 по 15 апреля 2011 г.
The article overviews the very interesting International Conference titled «Microsoft Research Software Summit 2011» (Paris, April 13–15, 2011).
Ключевые слова: технология программирования, инструментальные средства программирования, верификация программ, облачные вычисления, мобильные вычисления, семантические вычисления.
Keywords: software engineering, software development tools, software verification, cloud computing, mobile computing, semantic computing.