Розроблено підхід до автоматизації розв'язання задач контролю семантичної коректності специфікацій та документації на програми, моделі та скрипти. За основу підходу взято схему обробки з використанням розширеного графового подання текстів, формул і операторів у вигляді ієрархічних спрямованих графів та дворівневих словників для перетворення текстів. Запропонований підхід дозволяє аналізувати, зіставляти і робити висновки про зміст текстів програм, пояснень і документів в областях програмування та проектування вузлів обчислювальних пристроїв.

• Кузнецов Олексій Володимирович (економічні науки)

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