Показаны новые модели, методы и инструменты, которые разработаны в пределах фундаментального проекта с генерируемого программирования (ГП). Разработана теория объектно-ориенетированного программирования, теория взаимодействия программ, систем и среды.