Use of metods of algebraic programming for the formal verification of legal acts
This article briefly describes the programmable tool for the analysis of a normative legal document. A mechanism for checking legal requirements is presented. The model of the legal document is proposed in the form of a set of special rules. Verification is provided by means of algebraic programming...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2018 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут програмних систем НАН України
2018
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/144589 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Use of metods of algebraic programming for the formal verification of legal acts / V. Peschanenko, M. Poltorackiy // Проблеми програмування. — 2018. — № 2-3. — С. 109-114. — Бібліогр.: 10 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862667409075208192 |
|---|---|
| author | Peschanenko, V. Poltorackiy, M. |
| author_facet | Peschanenko, V. Poltorackiy, M. |
| citation_txt | Use of metods of algebraic programming for the formal verification of legal acts / V. Peschanenko, M. Poltorackiy // Проблеми програмування. — 2018. — № 2-3. — С. 109-114. — Бібліогр.: 10 назв. — англ. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | This article briefly describes the programmable tool for the analysis of a normative legal document. A mechanism for checking legal requirements is presented. The model of the legal document is proposed in the form of a set of special rules. Verification is provided by means of algebraic programming and methods of symbolic transformation. This approach allows us to analyze the legislative base of structural and logical errors, check the contradictions, completeness and integrity of legal acts. Presently, the mechanism of claster analysis of text, which makes it possible to identify the frequency of occurrence of various vague language constructs.
У цій статті коротко описується програмний інструмент для аналізу нормативно-правового документа. Існує механізм перевірки законних вимог. Модель правового документа представлена у вигляді набору спеціальних правил. Верифікація забезпечується за допомогою алгебраїчного програмування та методів символьного програмування. Цей підхід дозволяє проаналізувати законодавчу базу на наявність структурно логічних помилок, перевіряти правові вимоги на протиріччя, повноту та цілісність.
В этой статье кратко описывается программный инструмент для анализа нормативного правового документа. Представлен механизм проверки юридических требований. Модель юридического документа представлена в виде набора специальных правил. Верификация обеспечивается с помощью алгебраического программирования и методов символьного преобразования. Такой подход позволяет нам анализировать законодательную базу на наличие структурно-логических ошибок, проверять противоречия, полноту и целостность правовых актов.
|
| first_indexed | 2025-12-07T15:22:09Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-144589 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | English |
| last_indexed | 2025-12-07T15:22:09Z |
| publishDate | 2018 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Peschanenko, V. Poltorackiy, M. 2018-12-30T17:01:21Z 2018-12-30T17:01:21Z 2018 Use of metods of algebraic programming for the formal verification of legal acts / V. Peschanenko, M. Poltorackiy // Проблеми програмування. — 2018. — № 2-3. — С. 109-114. — Бібліогр.: 10 назв. — англ. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/144589 004.2, 004.4 This article briefly describes the programmable tool for the analysis of a normative legal document. A mechanism for checking legal requirements is presented. The model of the legal document is proposed in the form of a set of special rules. Verification is provided by means of algebraic programming and methods of symbolic transformation. This approach allows us to analyze the legislative base of structural and logical errors, check the contradictions, completeness and integrity of legal acts. Presently, the mechanism of claster analysis of text, which makes it possible to identify the frequency of occurrence of various vague language constructs. У цій статті коротко описується програмний інструмент для аналізу нормативно-правового документа. Існує механізм перевірки законних вимог. Модель правового документа представлена у вигляді набору спеціальних правил. Верифікація забезпечується за допомогою алгебраїчного програмування та методів символьного програмування. Цей підхід дозволяє проаналізувати законодавчу базу на наявність структурно логічних помилок, перевіряти правові вимоги на протиріччя, повноту та цілісність. В этой статье кратко описывается программный инструмент для анализа нормативного правового документа. Представлен механизм проверки юридических требований. Модель юридического документа представлена в виде набора специальных правил. Верификация обеспечивается с помощью алгебраического программирования и методов символьного преобразования. Такой подход позволяет нам анализировать законодательную базу на наличие структурно-логических ошибок, проверять противоречия, полноту и целостность правовых актов. en Інститут програмних систем НАН України Проблеми програмування Методи та засоби програмної інженерії Use of metods of algebraic programming for the formal verification of legal acts Article published earlier |
| spellingShingle | Use of metods of algebraic programming for the formal verification of legal acts Peschanenko, V. Poltorackiy, M. Методи та засоби програмної інженерії |
| title | Use of metods of algebraic programming for the formal verification of legal acts |
| title_full | Use of metods of algebraic programming for the formal verification of legal acts |
| title_fullStr | Use of metods of algebraic programming for the formal verification of legal acts |
| title_full_unstemmed | Use of metods of algebraic programming for the formal verification of legal acts |
| title_short | Use of metods of algebraic programming for the formal verification of legal acts |
| title_sort | use of metods of algebraic programming for the formal verification of legal acts |
| topic | Методи та засоби програмної інженерії |
| topic_facet | Методи та засоби програмної інженерії |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144589 |
| work_keys_str_mv | AT peschanenkov useofmetodsofalgebraicprogrammingfortheformalverificationoflegalacts AT poltorackiym useofmetodsofalgebraicprogrammingfortheformalverificationoflegalacts |