ПОДХОД К СПЕЦИФИКАЦИИ СТРУКТУРНОЙ МОДИФИКАЦИИ КОДА БОРТОВОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Санкт-Петербургский государственный университет аэрокосмического приборостроения, кафедра компьютерной математики и программирования; Аспирант
Бураков В. В.
Санкт-Петербургский государственный университет аэрокосмического приборостроения, кафедра компьютерной математики и программирования; Доцент
Читать статью полностью
Аннотация. Представлен подход к спецификации структурных модификаций бортового программного обеспечения, направленных на повышение показателей надежности и безопасности. Подход основан на применении модификаций, описанных графовыми продукциями над графовым представлением исходного кода.
Ключевые слова:
рефакторинг, модификация, граф, продукция.
