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 × USA
Collaborated with:
M.A.Ardis L.J.Jagadeesan P.Mataga C.Puchol M.G.Staskauskas J.V.Olnhausen
Talks about:
framework (1) reactiv (1) system (1) specif (1) report (1) method (1) experi (1) evalu (1)

Person: John A. Chaves

DBLP DBLP: Chaves:John_A=

Contributed to:

ICSE 19951995

Wrote 1 papers:

ICSE-1995-ArdisCJMPSO #case study #experience #framework #specification
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report (MAA, JAC, LJJ, PM, CP, MGS, JVO), pp. 159–168.

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.