On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications.

Published in: ICEIS (2000)

Keyphrases

database applications
database design
object oriented
database management systems
database systems
programming language
business applications
database server
formal specification