| 2008 |
|---|
| 3 | | Paulo E. S. Barbosa,
Franklin Ramalho,
Jorge C. A. de Figueiredo,
Antonio D. dos S. Junior:
Incorporating Semantic Algebra in the MDA Framework.
ICSOFT (SE/MUSE/GSDCA) 2008: 330-336 |
| 2006 |
|---|
| 2 | EE | Cássio L. Rodrigues,
Paulo E. S. Barbosa,
Jairson M. Cabral,
Jorge C. A. de Figueiredo,
Dalton Serey Guerrero:
A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids.
SEFM 2006: 226-235 |
| 2005 |
|---|
| 1 | EE | Patrícia D. L. Machado,
Elthon A. S. Oliveira,
Paulo E. S. Barbosa,
Cássio L. Rodrigues:
Testing from Structured Algebraic Specifications: The Veritas Case Study.
Electr. Notes Theor. Comput. Sci. 130: 235-261 (2005) |
