Login / Signup

Translation of Z specifications to executable code: Application to the database domain.

Saeed KhalafinejadSeyed-Hassan Mirian-Hosseinabadi
Published in: Inf. Softw. Technol. (2013)
Keyphrases
  • database
  • databases
  • database systems
  • information systems
  • database management
  • code generation
  • data sets
  • high level
  • relational databases
  • data model
  • control flow
  • delay insensitive