Gustavo Gorgulho

	2006
4		Adriano M. Pereira, Mark A. J. 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 A. J. 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 A. J. 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		Adriano 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: 180-191

Coauthor Index

1	Sérgio Vale Aguiar Campos	[1] [2] [3]
2	Fernanda Lima	[2] [3]
3	Wagner Meira Jr.	[1] [2] [3]
4	Adriano M. Pereira (Adriano César Machado Pereira)	[1] [2] [3] [4]
5	Mark A. J. Song (Mark Alan Junho Song)	[1] [2] [3] [4]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page