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

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

004.415.5
Колчин, А. В.
    Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем [Текст] / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 146-150.

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

автоматизація, автоматизация ; Формальні методи програмування ; Проблеми програмування № 2-3 2014 ; програмні системи, программные системы ; моделі, модели

- Анотація:

Описан метод выявления патологий формальных моделей.

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

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

  • УДК // Гарантії якості і програмного забезпечення. Варіація і оцінка (V&V)
  • УДК // Розробка комп'ютерної системи і програмного забезпечення



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