Семенець С.В. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем. - Рукопис. Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 - Автоматизовані системи управління та прогресивні інформаційні технології. - Інститут проблем математичних машин і систем НАН України, Київ, 2005. Дисертаційна робота присвячена розробці методів та інструментальних засобів створення прикладних програм для мобільних систем, що враховують особливості різних платформ і спеціалізованих систем на їх основі. Основу роботи становить комплексний метод побудови й аналізу моделі з аналітичною оцінкою заданих характеристик програмної системи з урахуванням можливостей мобільної платформи та перевірки несуперечності моделі на області програмного каркаса операційної системи. Метод забезпечує розширення елементів моделі мобільної ПС новими властивостями та генерацію коду відповідно з розширеними елементами. Запропоновано новий метод перетворення формальної моделі мережі Петрі в контекст мови UML (діаграми класів, послідовності), що дозволяє враховувати в процесі проектування статичні й динамічні особливості програмної системи для мобільного пристрою. Розроблено новий модуль - плагін, та здійснено його підключення до Rational Rose для реалізації механізму розширення UML - мічених значень, врахування в процесі проектування характеристик прикладної програми для мобільного пристрою та генерація вихідного коду, що відповідає заданим обмеженням. Створено програмний каркас ОС Windows СЕ, що дає можливість використовувати внутрішні структури ОС на будь-якому етапі проектування, здійснювати вибір елементів моделі із уже наявних, а також будувати відношення залежності, узагальнення й асоціації. У дисертації представлена ПС, створена на основі наведених теоретичних і інструментальних розробок, що використовується для комунікації між мобільними пристроями у процесі вантажних перевезень. Ключові слова: мобільний пристрій, проектування програмних систем, генерація коду, розширення специфікації, програмний каркас.