BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
specif (2)
system (2)
check (2)
dynam (1)
java (1)

Stem chet$ (all stems)

2 papers:

IWPCIWPC-2005-Reiss #java #specification #tool support
Tool Demonstration: CHET: Checking Specifications in Java Systems (SPR), pp. 165–168.
ASEASE-2004-Reiss #named #specification
CHET: A System for Checking Dynamic Specifications (SPR), pp. 302–305.
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.