A Software Engineering Process to Specify and Verify E-Commerce Systems
SONG, Mark Alan Junho; PEREIRA, Adriano ; GORGULHO, Gustavo ; CAMPOS, Sergio Vale Aguiar ; MEIRA JR, Wagner . A Software Engineering Process to Specify and Verify E-Commerce Systems. In: International Conference on Software Engineering Research and Practice, 2003, Las Vegas, USA. Proceedings of the International Conference on Software Engineering Research and Practice. v. 1. p. 419-425.
2003