Gustavo Gorgulho

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho
The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems. Electron. Commer. Res. 6 (3-4) (2006)
Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.
Extending UML to Specify and Verify E-commerce Systems. SEKE (2003)
Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.
A Software Engineering Process to Specify and Verify E-Commerce Systems. Software Engineering Research and Practice (2003)
Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos
A Formal Methodology to Specify E-commerce Systems. ICFEM (2002)