Travelled to:1 × Portugal
1 × Spain
Collaborated with:∅ J.D.Jr. J.A.O.G.d.Cunha A.Álvaro S.R.d.L.Meira
Talks about:qualiti (1) program (1) databas (1) specif (1) servic (1) formal (1) certif (1) relat (1) model (1) deriv (1)
Person: Roberto Souto Maior de Barros
DBLP: Barros:Roberto_Souto_Maior_de
Contributed to:
2007
1994Wrote 2 papers:
- ICEIS-DISI-2007-DiasCABM #certification #quality #web #web service #xml
- A XML-based quality model for web services certification (JDJ, JAOGdC, AÁ, RSMdB, SRdLM), pp. 288–294.
- FME-1994-Barros #database #relational #source code #specification
- Deriving Relational Database Programs from Formal Specifications (RSMdB), pp. 703–723.