BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Germany
1 × USA
Collaborated with:
A.L.Furtado M.A.Casanova J.M.V.d.Castilho T.S.E.Maibaum M.R.Sadler C.J.P.d.Lucena R.C.B.Martins D.D.Cowan
Talks about:
data (4) specif (3) program (2) base (2) complementari (1) transform (1) systemat (1) perspect (1) abstract (1) process (1)

Person: Paulo A. S. Veloso

DBLP DBLP: Veloso:Paulo_A=_S=

Contributed to:

ICSE 19841984
PODS 19841984
GG 19821982
VLDB 19811981
TAPSOFT, Vol.2: CSE 19851985

Wrote 5 papers:

ICSE-1984-LucenaMVC #problem #programming
The Data Transform Programming Metho: An Example for File Processing Problems (CJPdL, RCBM, PASV, DDC), pp. 388–397.
PODS-1984-CasanovaVF #database #perspective #specification
Formal Data Base Specification — An Eclectic Perspective (MAC, PASV, ALF), pp. 110–118.
GG-1982-FurtadoV #database #specification
Specification of data bases through rewriting rules (ALF, PASV), pp. 102–114.
VLDB-1981-VelosoCF #specification
Systematic Derivation of Complementary Specifications (PASV, JMVdC, ALF), pp. 409–421.
CSE-1985-MaibaumVS #data type #development #formal method #question
A Theory of Abstract Data Types for Program Development: Bridging the Gap? (TSEM, PASV, MRS), pp. 214–230.

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.