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

Publisher: IGI Global_journal

E-ISSN: 1533-8010|17|4|70-89

ISSN: 1063-8016

Source: Journal of Database Management (JDM), Vol.17, Iss.4, 2006-10, pp. : 70-89

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract