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

Amel Mammar Régine Laleau

Published in: Inf. Softw. Technol. (2006)

Keyphrases

formal specification
code generation
relational databases
data abstraction
process algebra
specification languages
model checking
design methodologies
databases
reverse engineering
specification language
database
multi agent systems
object oriented design
concurrent systems
design methodology