Recherche
Présentation
Le laboratoire
Organigramme
Recrutement
Contact
Accès
Recherche
Equipes
- Administration
- ILJ
- Isid
- Laetitia
- MSDMA
- OC
- SYS
- Vertigo
Actualités et Evénements
Membres
Publications
Doctorants
Formation
Electronique
Informatique
Mathématiques
Master
ENSIIE
Ecole Doctorale
Intranet
Connexion
Accueil CEDRIC
>
Laboratoire
>
Membre
>
View
>
Panawé Batanado
Publications
2006
Conférence Internationale avec comité de lecture
[GBF06a]
F. Gervais
, P. Batanado, M. Frappier,
R. Laleau
. "
EB3TG: A Tool Synthesizing Relational Database Transactions From EB3 Attribute Definitions
", ICEIS'06, Paphos, Chypre, January 2006,
pp.
44-51,
Series
ISAS
,
Conférence Nationale avec comité de lecture
[GBF06]
F. Gervais
, P. Batanado, M. Frappier,
R. Laleau
. "
Génération automatique de transactions de base de données relationnelle à partir de définitions d'attributs EB3
", AFADL'06 Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France, January 2006,
pp.
25-39,
[BGF06]
P. Batanado,
F. Gervais
, M. Frappier,
R. Laleau
. "
EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3
", AFADL'06 - Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France. 200, January 2006,
2005
Rapport Scientifique
[GFL05b]
F. Gervais
, M. Frappier,
R. Laleau
, P. Batanado. "
EB3 Attribute Definitions: Formal Language and Application
",
Date de dépot
: 2005/01/01, (Tech. Rep.: CEDRIC-05-700)
Electronique
Informatique
Mathématiques
Master
CNA
M
Réseau Cnam
Accès
Contact
Informations Légales