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