APPROACH TO STRUCTURE MODIFICATION SPECIFICATION OF ON-BOARD PROGRAM SUPPORT CODE
St. Petersburg State University of Aerospace Instrumentation, Department of Computer Mathematics and Programming; Post-Graduate Student
V. V. Burakov
St. Petersburg State University of Aerospace Instrumentation, Department of Computer Mathematics and Programming;
Read the full article
Abstract. The paper presents an approach to the specification of the structural modifications of the onboard software to improve reliability and safety. The basis of the approach is to use the modifications described in graphs, on a graph representation of source code
Keywords:
refactoring, modifications, graph
