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 × Italy
Collaborated with:
L.Burdy J.Lanet D.Bert S.Boulmé M.Potet L.Voisin
Talks about:
translat (1) approach (1) program (1) develop (1) correct (1) specif (1) orient (1) applet (1) embed (1) adapt (1)

Person: Antoine Requet

DBLP DBLP: Requet:Antoine

Contributed to:

FME 20032003

Wrote 2 papers:

FME-2003-BertBPRV #adaptation #c #embedded #source code #specification
Adaptable Translator of B Specifications to Embedded C Programs (DB, SB, MLP, AR, LV), pp. 94–113.
FME-2003-BurdyRL #approach #correctness #developer #java
Java Applet Correctness: A Developer-Oriented Approach (LB, AR, JLL), pp. 422–439.

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.