A Characterization of Access Profiles and Navigation in E-Commerce: A Tourism Application
A Formal Methodology to Specify E-commerce Systems
UML-CAFE: A Process to Specify and Verify E-Commerce Systems - A Case Study
Extending UML to Specify and Verify E-Commerce Systems
A Software Engineering Process to Specify and Verify E-Commerce Systems
Modeling and Verifying Web Based Systems - An UML-CAFE Case Study
Mark Alan Junho Song
Sergio Vale Aguiar Campos
Wagner Meira Junior
Gustavo GORGULHO
Jussara Marques de Almeida
Ruhan Bidart