Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Проблеми програмування
Datum:	2018
Hauptverfasser:	Peschanenko, V., Poltorackiy, M.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	Інститут програмних систем НАН України 2018
Schlagworte:	Методи та засоби програмної інженерії
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/144589
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Use of metods of algebraic programming for the formal verification of legal acts / V. Peschanenko, M. Poltorackiy // Проблеми програмування. — 2018. — № 2-3. — С. 109-114. — Бібліогр.: 10 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Use of metods of algebraic programming for the formal verification of legal acts
von: V. Peschanenko, et al.
Veröffentlicht: (2018)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.
Veröffentlicht: (2018)

First experience of using INTSPEI P-Modeling Framework in software development projects
von: Pavlov, V.L., et al.
Veröffentlicht: (2007)

Tete-A-Tete Project: software engineering tools supporting understanding
von: Hrytsay, V.P., et al.
Veröffentlicht: (2012)

Models and tools for effectiveness increase of requirements traceability in agile-software development
von: Tkachuk, M.V., et al.
Veröffentlicht: (2012)

50 лет инженерии программного обеспечения
von: Сидоров, Н.А.
Veröffentlicht: (2018)

Інформаційна технологія експертно-аналітичного оцінювання витрат на розроблення та використання програмного забезпечення комп’ютерних систем
von: Андон, П.І., et al.
Veröffentlicht: (2018)

Software engineering ontologies categorization
von: Sydorov, N.A., et al.
Veröffentlicht: (2018)

О возможности систематического исследования систем управления производством
von: Колесник, В.Г.
Veröffentlicht: (2017)

Об одном подходе к оценке эффективности применения пост объектно-ориентированных технологий при сопровождении программных систем
von: Ткачук, Н., et al.
Veröffentlicht: (2010)

Підтримка процесу керування варіабельністю в сімействах програмних систем
von: Колесник, А.Л.
Veröffentlicht: (2012)

Генерация тестовых сценариев на основе формальной модели
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Оценка надежности модульных программных средств
von: Анцыпов, А.В., et al.
Veröffentlicht: (2010)

Підхід до конфігурування компонентів повторного використання
von: Колесник, А.Л.
Veröffentlicht: (2011)

Инженерия качества процессов производства программных систем с помощью сетей Петри
von: Матвеева, Л.Е.
Veröffentlicht: (2010)

Обеспечение качества программных средств в условиях изменяющихся требований
von: Бахтизин, В.В., et al.
Veröffentlicht: (2008)

Метод обратной семантической трассировки для контроля качества в гибкой разработке программных проектов
von: Павлов, В.Л., et al.
Veröffentlicht: (2008)

Построение имитационных моделей бизнес-процессов для сбора требований качества
von: Долгарев, А.Г., et al.
Veröffentlicht: (2008)

Управление рисками в высокотехнологичных проектах: состояние и подходы управления
von: Годлевский, М.Д., et al.
Veröffentlicht: (2006)

Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем
von: Мороз, Г.Б., et al.
Veröffentlicht: (2006)

Метод и средства редокументирования наследуемого программного обеспечения
von: Сидоров, Н.А., et al.
Veröffentlicht: (2008)

Реализация модификаций эффективных генера-торов тестов
von: Андриянов, В.А., et al.
Veröffentlicht: (2010)

Побудова стратегій переслідування з використанням функцій Ляпунова
von: Пашко, С.В.
Veröffentlicht: (2017)

Ін’єкція функціональних залежностей у контейнері інверсії керування
von: Глибовець, М.М.
Veröffentlicht: (2014)

Подход к обеспечению взаимодействия программных средств JAVA И MS.NET
von: Островский, А.В.
Veröffentlicht: (2011)

Підтримка придатності та продовження експлуатації програмного забезпечення авіаційної техніки
von: Луцький, М.Г., et al.
Veröffentlicht: (2010)

Обеспечение надежности программных средств в зависимости от качества документации
von: Анцыпов, А.В.
Veröffentlicht: (2008)

Формалізми об’єктного проектування і тестування розподілених програмних систем
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)

Реинженерия проектов программного обеспечения
von: Сидоров, Н.А., et al.
Veröffentlicht: (2006)

Модель процесса разработки программного обеспечения
von: Вершина, А.И., et al.
Veröffentlicht: (2006)

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
von: Shekhovtsov, A.
Veröffentlicht: (2010)

Концепція побудови сертифікаційної моделі якості програмних систем
von: Райчев, І.Е., et al.
Veröffentlicht: (2006)

Разработка полнофункциональных веб-приложений на основе библиотеки TauCode
von: Коваленко, А.С., et al.
Veröffentlicht: (2010)

Проблемы реинжиниринга программных legacy-систем
von: Пашковец, Н.Д., et al.
Veröffentlicht: (2010)

Применение статистических моделей в инженерии качества процессов производства программных систем
von: Матвеева, Л.Е., et al.
Veröffentlicht: (2012)

Моделе-орієнтовані методи побудови та оцінювaння програмних архітектур на основі нечітких графів
von: Парасюк, І.М., et al.
Veröffentlicht: (2008)

Вдосконалення організації даних об′єктних прикладних програмних систем як метод підвищення життєздатності
von: Федоров, І.В.
Veröffentlicht: (2006)

Модель процесу експертного оцінювання у життєвому циклі програмних систем
von: Слабоспицька, О.О.
Veröffentlicht: (2008)