004.91 Р 939 Рыжков, Олег Юрьевич (кандидат экономических наук; ведущий аудитор). Формализованная запись нормативных документов для компьютерной обработки / О. Ю. Рыжков, авт. Л. К. Бобров> // Научно-техническая информация. Серия 2, Информационные процессы и системы. - 2013. - № 5. - С. 7-14 : Ил.: 2 рис. - Библиогр.: с. 14 (10 назв. ) . - ISSN 0548-0027
Рубрики: Вычислительная техника Обработка и создание документов Кл.слова (ненормированные): нормативные документы -- формализованная запись -- деонтическая логика -- структура базы данных -- базы данных -- компьютерная обработка данных -- правовые нормы -- управленческие решения -- нормотворческая деятельность -- правоприменительное моделирование Аннотация: Предложена модель формализованной записи правовых норм в различных актах. Описана структура базы данных для хранения нормативных документов в формализованной записи. Обозначены преимущества использования формализованной записи и компьютерных информационных технологий для консультирования и принятия управленческих решений, в судебной и нормотворческой деятельности. Приведен алгоритм, позволяющий описать должное поведение для заданной ситуации и выявить противоречия в нормативных документах. Доп.точки доступа: Бобров, Л. К. (доктор технических наук; профессор) |