Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2004
Автор:	Шевченко, Р.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2004
Теми:	Методы и средства программной инженерии
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/2310
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Javachecker: статический анализ программных комплексов с помощью переписывающих правил /Р. Шевченко // Проблеми програмування. — 2004. — N 2,3. — С. 223-230. — Бібліогр.: 9 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Концепция аналитической оценки характеристик качества программных компонентов
за авторством: Лаврищева, Е.М., та інші
Опубліковано: (2004)

Применение концепции операционных профилей в инженерии надежности программных систем
за авторством: Мороз, Г.Б., та інші
Опубліковано: (2004)

Концепція створення моделі прикладної програмної системи з розвинутою функцією життєздатності
за авторством: Ігнатенко, П.П., та інші
Опубліковано: (2004)

Взаимное преобразование UFO- и UML-моделей
за авторством: Бондаренко, М.Ф., та інші
Опубліковано: (2004)

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

Создание программного каркаса Windows CE
за авторством: Семенец, С.В.
Опубліковано: (2004)

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

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

CASE-инструментарий UFO-toolkit. Автоматизация построения УФО-моделей
за авторством: Маторин, В.С., та інші
Опубліковано: (2004)

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

Проблеми оцінювання якості критичних програмних систем при їх сертифікації
за авторством: Райчев, І.Е., та інші
Опубліковано: (2004)

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

Задачі та засоби моделювання й оцінювання життєздатних програмних систем
за авторством: Ігнатенко, П.П., та інші
Опубліковано: (2003)

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

Розвиток спіральної моделі життєвого циклу програмних систем
за авторством: Алексєєв, В.А., та інші
Опубліковано: (2003)

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

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

Анализ технологии создания инфрастуктуры для разработки и развертывания программных приложений
за авторством: Ходякова, Г.В., та інші
Опубліковано: (2019)

n- исчисление – реалистичная формализация класса переписывающих систем
за авторством: Шевченко, Р.С., та інші
Опубліковано: (2011)

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

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

Анализ программных legacy-систем для определения объектов – кандидатов в бизнес-термины
за авторством: Гриценко, В.И., та інші
Опубліковано: (2009)

Общая технология построения базис-правил при реинжиниринге программных legacy-систем
за авторством: Гриценко, В.И., та інші
Опубліковано: (2009)

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

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

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

Построение и обоснование обобщенного дерева критериев ценности при учете различных точек зрения на проблему многокритериального оценивания
за авторством: Ильина, Е.П., та інші
Опубліковано: (2004)

Модифікаційні предикатні запити
за авторством: Шекета, В.І.
Опубліковано: (2004)

Декларация пространств имен ресурсов электронного бизнеса для идентификации домена
за авторством: Плескач, В.Л., та інші
Опубліковано: (2004)

Применение аппарата математической логики для моделирования распостранения лесного пожара
за авторством: Ходаков, В.Е., та інші
Опубліковано: (2004)

Про застосування Байєсових мереж у простих експертних системах
за авторством: Міщенко, Н.М., та інші
Опубліковано: (2004)

Онтології у контексті інтеграції інформації: представлення, методи та інструменти побудови
за авторством: Овдій, О.М., та інші
Опубліковано: (2004)

Концепція керiваного проектування інформаційних систем управлінської діяльності
за авторством: Задорожна, Н.Т., та інші
Опубліковано: (2003)

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

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

Процессно-ориентированное проектирование программных комплексов как систем сервисов
за авторством: Петренко, А.И.
Опубліковано: (2016)

Робастная адаптивная идентификация нестационарных временных рядов с помощью ансамбля обучаемых гибридных адаптивных моделей
за авторством: Бодянский, Е.В., та інші
Опубліковано: (2016)

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

Интегрированная технология интеллектуального управления рисками программных проектов
за авторством: Слабоспицкая, О.А., та інші
Опубліковано: (2009)

О математических и программных средствах моделирования и оптимизации внешнего государственного долга Украины
за авторством: Гуляницкий, Л.Ф., та інші
Опубліковано: (2010)