UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method.

Amel Mammar Régine Laleau

Published in: J. Database Manag. (2006)

Keyphrases

database applications
database design
object oriented
database management systems
databases
database technology
database
database server
database development
relational databases
visual basic
database access
data warehouse
data access
application developers
database interface