Refinement Laws for Verifying Library Subroutine Adaptation.

Colin J. Fidge Peter J. Robinson Steve Dunne

Published in: Australian Software Engineering Conference (2005)

Keyphrases

neural network
hidden markov models
refinement process
decision making
website
web services
search algorithm
artificial neural networks
multiresolution
model checking
query refinement
adaptation strategies