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:
memori (2)
specif (2)
behavior (1)
simul (1)
debug (1)

Stem dmm$ (all stems)

3 papers:

GT-VMTGT-VMT-2012-ArifulinaSE #specification #test coverage #testing
Coverage Criteria for Testing DMM Specifications (SA, CS, GE).
SLESLE-2010-BandenerSE #behaviour #debugging #execution #specification #visual notation
Extending DMM Behavior Specifications for Visual Execution and Debugging (NB, CS, GE), pp. 357–376.
ICALPICALP-1996-ChlebusGI #simulation
Shared-Memory Simulations on a Faulty-Memory DMM (BSC, AG, PI), pp. 586–597.

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.