Формальная верификация диаграммы классов

Скорочена інформація про документ
dc.contributor.authorЛитвинов, В.В.
dc.contributor.authorБогдан, И.В.
dc.date.accessioned2015-06-26T07:12:26Z
dc.date.available2015-06-26T07:12:26Z
dc.date.issued2013
dc.description.abstractВ статье описываются наиболее популярные из существующих подходов к верификации наиболее часто используемой UML-диаграммы - диаграммы классов. Указывается, что данные методы позволяют оценить ее корректность только в отдельных аспектах, и наиболее эффективным является комплексное применение данных методов.uk_UA
dc.description.abstractУ статті описуються найбільш популярні серед існуючих підходів до проведення верифікації UML-діаграми, що використовується частіше за все - діаграми класів. Вказується, що дані методи дають можливість оцінити її коректність лише в окремих аспектах, і найбільш ефективним являється комплексне використання даних методів.uk_UA
dc.description.abstractThe article describes the most popular of the existing approaches to verification of the most frequently used UML-diagram – the class diagram. It is indicated that these methods allow us to estimate its correctness only in certain aspects and integrated application of these methods is considered to be the most effective.uk_UA
dc.identifier.citationФормальная верификация диаграммы классов / В.В. Литвинов, И.В. Богдан // Мат. машини і системи. — 2013. — № 2. — С. 41-47. — Бібліогр.: 6 назв. — рос.uk_UA
dc.identifier.issn1028-9763
dc.identifier.udc004.031.6
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/83837
dc.language.isoruuk_UA
dc.publisherІнститут проблем математичних машин і систем НАН Україниuk_UA
dc.relation.ispartofМатематичні машини і системи
dc.statuspublished earlieruk_UA
dc.subjectІнформаційні і телекомунікаційні технологіїuk_UA
dc.titleФормальная верификация диаграммы классовuk_UA
dc.title.alternativeФормальна верифікація діаграми класівuk_UA
dc.title.alternativeFormal verification of class diagramuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
04-Litvinov_VV.pdf
Розмір:
187.9 KB
Формат:
Adobe Portable Document Format
Опис:
Стаття
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Математичні машини і системи, 2013, № 2