UB2SQL
Published in IGI Global eBooks • Jan 18, 2011
Authors:
Amel Mammar
Abstract
UB2SQL is a tool for designing and developing database applications using UML and B formal method. The approach supported by UB2SQL consists of two successive phases. In the first phase, with the design of applications using class, state and collaboration diagrams, B specifications are automatically...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!