Представление документа в формате RUSMARC

ПолеНазваниеЗначение
  Тип записи a
  Библиографический уровень a
001 Контрольный номер UONB/MAIN/c579120d20bf4d4e8491bff3d493db9e
005 Дата корректировки 20231205145048.4
100 Данные общей обработки __
a Данные общей обработки 20231122 ||| 0rusy0189 ca
101 Язык документа 0_
a Язык текста rus
102 Страна публикации __
a Страна публикации RU
200 Заглавие и сведения об ответственности 1_
a Заглавие Моделирование метода обеспечения качества выпускаемого ПО с использованием аппарата сетей Петри
d Параллельное заглавие Modeling Quality Assurance Methods for the Produced Software Using Petri Network Machinery
z Язык параллельного заглавия eng
f Первые сведения об ответственности Е. А. Басыня, Е. А. Малышев
203 Вид содержания и тип средства __
a Вид содержания Текст
c Тип средства непосредственный
215 Физическое описание __
c Иллюстрации/тип воспроизводства ил., схем.
225 Серия 2_
a Серия Безопасность программного обеспечения
320 Библиография __
a Библиография Библиогр.: с. 22
330 Аннотация __
a Аннотация В статье представлены результаты моделирования и проектирования метода обеспечения качества выпускаемого программного обеспечения как одного из возможных составных решений, подтверждающих аутентичность и достоверность результатов научно-исследовательских работ. Осуществлен анализ аппарата сетей Петри, отображены входные и выходные позиции переходов, а также приведена графическая формализация процесса моделирования. Исследуется динамика поведения сетей Петри. В заключение производится анализ свойств сети Петри предлагаемого метода, гарантирующий ее соответствие исходным заявленным параметрам.
461 Уровень набора _0
1 2000
a Защита информации. Инсайд
463 Уровень физической единицы _0
1 2000
a № 5 (113)
v С. 16-22
1 2101
d 2023
1 001UONB/MAIN/03805972374345d28bf1e5f805f8080d
606 Тематические рубрики 0_
a Основная рубрика Информатика
606 Тематические рубрики 0_
a Основная рубрика Информатизация общества. Информационная политика
610 Ключевые слова 0_
a Ключевые слова сеть Петри
610 Ключевые слова 0_
a Ключевые слова Петри сеть
610 Ключевые слова 0_
a Ключевые слова программное обеспечение
610 Ключевые слова 0_
a Ключевые слова разработка программного обеспечения
610 Ключевые слова 0_
a Ключевые слова автоматизированное тестирование
686 Индексы других классификаций __
2 Код системы rubbk
700 Автор _1
a Фамилия Басыня
b Имя (инициалы) Е. А.
c Титул (звания) кандидат технических наук
c Титул (звания) доцент
g Полное личное имя Евгений Александрович
p Наименование/ адрес организации Научно-исследовательский институт информационно-коммуникационных технологий
4 Код отношения 070
701 Альтернативная интеллектуальная ответственность _1
a Фамилия Малышев
b Имя (инициалы) Е. А.
4 Код отношения 070
g Полное личное имя Егор Алексеевич
p Наименование/ адрес организации Национальный исследовательский ядерный университет "МИФИ"
790 Имя лица - альтернативная форма _1
a Имя лица - альтернативная форма Basinya
b Имя (инициалы) E. A.
4 Код отношения 070
c Титул (звания) PhD (Eng.)
c Титул (звания) Associate Professor
790 Имя лица - альтернативная форма _1
a Имя лица - альтернативная форма Malyshev
b Имя (инициалы) E. A.
4 Код отношения 070
801 Источник записи _0
a Страна RU
b Организация Ульяновская ОНБ
c Дата составления 20231122
g Правила каталогизации RCR
801 Источник записи _1
a Страна RU
b Организация Ульяновская ОНБ
c Дата составления 20231122
g Правила каталогизации RCR
901 Тип документа __
t Тип документа b
w Контрольный № источника UONB/MAIN/03805972374345d28bf1e5f805f8080d