C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Generic Process to Refine a B Specification into a Relational Database Implementation.
Régine Laleau
Amel Mammar
Published in:
ZB (2000)
Keyphrases
</>
relational databases
high level
database systems
databases
domain specific
development process
normal form
specification language