Most General Property-Preserving Updates
LATA, pp. 367-379, 2017.
Systems need to be updated to last for a long time in a dynamic environment, and to cope with changing requirements. It is important for updates to preserve the desirable properties of the system under update, while possibly enforcing new ones.
Full Text (Upload PDF)
PPT (Upload PPT)