Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

МаксимецанМаксимец, А. Н.
    Верификация программ: состояние, проблемы, экспериментальные результаты. I [Текст] / А.Н. Максимец // Проблеми програмування : Науковий журнал. — Київ, 2005. — № 3. — С. 53-63.

- Ключові слова:

верифікація, верификация ; програмне забезпечення, програмні засоби, программное обеспечение, программные способы

- Анотація:

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

- Є складовою частиною документа:

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

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт