Формальная верификация диаграммы классов
В статье описываются наиболее популярные из существующих подходов к верификации наиболее часто используемой UML-диаграммы - диаграммы классов. Указывается, что данные методы позволяют оценить ее корректность только в отдельных аспектах, и наиболее эффективным является комплексное применение данных м...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2013 |
| ISSN: | 1028-9763 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/83837 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Формальная верификация диаграммы классов / В.В. Литвинов, И.В. Богдан // Мат. машини і системи. — 2013. — № 2. — С. 41-47. — Бібліогр.: 6 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862720336034791424 |
|---|---|
| author | Литвинов, В.В. Богдан, И.В. |
| author_facet | Литвинов, В.В. Богдан, И.В. |
| citation_txt | Формальная верификация диаграммы классов / В.В. Литвинов, И.В. Богдан // Мат. машини і системи. — 2013. — № 2. — С. 41-47. — Бібліогр.: 6 назв. — рос. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| description | В статье описываются наиболее популярные из существующих подходов к верификации наиболее часто используемой UML-диаграммы - диаграммы классов. Указывается, что данные методы позволяют оценить ее корректность только в отдельных аспектах, и наиболее эффективным является комплексное применение данных методов.
У статті описуються найбільш популярні серед існуючих підходів до проведення верифікації UML-діаграми, що використовується частіше за все - діаграми класів. Вказується, що дані методи дають можливість оцінити її коректність лише в окремих аспектах, і найбільш ефективним являється комплексне використання даних методів.
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.
|
| first_indexed | 2025-12-07T18:24:37Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-83837 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-12-07T18:24:37Z |
| publishDate | 2013 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Литвинов, В.В. Богдан, И.В. 2015-06-26T07:12:26Z 2015-06-26T07:12:26Z 2013 Формальная верификация диаграммы классов / В.В. Литвинов, И.В. Богдан // Мат. машини і системи. — 2013. — № 2. — С. 41-47. — Бібліогр.: 6 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/83837 004.031.6 В статье описываются наиболее популярные из существующих подходов к верификации наиболее часто используемой UML-диаграммы - диаграммы классов. Указывается, что данные методы позволяют оценить ее корректность только в отдельных аспектах, и наиболее эффективным является комплексное применение данных методов. У статті описуються найбільш популярні серед існуючих підходів до проведення верифікації UML-діаграми, що використовується частіше за все - діаграми класів. Вказується, що дані методи дають можливість оцінити її коректність лише в окремих аспектах, і найбільш ефективним являється комплексне використання даних методів. 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. ru Інститут проблем математичних машин і систем НАН України Математичні машини і системи Інформаційні і телекомунікаційні технології Формальная верификация диаграммы классов Формальна верифікація діаграми класів Formal verification of class diagram Article published earlier |
| spellingShingle | Формальная верификация диаграммы классов Литвинов, В.В. Богдан, И.В. Інформаційні і телекомунікаційні технології |
| title | Формальная верификация диаграммы классов |
| title_alt | Формальна верифікація діаграми класів Formal verification of class diagram |
| title_full | Формальная верификация диаграммы классов |
| title_fullStr | Формальная верификация диаграммы классов |
| title_full_unstemmed | Формальная верификация диаграммы классов |
| title_short | Формальная верификация диаграммы классов |
| title_sort | формальная верификация диаграммы классов |
| topic | Інформаційні і телекомунікаційні технології |
| topic_facet | Інформаційні і телекомунікаційні технології |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/83837 |
| work_keys_str_mv | AT litvinovvv formalʹnaâverifikaciâdiagrammyklassov AT bogdaniv formalʹnaâverifikaciâdiagrammyklassov AT litvinovvv formalʹnaverifíkacíâdíagramiklasív AT bogdaniv formalʹnaverifíkacíâdíagramiklasív AT litvinovvv formalverificationofclassdiagram AT bogdaniv formalverificationofclassdiagram |