Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project

Rodrigo O. Spínola, Felipe C. R. Pinto, Guilherme Horta Travassos. Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Volume 17 of Communications in Computer and Information Science, pages 587-603, Springer, 2008. [doi]

Authors

Rodrigo O. Spínola

This author has not been identified. Look up 'Rodrigo O. Spínola' in Google

Felipe C. R. Pinto

This author has not been identified. Look up 'Felipe C. R. Pinto' in Google

Guilherme Horta Travassos

This author has not been identified. Look up 'Guilherme Horta Travassos' in Google