Cписок

оляк В.Е., Безруков А.И., Семин Е.П.
Формализованный язык описания нормативных требований (язык регламентов)

Вид документа: Стаття періодики
Автор: оляк В.Е., Безруков А.И., Семин Е.П. Вид автора: персона
Мова: Російська Обсяг: С. 48-54
УДК: 004.434:083.74

Аннотацiя:

Рассматриваются элементы формального языка, позволяющего проинтерпретировать ьтексты нормативно-правовых документов, построить и проанализировать формально-логические модели системы требований

Є складовою частиною документа: Информационные технологии

Відомості щодо назви

Відомості про відповідальність:

ФГУП СНПФ "Агроприбор", г.Саратов

Відомості щодо головного

Назва головного документа:

Информационные технологии

Дата видання головного документа:

2004

Номер частини головного документа:

Загальна інформація

Бібліографія:

С. 54

Теми документа:

УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.4 Програмне забезпечення/Программные средства/Software/ 004.43 Мови програмування комп'ютерів/Языки программирования компьютеров/Computer languages