Incorporating Semantic Algebra in the MDA Framework. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior (ICSOFT (SE/MUSE/GSDCA), 2008)

An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior (SEW, 2008)

Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior; Anikó Costa; Luís Gomes 001 (J. Univers. Comput. Sci., 2009)

Semantic Equations for Formal Models in the Model-Driven Architecture. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge Figueiredo 001; Anikó Costa; Luís Gomes 001; Antonio D. dos S. Junior (DoCEIS, 2010)

Properties Preservation in Distributed Execution of Petri Nets Models. - Anikó Costa; Paulo E. S. Barbosa; Luís Gomes 001; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior (DoCEIS, 2010)

NUTES ProLS: Specification of an Environment for Prototyping and Evolving EHR Data Collection Systems. - Antonio D. dos S. Junior; Paulo E. S. Barbosa; Normando G. de C. Junior; Sidney A. Rodrigues; Misael Morais; Robson Pequeno (CBMS, 2014)