Using Refinement Checking as System Testing.

Cristiano Bertolini Alexandre Mota

Published in: CIbSE (2008)

Keyphrases

website
information systems
real world
genetic algorithm
web services
case study
bayesian networks
multi agent
computational complexity
preprocessing