Data Refinement

This work offers a systematic account of the important method of data refinement, which is one of the most powerful formal methods for system development. The a... » 

This work offers a systematic account of the important method of data refinement, which is one of the most powerful formal methods for system development. The authors concentrate on principles and begin with an explanation of the fundamental notions behind data refinement and simulation. «