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 × Germany
1 × Italy
Collaborated with:
G.N.Aranda A.Flores L.Reynoso
Talks about:
design (3) pattern (2) formal (2) model (2) compound (1) verifi (1) orient (1) object (1) go (1)

Person: Richard Moore

DBLP DBLP: Moore:Richard

Contributed to:

SEKE 20022002
FME 20012001

Wrote 2 papers:

SEKE-2002-ArandaM #design pattern #formal method #verification
A formal model for verifying compound design patterns (GNA, RM), pp. 213–214.
FME-2001-FloresMR #design pattern #formal method #object-oriented
A Formal Model of Object-Oriented Design and GoF Design Patterns (AF, RM, LR), pp. 223–241.

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.