Аннотация:Монография посвящена проблеме автоматизированного конструирования программных систем с заданными характеристиками. Изложены теоретические основы нового метода, названного И-порождением целевых программных систем. Приведено описание применения метода для конструирования пакетов программ на примере системы ГЕНПАК, воплощающей методологию И-порождения. Для научных работников, занимающихся автоматизацией разработки программного обеспечения, и практиков: системных аналитиков, проектировщиков программных систем,программистов и др.