Gustavo Gorgulho

A Software Engineering Process to Specify and Verify E-Commerce Systems

Sérgio Vale Aguiar Campos, Adriano M. Pereira, Wagner Meira, 2003, Software Engineering Research and Practice.

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Adriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho, 2006, Electron. Commer. Res..

A Formal Methodology to Specify E-commerce Systems

Sérgio Vale Aguiar Campos, Adriano M. Pereira, Wagner Meira, 2002, ICFEM.

Extending UML to Specify and Verify E-commerce Systems

Sérgio Vale Aguiar Campos, Adriano M. Pereira, Wagner Meira, 2003, International Conference on Software Engineering and Knowledge Engineering.