Об одном подходе к построению языков функциональных спецификаций, ориентированном на корректность

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