Формальная верификация диаграммы классов
В статье описываются наиболее популярные из существующих подходов к верификации наиболее часто используемой UML-диаграммы - диаграммы классов. Указывается, что данные методы позволяют оценить ее корректность только в отдельных аспектах, и наиболее эффективным является комплексное применение данных м...
Збережено в:
| Дата: | 2013 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2013
|
| Назва видання: | Математичні машини і системи |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/83837 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Формальная верификация диаграммы классов / В.В. Литвинов, И.В. Богдан // Мат. машини і системи. — 2013. — № 2. — С. 41-47. — Бібліогр.: 6 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-83837 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-838372015-07-05T11:49:07Z Формальная верификация диаграммы классов Литвинов, В.В. Богдан, И.В. Інформаційні і телекомунікаційні технології В статье описываются наиболее популярные из существующих подходов к верификации наиболее часто используемой 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. 2013 Article Формальная верификация диаграммы классов / В.В. Литвинов, И.В. Богдан // Мат. машини і системи. — 2013. — № 2. — С. 41-47. — Бібліогр.: 6 назв. — рос. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/83837 004.031.6 ru Математичні машини і системи Інститут проблем математичних машин і систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Інформаційні і телекомунікаційні технології Інформаційні і телекомунікаційні технології |
| spellingShingle |
Інформаційні і телекомунікаційні технології Інформаційні і телекомунікаційні технології Литвинов, В.В. Богдан, И.В. Формальная верификация диаграммы классов Математичні машини і системи |
| description |
В статье описываются наиболее популярные из существующих подходов к верификации наиболее часто используемой UML-диаграммы - диаграммы классов. Указывается, что данные методы позволяют оценить ее корректность только в отдельных аспектах, и наиболее эффективным является комплексное применение данных методов. |
| format |
Article |
| author |
Литвинов, В.В. Богдан, И.В. |
| author_facet |
Литвинов, В.В. Богдан, И.В. |
| author_sort |
Литвинов, В.В. |
| title |
Формальная верификация диаграммы классов |
| title_short |
Формальная верификация диаграммы классов |
| title_full |
Формальная верификация диаграммы классов |
| title_fullStr |
Формальная верификация диаграммы классов |
| title_full_unstemmed |
Формальная верификация диаграммы классов |
| title_sort |
формальная верификация диаграммы классов |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| publishDate |
2013 |
| topic_facet |
Інформаційні і телекомунікаційні технології |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/83837 |
| citation_txt |
Формальная верификация диаграммы классов / В.В. Литвинов, И.В. Богдан // Мат. машини і системи. — 2013. — № 2. — С. 41-47. — Бібліогр.: 6 назв. — рос. |
| series |
Математичні машини і системи |
| work_keys_str_mv |
AT litvinovvv formalʹnaâverifikaciâdiagrammyklassov AT bogdaniv formalʹnaâverifikaciâdiagrammyklassov |
| first_indexed |
2023-10-18T19:27:36Z |
| last_indexed |
2023-10-18T19:27:36Z |
| _version_ |
1796147016856764416 |