IRCPNU
Institutional Repository of Chernihiv Polytechnic National University

Browsing Богдан І. В.: наукові статті by Author "9632859d-7593-48ee-bd4a-89f7201530f7"

ISSN 2415-363X

Browsing Богдан І. В.: наукові статті by Author "9632859d-7593-48ee-bd4a-89f7201530f7"

Sort by: Order: Results:

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