A Software Engineering Process to Specify and Verify E-Commerce Systems

Mark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.. A Software Engineering Process to Specify and Verify E-Commerce Systems. In Ban Al-Ani, Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Software Engineering Research and Practice, SERP 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1. pages 419-425, CSREA Press, 2003.

Authors

Mark A. J. Song

This author has not been identified. Look up 'Mark A. J. Song' in Google

Adriano M. Pereira

This author has not been identified. Look up 'Adriano M. Pereira' in Google

Fernanda Lima

This author has not been identified. Look up 'Fernanda Lima' in Google

Gustavo Gorgulho

This author has not been identified. Look up 'Gustavo Gorgulho' in Google

Sérgio Vale Aguiar Campos

This author has not been identified. Look up 'Sérgio Vale Aguiar Campos' in Google

Wagner Meira Jr.

This author has not been identified. Look up 'Wagner Meira Jr.' in Google