Standard

Программная система СемКонт. / Пальчунов, Дмитрий Евгеньевич (автор); Галиева, Айя Галиевна (автор).

Роспатент - Федеральная служба по интеллектуальной собственности. Номер патента: 2021610633. янв. 15, 2021.

Результаты исследований: Патенты/Свидетельства о регистрации › свидетельство о регистрации программы для ЭВМ

Harvard

Пальчунов, ДЕ & Галиева, АГ янв.. 15 2021, Программная система СемКонт, Номер патента 2021610633. <https://www1.fips.ru/registers-doc-view/fips_servlet?DB=EVM&DocNumber=2021610633&TypeFile=html>

APA

Пальчунов, Д. Е., & Галиева, А. Г. (2021). Программная система СемКонт. (Номер патента 2021610633). Роспатент - Федеральная служба по интеллектуальной собственности. https://www1.fips.ru/registers-doc-view/fips_servlet?DB=EVM&DocNumber=2021610633&TypeFile=html

Vancouver

Пальчунов ДЕ, Галиева АГ, Изобретатели. Программная система СемКонт. 2021610633. 2021 янв. 15.

Author

Пальчунов, Дмитрий Евгеньевич (автор) ; Галиева, Айя Галиевна (автор). / Программная система СемКонт. Роспатент - Федеральная служба по интеллектуальной собственности. Номер патента: 2021610633. янв. 15, 2021.

BibTeX

@misc{7bd32e2240e34782883bb8ca3f880c62,
title = "Программная система СемКонт",
abstract = "Программа предназначена для создания формализованных автоматизированных контрактов (смарт-контрактов) с поддержкой их автоматизированной верификации и валидации. Программа реализует процесс создания смарт- контракта по имеющемуся набору шаблонов и исполнения смарт-контракта. Отличительной особенностью программы является возможность валидации смарт-контракта экспертами предметной области, не имеющими навыков программирования, что значительно упрощает и удешевляет процесс аудита созданных смарт-контрактов. Это достигается за счёт того, что программа позволяет одновременно с созданием смарт-контракта в автоматизированном режиме сгенерировать его описание на естественном языке для валидации условий, заданных стейкхолдерами. ОС: Windows 7 и выше.",
keywords = "СМАРТ-КОНТРАКТ, АВТОМАТИЗИРОВАННЫЙ КОНТРАКТ, ВЕРИФИКАЦИЯ, ВАЛИДАЦИЯ, АНАЛИЗ ТЕКСТОВ ЕСТЕСТВЕННОГО ЯЗЫКА",
author = "Пальчунов, {Дмитрий Евгеньевич} and Галиева, {Айя Галиевна}",
year = "2021",
month = jan,
day = "15",
language = "русский",
publisher = "Роспатент - Федеральная служба по интеллектуальной собственности",
type = "Patent",
note = "2021610633",

}

RIS

TY - PAT

T1 - Программная система СемКонт

AU - Пальчунов, Дмитрий Евгеньевич

AU - Галиева, Айя Галиевна

PY - 2021/1/15

Y1 - 2021/1/15

N2 - Программа предназначена для создания формализованных автоматизированных контрактов (смарт-контрактов) с поддержкой их автоматизированной верификации и валидации. Программа реализует процесс создания смарт- контракта по имеющемуся набору шаблонов и исполнения смарт-контракта. Отличительной особенностью программы является возможность валидации смарт-контракта экспертами предметной области, не имеющими навыков программирования, что значительно упрощает и удешевляет процесс аудита созданных смарт-контрактов. Это достигается за счёт того, что программа позволяет одновременно с созданием смарт-контракта в автоматизированном режиме сгенерировать его описание на естественном языке для валидации условий, заданных стейкхолдерами. ОС: Windows 7 и выше.

AB - Программа предназначена для создания формализованных автоматизированных контрактов (смарт-контрактов) с поддержкой их автоматизированной верификации и валидации. Программа реализует процесс создания смарт- контракта по имеющемуся набору шаблонов и исполнения смарт-контракта. Отличительной особенностью программы является возможность валидации смарт-контракта экспертами предметной области, не имеющими навыков программирования, что значительно упрощает и удешевляет процесс аудита созданных смарт-контрактов. Это достигается за счёт того, что программа позволяет одновременно с созданием смарт-контракта в автоматизированном режиме сгенерировать его описание на естественном языке для валидации условий, заданных стейкхолдерами. ОС: Windows 7 и выше.

KW - СМАРТ-КОНТРАКТ

KW - АВТОМАТИЗИРОВАННЫЙ КОНТРАКТ

KW - ВЕРИФИКАЦИЯ

KW - ВАЛИДАЦИЯ

KW - АНАЛИЗ ТЕКСТОВ ЕСТЕСТВЕННОГО ЯЗЫКА

M3 - свидетельство о регистрации программы для ЭВМ

M1 - 2021610633

PB - Роспатент - Федеральная служба по интеллектуальной собственности

ER -

ID: 28015527