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]

@inproceedings{BouveretBCD11,
  title = {Towards a categorical framework to ensure correct software evolutions},
  author = {Sylvain Bouveret and Julien Brunel and David Chemouil and Fabien Dagnaty},
  year = {2011},
  doi = {10.1109/ICDEW.2011.5767625},
  url = {http://dx.doi.org/10.1109/ICDEW.2011.5767625},
  tags = {software evolution},
  researchr = {https://researchr.org/publication/BouveretBCD11},
  cites = {0},
  citedby = {0},
  pages = {139-144},
  booktitle = {Workshops Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany},
  editor = {Serge Abiteboul and Klemens Böhm and Christoph Koch and Kian-Lee Tan},
  publisher = {IEEE},
  isbn = {978-1-4244-9194-0},
}