BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
X.He Y.Fu L.Shi P.J.Clarke Z.Dong W.Sun T.Shi Y.Deng
Talks about:
translat (2) approach (2) formal (2) sam (2) architectur (1) middlewar (1) promela (1) correct (1) analysi (1) design (1)

Person: Gonzalo Argote-Garcia

DBLP DBLP: Argote-Garcia:Gonzalo

Contributed to:

SEKE 20082008
SEKE 20072007
SEKE 20062006

Wrote 3 papers:

SEKE-2008-Argote-GarciaCHFS #approach #architecture #formal method
A Formal Approach for Translating a SAM Architecture to PROMELA (GAG, PJC, XH, YF, LS), pp. 440–447.
SEKE-2007-FuDASH #approach #correctness #java #validation
An Approach to Validating Translation Correctness From SAM to Java (YF, ZD, GAG, LS, XH), p. 45–?.
SEKE-2006-SunSADH #analysis #design #formal method #middleware #modelling
Achieving a Better Middleware Design through Formal Modeling and Analysis (WS, TS, GAG, YD, XH), pp. 463–468.

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.