BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
Z.Zeng T.J.Weigert A.Liu K.R.Nair
Talks about:
specif (2) criterion (1) approach (1) requir (1) formal (1) direct (1) verif (1) logic (1) frorl (1) debug (1)

Person: Jeffrey J. P. Tsai

DBLP DBLP: Tsai:Jeffrey_J=_P=

Contributed to:

SEKE 19961996
SEKE 19931993

Wrote 2 papers:

SEKE-1996-ZengTW #specification #testing #verification
Verification Criterion Directed Testing for Formal Specifications (ZZ, JJPT, TJW), pp. 393–399.
SEKE-1993-TsaiLN #approach #debugging #requirements #specification
Debugging Logic-Based Requirements Specifications — a FRORL Approach (JJPT, AL, KRN), pp. 372–379.

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.