Научное издание. Монография. М.: Наука, 1989. - 264 с. ISBN
5-02-006578-1
Монография посвящена проблеме автоматизированного конструирования
программных систем с заданными характеристиками. Изложены
теоретические основы данного метода, названного И-порождением
целевых программных систем. Приведено описание применения метода
для конструирования пакетов программ на примере системы ГЕНПАК,
воплощающей методологию И-порождения.
Для научных работников, занимающихся автоматизацией разработки программного обеспечения, и практиков: системных аналитиков, проектировщиков программных систем, программистов и др. Оглавление: Предисловие
Форма записи определений и обозначения
Введение Проблема автоматизации программного обеспечения
Программное обеспечение автоматизированной деятельности по разработке программных систем
Автоматизация синтеза программ
Повышение уровня языков и инструментальной продуктивности сред их реализации
Повторное использование программ Основы И-порождения целевых программных систем
Теоретические основы И-порождения
Система И-порождения
Табс-ориентированное И-порождение целевых системы Применение и развитие методологии И-порождения
Система И-порождения пакетов программ
Развитие методологии И-порождения Литература
Для научных работников, занимающихся автоматизацией разработки программного обеспечения, и практиков: системных аналитиков, проектировщиков программных систем, программистов и др. Оглавление: Предисловие
Форма записи определений и обозначения
Введение Проблема автоматизации программного обеспечения
Программное обеспечение автоматизированной деятельности по разработке программных систем
Автоматизация синтеза программ
Повышение уровня языков и инструментальной продуктивности сред их реализации
Повторное использование программ Основы И-порождения целевых программных систем
Теоретические основы И-порождения
Система И-порождения
Табс-ориентированное И-порождение целевых системы Применение и развитие методологии И-порождения
Система И-порождения пакетов программ
Развитие методологии И-порождения Литература