Object Oriented Concepts Identification from Formal B Specifications.

Akram Idani Yves Ledru

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

object oriented concepts
formal specification
object oriented
programming language
formal language
object relational databases
object oriented programming
programming environment
reactive systems
database
artificial intelligence
database systems
management system
normal form