Formal Rules for Reliable Component-Based Architecture Evolution

Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Huaxi (Yulin) Zhang. Formal Rules for Reliable Component-Based Architecture Evolution. In Ivan Lanese, Eric Madelaine, editors, Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Volume 8997 of Lecture Notes in Computer Science, pages 127-142, Springer, 2014. [doi]

Authors

Abderrahman Mokni

This author has not been identified. Look up 'Abderrahman Mokni' in Google

Marianne Huchard

This author has not been identified. Look up 'Marianne Huchard' in Google

Christelle Urtado

This author has not been identified. Look up 'Christelle Urtado' in Google

Sylvain Vauttier

This author has not been identified. Look up 'Sylvain Vauttier' in Google

Huaxi (Yulin) Zhang

This author has not been identified. Look up 'Huaxi (Yulin) Zhang' in Google