![](/irbis_nbuv/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis_nbuv/images/db_navy.gif) Журнали та продовжувані видання ![](/irbis_nbuv/images/db_navy.gif) Автореферати дисертацій ![](/irbis_nbuv/images/db_navy.gif) Реферативна база даних ![](/irbis_nbuv/images/db_navy.gif) Наукова періодика України ![](/irbis_nbuv/images/db_navy.gif) Тематичний навігатор ![](/irbis_nbuv/images/db_navy.gif) Авторитетний файл імен осіб
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>ID=20081124042495<.>) |
Загальна кількість знайдених документів : 1
|
| Семенець С.В. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем : Автореф. дис... канд. техн. наук: 05.13.06 / С.В. Семенець ; Ін-т пробл. мат. машин і систем НАН України. — К., 2006. — 18 с. — укp.Досліджено засоби специфікації апаратних і програмних обмежень операційної системи (ОС) мобільних пристроїв (МП). Описано механізми оцінки продуктивності та безконфліктності стаціонарних програмних систем (ПС) для МП у контексті заданої платформи з використанням відповідних формальних моделей оцінки. Наведено методи перетворення моделі ПС на базі мережі Петрі в нотації UML як засобу врахування динамічних і статичних аспектів мобільних систем (МС), генерації вихідного коду ПС для мобільних платформ на підставі механізмів розширеної UML-моделі, зворотного проектування ОС для створення програмного каркасу МП, що спрощує генерацію моделі каркаса та забезпечує повну відповідність даної моделі структурі ОС. Розроблено комплексну інструментальну систему підтримки процесу створення прикладних програм для МС. Завантажити
Індекс рубрикатора НБУВ: З973.403-018 + Шифр НБУВ: РА343013
Рубрики:
|
|
|