Towards a precise description of reverse engineering methods and tools