В настоящем сборнике представлены статьи сотрудников Института системного программирования РАН, описывающие результаты исследований, которые получены в 2002-2003 гг. В статьях обсуждаются как теоретические вопросы, так и аспекты организации прикладных систем