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