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 × Canada
1 × Italy
1 × USA
Collaborated with:
F.Ortin D.Z.Palacio J.Quiroga S.M.Nunez V.García-Díaz
Talks about:
framework (2) implement (1) support (1) reflect (1) facilit (1) context (1) checker (1) orient (1) object (1) formed (1)

Person: Miguel García

DBLP DBLP: Garc=iacute=a:Miguel

Contributed to:

SEKE 20142014
SEKE 20112011
ateM 20062006

Wrote 3 papers:

SEKE-2014-OrtinPQG #framework #implementation #named #object-oriented
TyS — A Framework to Facilitate the Implementation of Object-Oriented Type Checkers (FO, DZP, JQ, MG), pp. 150–155.
SEKE-2011-NunezOGG #framework #order
Computational Reflection in order to support Context-Awareness in a Robotics Framework (SMN, FO, MG, VGD), pp. 533–538.
ATEM-2006-Garcia #formal method #ocl #uml
Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL (MG), pp. 66–75.

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.