Object oriented concepts identification from formal B specifications.

Akram Idani Yves Ledru

Published in: Formal Methods Syst. Des. (2007)

Keyphrases

object oriented concepts
object oriented
formal specification
reactive systems
object relational databases
programming environment
programming language
object oriented programming
formal language
database systems
general purpose
database applications
query processing
logic programming language