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 × Cyprus
1 × France
1 × Germany
1 × Portugal
1 × The Netherlands
Collaborated with:
M.Frappier R.Laleau J.Milhau P.Batanado M.E.Jiague P.Konopacki R.St.-Denis
Talks about:
transact (2) function (2) attribut (2) synthes (2) definit (2) databas (2) relat (2) translat (1) systemat (1) generat (1)

Person: Frédéric Gervais

DBLP DBLP: Gervais:Fr=eacute=d=eacute=ric

Contributed to:

ICEIS ISAS 20102010
IFM 20102010
ICEIS ISAS 20062006
IFM 20052005
SEFM 20052005

Wrote 5 papers:

ICEIS-ISAS-2010-JiagueFGKLMS #functional #modelling #policy #security
Model-driven Engineering of Functional Security Policies (MEJ, MF, FG, PK, RL, JM, RSD), pp. 374–379.
Systematic Translation Rules from astd to Event-B (JM, MF, FG, RL), pp. 245–259.
ICEIS-ISAS-2006-GervaisBFL #database #named #relational #transaction
EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions (FG, PB, MF, RL), pp. 44–51.
IFM-2005-GervaisFL #specification
Synthesizing B Specifications from EB3 Attribute Definitions (FG, MF, RL), pp. 207–226.
SEFM-2005-GervaisFL #database #generative #recursion #relational #transaction
Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces (FG, MF, RL), pp. 117–126.

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.