Travelled to:1 × France
1 × Mexico
Collaborated with:A.L.Furtado M.A.Casanova P.A.S.Veloso
Talks about:specif (2) complementari (1) framework (1) systemat (1) databas (1) tempor (1) deriv (1)
Person: José Mauro Volkmer de Castilho
DBLP: Castilho:Jos=eacute=_Mauro_Volkmer_de
Contributed to:
19821981Wrote 2 papers:
- VLDB-1982-CastilhoCF #database #framework #specification
- A Temporal Framework for Database Specifications (JMVdC, MAC, ALF), pp. 280–291.
- VLDB-1981-VelosoCF #specification
- Systematic Derivation of Complementary Specifications (PASV, JMVdC, ALF), pp. 409–421.