Gustavo Gorgulho

According to our database, Gustavo Gorgulho authored at least 4 papers between 2002 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

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

Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho

Electron. Commer. Res., 2006

2003

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

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

Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Extending UML to Specify and Verify E-commerce Systems.

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

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

2002

A Formal Methodology to Specify E-commerce Systems.

Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos

Proceedings of the Formal Methods and Software Engineering, 2002