EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3

Abstract : EB3 is a formal language dedicated to information systems specification. Entity type and association attributes are evaluated by recursive functions defined on valid traces of systems. In this paper, a tool called EB3TG is presented. It allows Java/SQL programs to be automatically generated. These programs execute relational database transactions that correspond to EB3 attribute definitions.
Type de document :
Communication dans un congrès
Atelier Approches Formelles dans l'Assistance au Développement du Logiciel, Mar 2006, Paris, France. ENST, pp.3-7, 2006
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00145960
Contributeur : Régine Laleau <>
Soumis le : mardi 15 mai 2007 - 16:52:23
Dernière modification le : mardi 13 novembre 2018 - 17:10:02
Document(s) archivé(s) le : mercredi 7 avril 2010 - 03:36:18

Fichier

RC978.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00145960, version 1

Collections

Citation

Panawe Batanado, Frédéric Gervais, Marc Frappier, Régine Laleau. EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3. Atelier Approches Formelles dans l'Assistance au Développement du Logiciel, Mar 2006, Paris, France. ENST, pp.3-7, 2006. 〈hal-00145960〉

Partager

Métriques

Consultations de la notice

119

Téléchargements de fichiers

80