A Strategy to Improve the Reliability of Object-Oriented Formal Models.

Guo Xie Fucai Qian Xinhong Hei

Published in: CIS (2013)

Keyphrases

formal models
object oriented
programming language
databases
information retrieval
database applications
formal model
database
real time
data sets
artificial intelligence
search algorithm
expert systems
relational databases
query language
search strategy