Методы анализа и синтеза модульных информационно-управляющих систем