Predictive Software Measures Based on Formal Z Specifications: A means of predicting software costs | DealShopping Deutschland