Розглянуто питання розробки та застосування нових мовних засобів - концепторних мов (КМ) і мов виконуваних логіко-алгебричних специфікацій (ВЛАС). Доведено, що КМ - це теоретико-множинні процедурні мови, застосовані на головних етапах розв'язання задач і для оперування неконструктивними об'єктами та неефективними процедурами, що сприяє наближенню до мови математики. Показано, що мови ВЛАС застосовуються для описання та доказового проектування дискретних апаратно-програмних систем, які дозволяють створювати точні абстрактні описи та забезпечують підвищення надійності розроблених систем на всіх рівнях деталізації проекту.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"