Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, Christian Brenner. Formalizing correctness criteria of dynamic updates derived from specification changes. In Marin Litoiu, John Mylopoulos, editors, Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. SEAMS 2013, San Francisco, CA, USA, May 20-21, 2013. pages 63-72, IEEE / ACM, 2013. [doi]
Abstract is missing.