UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method.
Résumé
no abstract
Article Dans Une Revue
Journal of Database Management
Année : 2006
Régine Laleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01224665
Soumis le : mercredi 4 novembre 2015-22:50:47
Dernière modification le : vendredi 19 juillet 2024-11:38:04
Dates et versions
Identifiants
- HAL Id : hal-01224665 , version 1
Citer
Amel Mammar, Régine Laleau. UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method.. Journal of Database Management, 2006, 17 (4), pp.70-89. ⟨hal-01224665⟩
Collections
45
Consultations
0
Téléchargements