Монография посвящена одной из основных проблем индустриализации программирования - проблеме спецификации интегрированных программных систем. В качестве языка спецификации таких систем предлагается использовать аппарат функциональных сетей - формальную модель, соединяющую преимущества графов и функционального программирования. Приводится описание алгоритмов интерпетации функциональных сетей, обеспечивающих спецификацию произволных вычислений, диалоговых систем, распределенных вычислений, систем реального времени, а также представление знаний, интеллектуализацию человеко-машинного интерфейса и спецификацию интегрированных экспертных систем. Разработана технология использования функциональных сетей в системах обеспечения жизненного цикла программных продуктов. Для студентов и специалистов, интересующихся проблемами проектирования и создания сложных программных систем.
