Model Checking Patterns for e-Commerce Systems
Formal-CAFE Methodology: an E-commerce System's Case Study
Uma Metodologia para Verificação de Modelos de Sistemas de Comércio Eletrônico
A Formal Methodology to Specify E-commerce Systems
A Software Engineering Process to Specify and Verify E-Commerce Systems
A formal specification methodology for e-commerce systems
Adriano Pereira
Mark Alan Junho Song
Sergio Vale Aguiar Campos
Wagner Meira Junior
Fernanda Lima