ISSN 0021-3454 (печатная версия)
ISSN 2500-0381 (онлайн версия)
Меню

11
Содержание
том 60 / НОЯБРЬ, 2017
СТАТЬЯ
УДК 004.05

ПОДХОД К СПЕЦИФИКАЦИИ СТРУКТУРНОЙ МОДИФИКАЦИИ КОДА БОРТОВОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

Власов С. А.
Санкт-Петербургский государственный университет аэрокосмического приборостроения, кафедра компьютерной математики и программирования; Аспирант


Бураков В. В.
Санкт-Петербургский государственный университет аэрокосмического приборостроения, кафедра компьютерной математики и программирования; Доцент


Читать статью полностью 

Аннотация.   Представлен подход к спецификации структурных модификаций бортового программного обеспечения, направленных на повышение показателей надежности и безопасности. Подход основан на применении модификаций, описанных графовыми продукциями над графовым представлением исходного кода.
Ключевые слова:

рефакторинг, модификация, граф, продукция.