Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Distributed software, such as satellite software are now developed and managed by several actors. In this context supporting the maintenance and therefore the evolution of such applications is complex and need a formal framework. In this article,  propose a first step towards such a formal framework to ensure the correctness of software evolutions. Using category theory,  can model software and represent patches. This modeling allows to identify the proof obligations that the provider of a patch has to discharge in order to ensure that its patch preserves the correctness of the software.
['Sylvain Bouveret', 'Julien Brunel', 'David Chemouil', 'Fabien Dagnat']
I am writing a research paper on a idea Towards a categorical framework to ensure correct software evolutions
[{"from": "human", "value": "I am writing a research paper on a idea Towards a categorical framework to ensure correct software evolutions"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Distributed software, such as satellite software are now developed and managed by several actors. In this context supporting the maintenance and therefore the evolution of such applications is complex and need a formal framework. In this article,  propose a first step towards such a formal framework to ensure the correctness of software evolutions. Using category theory,  can model software and represent patches. This modeling allows to identify the proof obligations that the provider of a patch has to discharge in order to ensure that its patch preserves the correctness of the software."}]