Development cost and size estimation starting from high-level specifications