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 × France
1 × Russia
Collaborated with:
O.Henniger H.Wiland
Talks about:
testabl (2) framework (1) strategi (1) unbound (1) theori (1) specif (1) qualit (1) notion (1) minim (1) test (1)

Person: Bernd Baumgarten

DBLP DBLP: Baumgarten:Bernd

Contributed to:

World Congress on Formal Methods 19991999
IWTCS 19991999
IWTCS 19981998

Wrote 3 papers:

FM-v2-1999-Baumgarten #framework #specification
A Minimal Framework for Specification Theory (BB), p. 1861.
IWTCS-1999-BaumgartenH #bound #testing
Testability with Unbounded Testing Strategies (BB, OH), pp. 43–60.
IWTCS-1998-BaumgartenW #testing
Qualitative Notions of Testability (BB, HW), pp. 345–360.

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.