Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components.

Ali Hong Yijing Liu Zongyan Qiu

Published in: FACS (2013)

Keyphrases

object oriented
knowledge base
horn clauses
high level
building blocks
low level
component based architecture
derived predicates
user interface
programming language
software components
query language
data model
higher level
learning algorithm
conceptual modeling
databases
data sets