Extending UML to Specify and Verify E-Commerce Systems

SONG, Mark Alan Junho; PEREIRA, Adriano ; CAMPOS, Sergio Vale Aguiar ; MEIRA JR, Wagner . Extending UML to Specify and Verify E-Commerce Systems. In: The Fifteenth International Conference on Software Engineering and Knowledge Engineering, 2003, San Francisco, USA. Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering, 2003. p. 306-313.

2003