| 2006 |
|---|
| 4 | EE | Adriano M. Pereira,
Mark Song,
Gustavo Gorgulho:
The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems.
Electronic Commerce Research 6(3-4): 265-303 (2006) |
| 2003 |
|---|
| 3 | | Mark Song,
Adriano 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: 306-313 |
| 2 | | Mark Song,
Adriano 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: 419-425 |
| 2002 |
|---|
| 1 | EE | Adriano M. Pereira,
Mark Song,
Gustavo Gorgulho,
Wagner Meira Jr.,
Sérgio Vale Aguiar Campos:
A Formal Methodology to Specify E-commerce Systems.
ICFEM 2002: 180-191 |
