Верификация программ: состояние, проблемы, экспериментальные результаты. I
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Верификация программ: состояние, проблемы, экспериментальные результаты. I
|
|
| Creator |
Максимец, А.Н.
|
|
| Subject |
Верифікація програм
|
|
| Description |
Представлен углубленный обзор проблем верификации программного обеспечения. Рассмотрены методы верификации реактивных и функциональных систем. Даны основные определения для представления и анализа программ. Приведено краткое описание методов верхней и нижней аппроксимации.
|
|
| Date |
2015-09-26T17:40:00Z
2015-09-26T17:40:00Z 2013 |
|
| Identifier |
Верификация программ: состояние, проблемы, экспериментальные результаты. I / А.Н. Максимец // Проблеми програмування. — 2013. — № 4. — С. 53-63. — Бібліогр.: 33 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86693 51.681.3 |
|
| Language |
ru
|
|
| Relation |
Проблеми програмування
|
|
| Publisher |
Інститут програмних систем НАН України
|
|