Title of article :
A formal approach based on UML and B for the specification and development of database applications
Author/Authors :
Amel Mammar and Régine Laleau ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Keywords :
Formal methods . Integration . UML . B . Database applications .Relational implementation
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
