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

Amel Mammar, Régine Laleau. UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method. Journal of Database Management, 17(4):70-89, 2006. [doi]

@article{MammarL06:1,
  title = {UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method},
  author = {Amel Mammar and Régine Laleau},
  year = {2006},
  url = {http://www.igi-pub.com/articles/details.asp?ID=6282},
  tags = {UML, database},
  researchr = {https://researchr.org/publication/MammarL06%3A1},
  cites = {0},
  citedby = {0},
  journal = {Journal of Database Management},
  volume = {17},
  number = {4},
  pages = {70-89},
}