BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
constraint (2)
languag (1)
analysi (1)
softwar (1)
reduct (1)

Stem toupi$ (all stems)

2 papers:

TACASTACAS-1996-Rauzy #analysis #constraints #reduction #specification #using
Using the Constraint Language Toupie for “Software Cost Reduction” Specification Analysis (Abstract) (AR), p. 417.
CAVCAV-1995-Rauzy #calculus #constraints #μ-calculus
Toupie = μ-Calculus + Constraints (AR), pp. 114–126.

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.