IRChNUT
Електронний архів Національного університету "Чернігівська політехніка"

Перегляд Богдан Ірина Валентинівна за автором "9632859d-7593-48ee-bd4a-89f7201530f7"

ISSN 2415-363X

Перегляд Богдан Ірина Валентинівна за автором "9632859d-7593-48ee-bd4a-89f7201530f7"

Сортувати за: Впорядкувати за: Результатів на сторінці:

  • Інструментальні засоби верифікації моделей програмного забезпечення 
    Литвинов, В. В.; Богдан, І. В.; Слівко, К. С. (Чернігів: ЧНТУ, 2013)
    Обґрунтовано необхідність перевірки правильності діаграм на етапі проектування програмного забезпечення. Розглянуто найбільш відомі засоби, що дозволяють проводити верифікацію UML-діаграм. Проведене порівняльне оцінювання ...