Наукова періодика України Проблеми програмування

Peschanenko V. 
Use of metods of algebraic programming for the formal verification of legal acts / V. Peschanenko, M. Poltorackiy // Проблеми програмування. - 2018. - № 2-3. - С. 109-114. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2018_2-3_14
Стисло описано програмний інструмент для аналізу нормативно-правового документа. Існує механізм перевірки законних вимог. Модель правового документа представлено у вигляді набору спеціальних правил. Верифікація забезпечується за допомогою алгебричного програмування та методів символьного програмування. Цей підхід надає змогу проаналізувати законодавчу базу на наявність структурно логічних помилок, перевіряти правові вимоги на протиріччя, повноту та цілісність.
  Повний текст PDF - 642.646 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Peschanenko V.
  • Poltorackiy M.

    • Бібліографічний опис для цитування:

    Peschanenko V. Use of metods of algebraic programming for the formal verification of legal acts / V. Peschanenko, M. Poltorackiy // Проблеми програмування. - 2018. - № 2-3. - С. 109-114. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2018_2-3_14.
    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Песчаненко Володимир Сергійович (фізико-математичні науки)
    •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського