Андон, Ф.И.; Дорошенко, А.Е.; Жереб, К.А.
(Кибернетика и системный анализ, 2011)
Запропоновано розвиток формальних методів проектування, заснований на концепціях алгебраїчного програмування і алгебро-динамічних моделей програм з використанням техніки пере писувальних правил, для автоматизованої розробки ...