Крывый, С.Л.; Максимец, А.Н.
(Проблеми програмування, 2014)
Приводятся примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма.