Buchumschlag

Javachecker: статический анализ программных комплексов с помощью переписывающих правил

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2004
1. Verfasser:	Шевченко, Р.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут програмних систем НАН України 2004
Schlagworte:	Методы и средства программной инженерии
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/2310
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Javachecker: статический анализ программных комплексов с помощью переписывающих правил /Р. Шевченко // Проблеми програмування. — 2004. — N 2,3. — С. 223-230. — Бібліогр.: 9 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Концепция аналитической оценки характеристик качества программных компонентов
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2004)

Применение концепции операционных профилей в инженерии надежности программных систем
von: Мороз, Г.Б., et al.
Veröffentlicht: (2004)

Концепція створення моделі прикладної програмної системи з розвинутою функцією життєздатності
von: Ігнатенко, П.П., et al.
Veröffentlicht: (2004)

Взаимное преобразование UFO- и UML-моделей
von: Бондаренко, М.Ф., et al.
Veröffentlicht: (2004)

Методи еволюції програмних компонентів для їх повторного застосування
von: Грищенко, В.М.
Veröffentlicht: (2004)

Создание программного каркаса Windows CE
von: Семенец, С.В.
Veröffentlicht: (2004)

Рекурсивная модель жизненного цикла разработки программ и ее применение
von: Мучник, М.М.
Veröffentlicht: (2004)

Онтологічні моделі опису готових ресурсів у розробці програм
von: Бабенко, Л.П., et al.
Veröffentlicht: (2004)

CASE-инструментарий UFO-toolkit. Автоматизация построения УФО-моделей
von: Маторин, В.С., et al.
Veröffentlicht: (2004)

Підхід до оцінювання економічних характеристик проектних рішень при розробці, модифікації та реінжинірингу програмних систем
von: Стрєлов, І.А., et al.
Veröffentlicht: (2004)

Проблеми оцінювання якості критичних програмних систем при їх сертифікації
von: Райчев, І.Е., et al.
Veröffentlicht: (2004)

Менеджмент проекту інформаційної системи ПІдтримки нормативно-правового забезпечення органів державного управління
von: Задорожна, Н.Т.
Veröffentlicht: (2004)

Задачі та засоби моделювання й оцінювання життєздатних програмних систем
von: Ігнатенко, П.П., et al.
Veröffentlicht: (2003)

Алгебраїчна модель рефакторінгу компонентів
von: Грищенко, В.М.
Veröffentlicht: (2003)

Розвиток спіральної моделі життєвого циклу програмних систем
von: Алексєєв, В.А., et al.
Veröffentlicht: (2003)

Разработка високопараллельних приложений для графических ускорителей с использованием переписывающих правил
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2009)

Автоматизация построения бизнес-правил в процессе реинжиниринга программных legacy-систем на этапе анализа их функциональных структур
von: Гриценко, В.И., et al.
Veröffentlicht: (2009)

Анализ технологии создания инфрастуктуры для разработки и развертывания программных приложений
von: Ходякова, Г.В., et al.
Veröffentlicht: (2019)

n- исчисление – реалистичная формализация класса переписывающих систем
von: Шевченко, Р.С., et al.
Veröffentlicht: (2011)

Миграция устаревших программных платформ
von: Фальфушинский, В.В.
Veröffentlicht: (2012)

Анализ программных legacy-систем для определения объектов – кандидатов в бизнес-термины
von: Гриценко, В.И., et al.
Veröffentlicht: (2009)

Декларативный подход к описанию трансформации данных с разрешением конфликтов обновления
von: Стадник, Ю.В.
Veröffentlicht: (2004)

Общая технология построения базис-правил при реинжиниринге программных legacy-систем
von: Гриценко, В.И., et al.
Veröffentlicht: (2009)

Построение оптимальных расписаний программных движений промышленных роботов
von: Зак, Ю.А.
Veröffentlicht: (2014)

Ефективний метод виявлення структур залежностей в статистичних даних
von: Балабанов, О.С.
Veröffentlicht: (2004)

Концептуальні основи Байєсівської діагностики у розмитому інформаційному просторі при дзвоноподібних функціях належності
von: Верьовка, О.В., et al.
Veröffentlicht: (2004)

Концептуальная модель базы знаний интеллектуальной медицинской системы
von: Прокопчук, Ю.А.
Veröffentlicht: (2004)

Построение и обоснование обобщенного дерева критериев ценности при учете различных точек зрения на проблему многокритериального оценивания
von: Ильина, Е.П., et al.
Veröffentlicht: (2004)

Модифікаційні предикатні запити
von: Шекета, В.І.
Veröffentlicht: (2004)

Декларация пространств имен ресурсов электронного бизнеса для идентификации домена
von: Плескач, В.Л., et al.
Veröffentlicht: (2004)

Применение аппарата математической логики для моделирования распостранения лесного пожара
von: Ходаков, В.Е., et al.
Veröffentlicht: (2004)

Про застосування Байєсових мереж у простих експертних системах
von: Міщенко, Н.М., et al.
Veröffentlicht: (2004)

Онтології у контексті інтеграції інформації: представлення, методи та інструменти побудови
von: Овдій, О.М., et al.
Veröffentlicht: (2004)

Концепція керiваного проектування інформаційних систем управлінської діяльності
von: Задорожна, Н.Т., et al.
Veröffentlicht: (2003)

Організація схем взаємодії відомчихінформаційних систем в інтегрованій міжвідомчій інформаційній системі
von: Алексєєв, В.А., et al.
Veröffentlicht: (2003)

Процессно-ориентированное проектирование программных комплексов как систем сервисов
von: Петренко, А.И.
Veröffentlicht: (2016)

Робастная адаптивная идентификация нестационарных временных рядов с помощью ансамбля обучаемых гибридных адаптивных моделей
von: Бодянский, Е.В., et al.
Veröffentlicht: (2016)

Инженерия качества процессов производства программных систем с помощью сетей Петри
von: Матвеева, Л.Е.
Veröffentlicht: (2010)

Интегрированная технология интеллектуального управления рисками программных проектов
von: Слабоспицкая, О.А., et al.
Veröffentlicht: (2009)

Особенности тестирования критических программных систем при их сертификации
von: Райчев, И.Э., et al.
Veröffentlicht: (2011)