![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=З973-018.123.2$<.>) |
Загальна кількість знайдених документів : 16
Представлено документи з 1 до 16
|
| | | | |
1. |
Кузьменко В. М. Спеціальні мови програмування. Програмні та інструментальні засоби моделювання складних систем : Навч. посіб. для студ. вищ. техн. навч. закл. / В. М. Кузьменко; М-во освіти і науки України. Наук.-метод. центр вищ. освіти. - Х., 2000. - 322 c. - Бібліогр.: с. 296-298. - укp. Індекс рубрикатора НБУВ: З973-018.123.2я73-1
Рубрики:
Шифр НБУВ: ВА614637 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Петров О. С. Моделювання систем на мові GPSS WORLD. Практичний підхід в прикладах і завданнях : навч. посіб. / О. С. Петров, А. Г. Корольов, О. І. Рязанцев, О. Ю. Арлінський; Східноукр. нац. ун-т ім. В.Даля. - Луганськ, 2007. - 167 c. - Бібліогр.: с. 165. - укp.Розглянуто методи та техніку моделюваня систем масового обслуговування на базі мови GPSS World. Наведено інформацію про переваги роботи з системою GPSS World, основні види об'єктів, списки, рядки, блоки, команди GPSS, арифметичні вирази в GPSS World, процедурну мову PLUS. Рассмотрены методы и техника моделирования систем массового обслуживания на основе языка GPSS World. Приведена информация о преимуществах работы с системой GPSS World, основных видах объектов, списках, строчках, блоках, командах GPSS, арифметических выражениях в GPSS World, процедурном языке PLUS. Індекс рубрикатора НБУВ: З973-018.123.2CPSSя73
Рубрики:
Шифр НБУВ: ВА695138 Пошук видання у каталогах НБУВ
|
| | | | |
3. |
Об'єктно-орієнтований аналіз та проектування інформаційних систем : Довід. з універс. мови моделювання (UML) для вивч. навч. дисципліни / уклад.: І. О. Золотарьова, В. М. Коротченко; Харк. нац. екон. ун-т. - Х., 2006. - 72 c. - Бібліогр.: с. 69-70. - укp.Розглянуто концепції та конструкції мови UML - одного з сучасних методів і засобів проектування програмного забезпечення інформаційних систем. Викладено питання її семантики, синтаксису, нотації та призначення. Значну увагу приділено представленням, що використовуються в UML, наведено список стандартних елементів даної мови. Рассмотрены концепции и конструкции языка UML - одного из современных методов и средств проектирования программного обеспечения информационных систем. Изложены вопросы его семантики, синтаксиса, нотации и назначения. Значительное внимание уделено используемым в UML представлениям, приведен список стандартных элементов данного языка. Індекс рубрикатора НБУВ: З973-018.123.2 UML я2
Рубрики:
Шифр НБУВ: ВА677484 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Верлань А. Ф. Объективно-ориентированное моделирование : Учеб. пособие для студ. / А. Ф. Верлань, И. А. Чмырь; Одес. гос. экол. ун-т. - О., 2005. - 244 c. - Библиогр.: 10 назв. - рус.Освещены основы объектно-ориентированной концепции и унифицированный язык моделирования UML. Проанализированы особенности моделирования разных аспектов системы, в частности, структуры, динамики, интерактивного взаимодействия, архитектуры, а также технология моделирования, основанная по прецедентах. Приведены примеры трансляции элементов UML - моделей в код на языке программирования JAVA. Індекс рубрикатора НБУВ: З973-018.123.2 UMLя73-1
Рубрики:
Шифр НБУВ: ВА674391 Пошук видання у каталогах НБУВ
|
| | | | |
5. |
Мельников А. Ю. Объектно-ориентированный анализ и проектирование информационных систем : Учеб. пособие / А. Ю. Мельников; Донбас. гос. машиностроит. акад. - Краматорск, 2006. - 184 c. - Библиогр.: с. 180-183 - рус. Індекс рубрикатора НБУВ: З973-018.123.2UMLя73-1 + З970.41-02я73-1
Рубрики:
Шифр НБУВ: ВА682375 Пошук видання у каталогах НБУВ
|
| | | | |
6. |
Баркалов А. А. Адаптация MDA для моделирования управляющих автоматов в стандартах UML / А. А. Баркалов, И. Я. Зеленева, А. А. Гриценко // Радіоелектроніка. Інформатика. Управління. - 2006. - № 1. - С. 33-37. - Библиогр.: 9 назв. - рус.Предложен подход к адаптации технологии MDA для моделирования цифровых систем, в частности управляющих автоматов, и разработана методика применения UML в качестве языка описания системы. Індекс рубрикатора НБУВ: З815.7 + З973-018.123.2
Рубрики:
Шифр НБУВ: Ж16683 Пошук видання у каталогах НБУВ
|
| | | | |
7. |
Тимочко О. І. Методика кількісної оцінки діаграм UML / О. І. Тимочко, С. В. Осієвський, О. С. Гурін // Системи оброб. інформації. - 2005. - Вип. 8. - С. 146-150. - Бібліогр.: 4 назв. - укp.Розглянуто методику проведення кількісної оцінки діаграм, приведено критерії оцінки залежно від типів та кількості зв'язків. Ключ. слова: діаграми UML, кількісна оцінка, зв'язки мови UML Індекс рубрикатора НБУВ: З973-018.123.2
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
| | | | |
8. |
Ластовченко М. М. Концепция введения графического программирования в управление моделированием сложных дискретно-событийных систем / М. М. Ластовченко, В. С. Терещенко // Управляющие системы и машины. - 2008. - № 6. - С. 49-55, 61. - Библиогр.: 14 назв. - рус. Індекс рубрикатора НБУВ: З973-018.123.2
Рубрики:
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ
|
| | | | |
9. |
Галкін О. В. Мова UML і проектування : навч. посіб. / О. В. Галкін, М. М. Верес, О. С. Шкільняк; Київ. нац. ун-т ім. Т. Шевченка. - К. : Логос, 2012. - 122 c. - Бібліогр.: с. 122 - укp.Викладено основні поняття мови UML. Детально розглянуто основні діаграми, які входять до складу мови UML, а саме: діаграма класів, прецедентів, об'єктів, послідовності, кооперацій, станів, діяльності, компонентів, розгортання. Наведено велику кількість прикладів, що ілюструють використання тих чи інших діаграм. Доведено, що мова UML дозволяє відображати статистичну та динамічну поведінку системи. Зазначено, що динамічна поведінка визначає історію об'єктів та їх взаємодію для досягнення кінцевої мети. Індекс рубрикатора НБУВ: З973-018.123.2 UML я73
Рубрики:
Шифр НБУВ: ВА757945 Пошук видання у каталогах НБУВ
|
| | | | |
10. |
Годлевский А. Б. Инсерционная семантика параллельных процедурных конструктов языка UCM / А. Б. Годлевский // Управляющие системы и машины. - 2012. - № 6. - С. 22-34. - Библиогр.: 14 назв. - рус.Предложено математическое описание семантики процедурного конструкта Stub в языке параллельного моделирования UCM с применением инсерционного подхода, основанного на взаимодействии сред и погруженных в них агентов. Індекс рубрикатора НБУВ: З813.18 + З973-018.123.2
Рубрики:
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ
|
| | | | |
11. |
Губа А. А. Инсерционная семантика плоских многопотоковых моделей языка UCM / А. А. Губа, К. И. Шушпанов // Управляющие системы и машины. - 2012. - № 6. - С. 15-21, 34. - Библиогр.: 16 назв. - рус.Предложена математическая семантика плоских многопотоковых моделей языка UCM. В качестве формализма использована инсерционная модель, обогащенная взаимодействием параллельных процессов через общую память. Разработана функция погружения параллельных процессов UCM в среду. Семантика предложена для символьной верификации многопотоковых моделей. Індекс рубрикатора НБУВ: З813.18 + З973-018.123.2
Рубрики:
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ
|
| | | | |
12. |
Новицький О. В. Розширення UML специфікації для моделювання семантичних об'єктів / О. В. Новицький // Проблеми програмування. - 2016. - N 2/3 (спец. вип.). - С. 211-219. - Бібліогр.: 18 назв. - укp.Запропоновано відображення діаграми класів UML до дескриптивної логіки діалекту SHOIQ. Запропоновано розширення нотацій UML шляхом використання стереотипів для максимального наближення семантичних конструкцій. Вказано на причини та проблеми, що виникають за такого відображення. Індекс рубрикатора НБУВ: З973-018.123.2
Рубрики:
Шифр НБУВ: Ж69331 Пошук видання у каталогах НБУВ
|
| | | | |
13. |
Литвинов В. В. Язык блочного имитационного моделирования на базе модифицированных диаграмм деятельности UML / В. В. Литвинов, А. А. Задорожний, И. В. Богдан // Мат. машини і системи. - 2017. - № 4. - С. 151-159. - Библиогр.: 3 назв. - рус.Рассмотрен новый язык блочного имитационного моделирования, который позволяет включать в общую схему моделирования блоки, полученные путем индуктивного моделирования как в виде функций, так и в виде автоматных преобразователей. Предложенный язык моделирования позволяет объединить в единой модели индуктивный и дедуктивный подходы к созданию имитационных моделей. Двухуровневая архитектура предложенного языка позволяет отделить уровень управления от уровня преобразования данные, чего нельзя получить при использовании агрегатного подхода. Індекс рубрикатора НБУВ: З973-018.123.2
Рубрики:
Шифр НБУВ: Ж23045 Пошук видання у каталогах НБУВ
|
| | | | |
14. |
Постіл С. Д. UML. Уніфікована мова моделювання інформаційних систем : навч. посіб. / С. Д. Постіл; Ун-т держ. фіск. служби України. - Ірпінь : Ун-т держ. фіск. служби України, 2019. - 321 c. - (На допомогу студенту УДФСУ; т. 54). - Бібліогр.: с. 288-289 - укp.Розглянуто об'єктно-орієнтовану графічну мову моделювання UML, яка використовується на етапі аналізу та проектування інформаційних систем з використанням діаграм і безпосередньо мову програмування. Зокрема, представлено концептуальне проектування мовою UML на основі специфікацій діаграм, рекомендацій та прикладів їх побудови. Розглянуто проблеми, методології та методи генерації вихідних текстів програм з візуальних моделей проекту; технологію моделювання за допомогою CASE-пакета Rational Software Architect IBМ. Індекс рубрикатора НБУВ: З973-018.123.2 UML я73-1
Рубрики:
Шифр НБУВ: ВА839209 Пошук видання у каталогах НБУВ
|
| | | | |
15. |
Mullenbach S. Conceptual modeling language AGILA MOD = Мова концептуального моделювання AGILA MOD / S. Mullenbach, L. Kern-Bausch, M. Kolonko // Herald of Advanced Inform. Technology. - 2019. - 2, № 4. - С. 246-258. - Бібліогр.: 24 назв. - англ.Розглянуто існуючі підходи до розробки моделей предметних областей із метою з'ясування причин їх слабкого практичного застосування. Визначено важливі вимоги, яким повинна відповідати мова концептуального моделювання для її більш широкого практичного застосування. Розглянуто концепції мов семантичного моделювання. Використання семантики замість простих структурних конструкцій спрощує доступ і розуміння зацікавлених сторін, які не пов'язані з ІТ. Це допомагає перевірити валідність створених структур даних на відповідність вимогам реального бізнесу. Обговорено концепцію семантично неприводимого моделювання речень, яка може слугувати мостом між семантичним і концептуальним моделюванням. За результатами цих обговорень наведено мову концептуального моделювання AGILA MOD. Ця мова моделювання заснована на ідеї зображення семантично неприводимих речень як графічна модель. Таким чином, AGILA MOD може виступати як загальна платформа, з якої всі учасники проекту можуть домовитися про створення моста між впровадженням ІТ і бізнес-вимогами. Моделі можуть бути створені з семантично неприводимих речень, і їх можна читати назад у семантично неприводимі речення, що робить цю мову легкою для розуміння всіма учасниками проекту. Мова AGILA MOD заснована на відомій мові Entity-Relationship із введенням деяких спрощень. Додано декілька додаткових конструкцій, які також відносяться до добре відомих методів моделювання, що зводить зусилля до вивчення нових елементів майже до нуля. Деривація моделей AGILA MOD у логічну модель виконується за простими правилами деривації, що робить її менш трудомістким і, отже, менш витратним. Ця мова має бути основою для подальших досліджень, спрямованих на нові логічні моделі NoSQL, а також на створення узагальненої структури, яка надасть можливість максимально автоматизувати процедуру деривації. Крім того, можливість використання концепції багатоваріантної персистентності в поєднанні з AGILA MOD і створення зручного API повинні бути розглянуті в майбутніх дослідженнях. Індекс рубрикатора НБУВ: З973-018.123.2
Рубрики:
Шифр НБУВ: Ж101737 Пошук видання у каталогах НБУВ
|
| | | | |
16. |
Новицький О. В. Модель інформаційного об'єкта для електронної бібліотеки та її верифікація / О. В. Новицький, В. А. Резніченко // Проблеми програмування. - 2020. - N 2/3 (спец. вип.). - С. 31-38. - Бібліогр.: 23 назв. - укp.Запропоновано підхід формальної верифікації UML 2,0 через відображення OWL-DL в UML 2,0. Розроблено оригінальний метод до відображення OWL-DL в UML 2,0 через дескриптивну логіку. Забезпечено повноту відображення UML-OWL через стереотипи та мічені значення UML 2,0 на рівні М0, М1 метамоделі МОF. Запропоновано модель інформаційного об'єкта для семантичної електронної бібліотеки, яка побудована з використанням мови UML. Здійснено перевірку запропонованої моделі шляхом відображення моделі UML в OWL з наступною валідацією побудованої онтології за допомогою різонерів. Індекс рубрикатора НБУВ: З973-018.123.2
Рубрики:
Шифр НБУВ: Ж69331 Пошук видання у каталогах НБУВ
|
|
|