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

dc.contributor.author	Литвинов, В.В.
dc.contributor.author	Богдан, И.В.
dc.date.accessioned	2015-06-26T07:12:26Z
dc.date.available	2015-06-26T07:12:26Z
dc.date.issued	2013
dc.identifier.citation	Формальная верификация диаграммы классов / В.В. Литвинов, И.В. Богдан // Мат. машини і системи. — 2013. — № 2. — С. 41-47. — Бібліогр.: 6 назв. — рос.	uk_UA
dc.identifier.issn	1028-9763
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/83837
dc.description.abstract	В статье описываются наиболее популярные из существующих подходов к верификации наиболее часто используемой UML-диаграммы - диаграммы классов. Указывается, что данные методы позволяют оценить ее корректность только в отдельных аспектах, и наиболее эффективным является комплексное применение данных методов.	uk_UA
dc.description.abstract	У статті описуються найбільш популярні серед існуючих підходів до проведення верифікації UML-діаграми, що використовується частіше за все - діаграми класів. Вказується, що дані методи дають можливість оцінити її коректність лише в окремих аспектах, і найбільш ефективним являється комплексне використання даних методів.	uk_UA
dc.description.abstract	The 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.language.iso	ru	uk_UA
dc.publisher	Інститут проблем математичних машин і систем НАН України	uk_UA
dc.relation.ispartof	Математичні машини і системи
dc.subject	Інформаційні і телекомунікаційні технології	uk_UA
dc.title	Формальная верификация диаграммы классов	uk_UA
dc.title.alternative	Формальна верифікація діаграми класів	uk_UA
dc.title.alternative	Formal verification of class diagram	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.031.6