Used together with:
specif
(1)
infer
(1)
analysi
(1)
graph
(1)
use
(1)
Stem
leightweight$ (
all stems
)
1 papers:
ICSE-2001-DillonS
#analysis
#graph
#specification
#using
Leightweight Analysis of Operational Specifications Using Inference Graphs (
LKD
,
KS
), pp. 57–67.
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
.