Used together with:
tool
(1)
orient
(1)
about
(1)
classess
(1)
languag
(1)
Stem
reasonong$ (
all stems
)
1 papers:
ESOP-1998-HenselHJT
#logic
#modelling
#object-oriented
#tool support
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools (
UH
,
MH
,
BJ
,
HT
), pp. 105–121.
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
.