Towards a categorical framework to ensure correct software evolutions

Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnaty. Towards a categorical framework to ensure correct software evolutions. In Serge Abiteboul, Klemens Böhm, Christoph Koch, Kian-Lee Tan, editors, Workshops Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany. pages 139-144, IEEE, 2011. [doi]

Authors

Sylvain Bouveret

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

Julien Brunel

This author has not been identified. Look up 'Julien Brunel' in Google

David Chemouil

This author has not been identified. It may be one of the following persons: Look up 'David Chemouil' in Google

Fabien Dagnaty

This author has not been identified. Look up 'Fabien Dagnaty' in Google