Extending UML to Specify and Verify E-commerce Systems.

Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Srgio Vale Aguiar Campos, Wagner Meira Jr.

Browse the full SEKE paper archive.