A Minimal Set of Refactoring Rules for Object-Z.

Tim McComb Graeme Smith

Published in: FMOODS (2008)

Keyphrases

d objects
viewpoint
action rules
decision rules
association rule mining
domain knowledge
object oriented
pose estimation
domain experts
neural network
background knowledge
keypoints
association rules
complex objects
object classes
multiple objects
production rules
rule discovery
knowledge base