Approach dynamic software updating java
Even though software systems in some domains are expected to provide continuous services, most of them must undergo some form of changes.
It leads to the emergence of dynamic software updating, a technique for updating a running software system without incurring any downtime.
One of the challenges of designing a correct dynamic update is to identify a set of update points where the update can be safely applied to a running system.
In this paper, we present a formal approach to modeling dynamic software updates and use the formal model to identify safe update points.
Crystal Methods, Dynamic Systems Development Model (DSDM), and Scrum.