مرکز منطقه ای اطلاع رساني علوم و فناوري - From a B formal specification to an executable code: application to the relational database domain

Title of article :

From a B formal specification to an executable code: application to the relational database domain

Author/Authors :

Amel Mammar، نويسنده , , Régine Laleau، نويسنده ,

Issue Information :

ماهنامه با شماره پیاپی سال 2006

Pages :

From page :

253

To page :

279

Keywords :

Development methodologies , Database applications , B formal method , Refinement , Coding

Journal title :

Information and Software Technology

Serial Year :

2006

Journal title :

Information and Software Technology

Record number :

135190

Link To Document :