Zhi Li 0017, Jon G. Hall, Lucia Rapanotti. On the Construction of Specifications from Requirements. In Claudia P. Ayala, Simone D. J. Barbosa, Hugo Estrada, Maria Lencastre, Eduardo Figueiredo 0001, editors, Proceedings of the 14th Iberoamerican Conference on Software Engineering, CIbSE 2011, Rio de Janeiro, Brasil, April 27-29, 2011. pages 431, 2011.
Abstract is missing.