BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Castilho:Jos=eacute=_Mauro_Volkmer_de

Contributed to:

VLDB 19821982
VLDB 19811981

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.