Richard Moore

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

Publications

Gabriela N. Aranda, Richard Moore
A formal model for verifying compound design patterns. SEKE (2002)
Andres Flores, Richard Moore, Luis Reynoso
A Formal Model of Object-Oriented Design and GoF Design Patterns. FME (2001)
Alejandra Cechich, Richard Moore
A Formal Basis for Object-Oriented Patterns. APSEC (1999)
Myatav Erdenechimeg, Richard Moore, Yumbayar Namsrai
On the Specification of the Display of Documents in Multi-lingual Computing. PODDP (1998)