ПОИСК Статьи Чертежи Таблицы Дальнейшее развитие инструментальных средств разработки программного обеспечения должно иметь целью автоматизацию синтеза программ различных классов, в том чйсле диалоговых мониторов, различных языковых процессоров, генерацию экономичных версий ПМК моделирования и верификации проектных решений из имеющихся инвариантных средств и т. п. [Выходные данные]