Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Проблеми програмування
→
Проблеми програмування, 2004
→
Проблеми програмування, 2004, № 2,3
→
Перегляд Проблеми програмування, 2004, № 2,3 за темою

Перегляд Проблеми програмування, 2004, № 2,3 за темою "Методы и средства программной инженерии"

Результати 1-12 з 12

CASE-инструментарий UFO-toolkit. Автоматизация построения УФО-моделей

Маторин, В.С.; Маторин, С.И.; Попов, А.С. (2004)

The development and perfection questions of the original knowledge oriented program CASE-tool “UFO-toolkit” are considered. The algorithm of the business-systems and business-processes models automatic building with the ...
Javachecker: статический анализ программных комплексов с помощью переписывающих правил

Шевченко, Р. (2004)

У роботі описано один із підходів до аналізу програмних комплексів, що грунтується на методех символьної обробки інформації. Особливістю підходу є застосування формального аналізу не до обчислювальної семантики програмних ...
Взаимное преобразование UFO- и UML-моделей

Бондаренко, М.Ф.; Пирог, С.С.; Соловьева, Е.А.; Украинец, А.Г. (2004)

Представлены результаты стыковки известного инструмента визуального моделирования – Rational Rose и нового инструмента системно-объектного анализа и моделирования UFO-toolkit. Рассмотрен вопрос автоматизации прямого и ...
Концепция аналитической оценки характеристик качества программных компонентов

Лаврищева, Е.М.; Рожнов, А.М. (2004)

Рассматривается проблема обеспечения качества программных компонентных систем. Дано определение модели качества таких систем. Предложена концепция и подход к аналитической оценке атрибутов характеристик качества компонентов. ...
Концепція створення моделі прикладної програмної системи з розвинутою функцією життєздатності

Ігнатенко, П.П.; Стрєлов, І.А.; Ткаченко, В.М.; Дуднік, Р.О. (2004)

Розглянуто основні аспекти створення прикладних програмних систем (ПС), що впливають на їх життєздатність на стадії функціонування та запропоновано концепцію технології створення ПС з розвинутою функцією життєздатності.
Менеджмент проекту інформаційної системи ПІдтримки нормативно-правового забезпечення органів державного управління

Задорожна, Н.Т. (2004)

Аналізується менеджмент проекту інформаційних систем (ІС) управлінської діяльності на базі сучасних принципів керування ство- ренням програмного забезпечення. Визначена формальна модель проектного менеджменту таких систем. ...
Методи еволюції програмних компонентів для їх повторного застосування

Грищенко, В.М. (2004)

Визначаються методи та операції еволюції компонентів для їх поліпшення, відновлення та повторного застосування, тобто рефакторінг (зміна інтерфейсів та реалізацій), реінжінірінг (реструктуризація, перепрограмування,) та ...
Онтологічні моделі опису готових ресурсів у розробці програм

Бабенко, Л.П.; Поляничко, С.Л. (2004)

Досліджено роль домену програмної інженерії у системі концентрації знань з інфраструктури розробки програмних систем. Визначені базові засади побудови інформаційних моделей готових ресурсів розробки програмних систем як ...
Применение концепции операционных профилей в инженерии надежности программных систем

Мороз, Г.Б.; Коваль, Г.И.; Коротун, Т.М. (2004)

В докладе представлен подход к изучению особенностей эксплуатации разрабатываемых программных систем (ПС) на основе определения совокупности операционных профилей. Дана краткая характеристика основных элементов процесса ...
Проблеми оцінювання якості критичних програмних систем при їх сертифікації

Райчев, І.Е.; Харченко, О.Г. (2004)

В статті розглянуті питання побудови процедури сертифікації ПЗ автоматизованих систем контролю, як одного з класів критичних програмних систем, для яких сертифікація відповідності є обов'язковою. Розроблені методи ...
Рекурсивная модель жизненного цикла разработки программ и ее применение

Мучник, М.М. (2004)

В докладе рассмотрены различные модели жизненного цикла разработки программ и предложена новая – рекурсивная модель жизненного цикла. Проведен сравнительный анализ рекурсивной и базовых моделей жизненного цикла, ...
Создание программного каркаса Windows CE

Семенец, С.В. (2004)

При створенні моделі класів UML є доцільним розроблювати та використовувати вже існуючі моделі. Вони формують базис для сімейства подібних прикладних програм - програмний каркас. Програмним каркасом є множина визначених ...

Результати 1-12 з 12

Пошук

Розширений пошук

Перегляд

Вся бібліотека
Колекція

Перегляд Проблеми програмування, 2004, № 2,3 за темою "Методы и средства программной инженерии"

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2004, № 2,3 за темою "Методы и средства программной инженерии"

Пошук

Перегляд

Вся бібліотека

Колекція

Мій обліковий запис