|
 
|
[BGF06] EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3
Conférence Nationale avec comité de lecture : AFADL'06 - Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France. 200, January 2006,
motcle:
Résumé:
EB3 est un langage formel créé pour la spécification des systèmes d'information. Les attributs des types d'entité et des associations du système sont évalués en EB3 grâce à des fonctions récursives définies sur les traces valides du système. Nous présentons EB3TG, un outil capable de générer automatiquement des programmes Java/SQL qui exécutent des transactions de base de données relationnelle qui correspondent aux définitions d'attributs EB3.
BibTeX
| @inproceedings { | |||
| BGF06, | |||
| title | = | "{EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3}", | |
| author | = | " P. Batanado and F. Gervais and M. Frappier and R. Laleau ", | |
| booktitle | = | "{AFADL'06 - Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France. 200}", | |
| year | = | 2006, | |
| month | = | "January", | |
| } | |||
