Верификация программ: состояние, проблемы, экспериментальные результаты. I

Верификация программ: состояние, проблемы, экспериментальные результаты. I

Представлен углубленный обзор проблем верификации программного обеспечения. Рассмотрены методы верификации реактивных и функциональных систем. Даны основные определения для представления и анализа программ. Приведено краткое описание методов верхней и нижней аппроксимации....

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Проблеми програмування
Дата:2013
Автор: Максимец, А.Н.
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2013
Теми:
Верифікація програм
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/86693
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Верификация программ: состояние, проблемы, экспериментальные результаты. I / А.Н. Максимец // Проблеми програмування. — 2013. — № 4. — С. 53-63. — Бібліогр.: 33 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-86693
record_format dspace
spelling Максимец, А.Н.
2015-09-26T17:40:00Z
2015-09-26T17:40:00Z
2013
Верификация программ: состояние, проблемы, экспериментальные результаты. I / А.Н. Максимец // Проблеми програмування. — 2013. — № 4. — С. 53-63. — Бібліогр.: 33 назв. — рос.
1727-4907
https://nasplib.isofts.kiev.ua/handle/123456789/86693
51.681.3
Представлен углубленный обзор проблем верификации программного обеспечения. Рассмотрены методы верификации реактивных и функциональных систем. Даны основные определения для представления и анализа программ. Приведено краткое описание методов верхней и нижней аппроксимации.
ru
Інститут програмних систем НАН України
Проблеми програмування
Верифікація програм
Верификация программ: состояние, проблемы, экспериментальные результаты. I
Verification of programs: status, problems and experimental results. I
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Верификация программ: состояние, проблемы, экспериментальные результаты. I
spellingShingle Верификация программ: состояние, проблемы, экспериментальные результаты. I
Максимец, А.Н.
Верифікація програм
title_short Верификация программ: состояние, проблемы, экспериментальные результаты. I
title_full Верификация программ: состояние, проблемы, экспериментальные результаты. I
title_fullStr Верификация программ: состояние, проблемы, экспериментальные результаты. I
title_full_unstemmed Верификация программ: состояние, проблемы, экспериментальные результаты. I
title_sort верификация программ: состояние, проблемы, экспериментальные результаты. i
author Максимец, А.Н.
author_facet Максимец, А.Н.
topic Верифікація програм
topic_facet Верифікація програм
publishDate 2013
language Russian
container_title Проблеми програмування
publisher Інститут програмних систем НАН України
title_alt Verification of programs: status, problems and experimental results. I
description Представлен углубленный обзор проблем верификации программного обеспечения. Рассмотрены методы верификации реактивных и функциональных систем. Даны основные определения для представления и анализа программ. Приведено краткое описание методов верхней и нижней аппроксимации.
issn 1727-4907
url https://nasplib.isofts.kiev.ua/handle/123456789/86693
citation_txt Верификация программ: состояние, проблемы, экспериментальные результаты. I / А.Н. Максимец // Проблеми програмування. — 2013. — № 4. — С. 53-63. — Бібліогр.: 33 назв. — рос.
work_keys_str_mv AT maksimecan verifikaciâprogrammsostoânieproblemyéksperimentalʹnyerezulʹtatyi
AT maksimecan verificationofprogramsstatusproblemsandexperimentalresultsi
first_indexed 2025-12-01T06:10:45Z
last_indexed 2025-12-01T06:10:45Z
_version_ 1850859400009351168

Схожі ресурси