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 × Germany
1 × Japan
1 × The Netherlands
4 × USA
Collaborated with:
P.Zave J.W.Baker C.Reynolds P.Hsia B.I.Blum V.R.Basili S.K.Chang M.Evangelist C.V.Ramamoorthy
Talks about:
softwar (3) engin (3) approach (2) program (2) design (2) verif (2) methodolog (1) viewpoint (1) automata (1) toward (1)

Person: Raymond T. Yeh

DBLP DBLP: Yeh:Raymond_T=

Facilitated 2 volumes:

ICSE 1982Ed
ICSE 1976Ed

Contributed to:

SEKE 19931993
ICSE 19811981
VLDB 19781978
VLDB 19771977
DAC 19761976
ICSE 19761976
ICALP 19721972

Wrote 7 papers:

SEKE-1993-BlumBCERY #re-engineering
Software Engineering in the Year 2000 (BIB, VRB, SKC, ME, CVR, RTY), p. 473.
ICSE-1981-ZaveY #embedded #execution #requirements
Executable Requirements for Embedded Systems (PZ, RTY), pp. 295–304.
VLDB-1978-Yeh #database #design #re-engineering
Data Base and Software Engineering — A Design Viewpoint (RTY), p. 22.
VLDB-1977-YehB #approach #design #re-engineering #towards
Toward a Design Methodology for DBMS: A Software Engineering Approach (RTY, JWB), pp. 16–27.
DAC-1976-Yeh #approach #verification
An approach to program verification (RTY), pp. 295–300.
ICSE-1976-ReynoldsY #induction #verification
Induction as the Basis for Program Verification (CR, RTY), p. 389.
ICALP-1972-HsiaY #automaton #finite
Finite Automata with Markers (PH, RTY), pp. 443–451.

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.