UML-CAFE: A Process to Specify and Verify E-Commerce Systems - A Case Study
SONG, Mark Alan Junho; PEREIRA, Adriano ; CAMPOS, Sergio Vale Aguiar . UML-CAFE: A Process to Specify and Verify E-Commerce Systems - A Case Study. In: The Sixth International Conference on Electronic Commerce Research, 2003, Dallas, USA. Proceeding of The Sixth International Conference on Electronic Commerce Research, 2003. p. 521-542.
2003